𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Modeling and verification of real-time systems based on equations

✍ Scribed by Kazuhiro Ogata; Kokichi Futatsugi

Publisher
Elsevier Science
Year
2007
Tongue
English
Weight
358 KB
Volume
66
Category
Article
ISSN
0167-6423

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A statecharts-based specification and ve
A statecharts-based specification and verification of real-time job scheduling systems
✍ A. Sowmya πŸ“‚ Article πŸ“… 1993 πŸ› Elsevier Science 🌐 English βš– 606 KB

Real-time job scheduling is a difficult problem. The job scheduling system re ceives jobs from the environment, each job with its own real-time deadline. Queueing and scheduling may still be necessary, in order to maximize the processor usage and also to impose job priorities. In order to comptue di

Translation and Optimization in the Veri
Translation and Optimization in the Verification of Real-Time Systems
✍ Ernst-RΓΌdiger Olderog πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 48 KB

Compilation or translation is not only an issue at the level of program but also at the level of specification. This talk considers the design of real-time software for Programmable Logic Controllers (PLCs) and discusses questions of correctness and optimization for translations between different se