✦ LIBER ✦

Preface of “Specification and Validation of Real Time and Embedded systems in UML”

✍ Scribed by Susanne Graf; Oystein Haugen; Ileana Ober; Bran Selic

Publisher: Springer
Year: 2006
Tongue: English
Weight: 155 KB
Volume: 8
Category: Article
ISSN: 1433-2779
DOI: 10.1007/s10009-005-0220-y

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 process algebraic framework for specif

A process algebraic framework for specification and validation of real-time systems

✍ Adnan Sherif; Ana Cavalcanti; He Jifeng; Augusto Sampaio 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 492 KB

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

Timing analysis and validation with UML:

Timing analysis and validation with UML: the case of the embedded MARS bus manager

✍ Iulian Ober; Susanne Graf; Yuri Yushtein; Ileana Ober 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 424 KB

OMEGA: correct development of real time

OMEGA: correct development of real time and embedded systems

✍ Susanne Graf 📂 Article 📅 2008 🏛 Springer-Verlag 🌐 English ⚖ 113 KB