✦ LIBER ✦

OMEGA: correct development of real time and embedded systems

✍ Scribed by Susanne Graf

Publisher: Springer-Verlag
Year: 2008
Tongue: English
Weight: 113 KB
Volume: 7
Category: Article
ISSN: 1619-1366
DOI: 10.1007/s10270-007-0077-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Correct development of real time and emb

Correct development of real time and embedded systems

✍ Robert France; Bernhard Rumpe 📂 Article 📅 2008 🏛 Springer-Verlag 🌐 English ⚖ 70 KB

Automated code generation of embedded re

Automated code generation of embedded real-time systems

✍ Antti Auer; Pekka Kemppainen; Ari Okkonen; Veikko Seppänen 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 343 KB

SW/HW-partitioning of real-time embedded

SW/HW-partitioning of real-time embedded systems

✍ Juha-Pekka Soininen; Matti Sipola; Kari Tiensyrjä 📂 Article 📅 1989 🏛 Elsevier Science ⚖ 634 KB

Guest editorial: embedded and real-time

Guest editorial: embedded and real-time computing systems and applications

✍ Eduardo Tovar 📂 Article 📅 2011 🏛 Springer US 🌐 English ⚖ 126 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

Real-Time Embedded Software Design for M

Real-Time Embedded Software Design for Mobile and Ubiquitous Systems

✍ Pao-Ann Hsiung; Shang-Wei Lin; Chao-Sheng Lin 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 509 KB