𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Automated code generation of embedded real-time systems

✍ Scribed by Antti Auer; Pekka Kemppainen; Ari Okkonen; Veikko Seppänen

Publisher
Elsevier Science
Year
1988
Weight
343 KB
Volume
24
Category
Article
ISSN
0165-6074

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verified Code Generation for Embedded Sy
Verified Code Generation for Embedded Systems
✍ Sabine Glesner; Rubino Geiß; Boris Boesler 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 310 KB

Digital signal processors provide specialized SIMD (single instruction multiple data) operations designed to dramatically increase performance in embedded systems. While these operations are simple to understand, their unusual functions and their parallelism make it difficult for automatic code gene

Predictable parallel real-time code gene
Predictable parallel real-time code generation
✍ M.R. Webster; D.C. Levy; R.G. Harley; D.R. Woodward; L. Naidoo; M.V.D. Westhuize 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 593 KB
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