𝔖 Bobbio Scriptorium
✦   LIBER   ✦

From specification to implementation of a real-time system

✍ Scribed by L. Carcagno; M. De Michiel; D. Dours; R. Facca; A. Feki; P. Magnaud

Publisher
Elsevier Science
Year
1992
Weight
474 KB
Volume
35
Category
Article
ISSN
0165-6074

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Specification of Real-Time Systems in UM
Specification of Real-Time Systems in UML
✍ E.E. Roubtsova; J. van Katwijk; W.J. Toetenel; C. Pronk; R.C.M. de Rooij πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 161 KB
Specification of real-time imaging syste
Specification of real-time imaging systems using the UML
✍ Colin J Neill; Phillip A Laplante πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 337 KB

Real-time imaging systems are expected to perform at a rate set by the operating environment. This places additional temporal constraints on the implementation, and has led to advances in parallel processing and optimization. The constraints are also applied, however, to the analysis and design mode

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