๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Specification of Real-Time Systems in UML

โœ Scribed by E.E. Roubtsova; J. van Katwijk; W.J. Toetenel; C. Pronk; R.C.M. de Rooij

Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
161 KB
Volume
39
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

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