𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Modelling of real-time constraints using SDL for embedded systems design

✍ Scribed by Alkhodre, A.; Babau, J.-P.; Schwarz, J.-J.

Book ID
114441117
Publisher
The Institution of Electrical Engineers
Year
2002
Tongue
English
Weight
451 KB
Volume
13
Category
Article
ISSN
0956-3385

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Top-down design of embedded real-time AI
Top-down design of embedded real-time AI systems
✍ J. Hooman πŸ“‚ Article πŸ“… 1992 πŸ› Elsevier Science βš– 568 KB

A formal method is proposed for the specification and verification of embedded real-time systems. We consider distributed systems in whichparallel processes communicate by sending messages along synchronous or asynchronous channels. To verify that a program satisfies a specification, a compositional