✦ LIBER ✦

A general time model for the specification and design of embedded real-time systems

✍ Scribed by Ralf Münzenberger; Matthias Dörfel; Richard Hofmann; Frank Slomka

Book ID: 108360906
Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 704 KB
Volume: 34
Category: Article
ISSN: 0026-2692
DOI: 10.1016/s0026-2692(03)00167-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Automated support for the formal specifi

Automated support for the formal specification and design of real-time systems

✍ Chris Ho-Stuart; Hussein Zedan; Ming Fang 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 513 KB

Preface of “Specification and Validation

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

✍ Susanne Graf; Oystein Haugen; Ileana Ober; Bran Selic 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 155 KB

Real-Time Systems Design and Analysis (L

Real-Time Systems Design and Analysis (Laplante/Real-Time Systems Design) || About the Author

✍ Laplante, Phillip A. 📂 Article 📅 2004 🏛 John Wiley & Sons, Inc. 🌐 English ⚖ 37 KB

He is also the Chief Technology Officer of the Eastern Technology Council, a nonprofit business advocacy group serving the Greater Philadelphia Metropolitan Area. Before joining Penn State he was a professor and senior academic administrator at several other colleges and universities. Prior to his

Modeling and analysis of scheduling for

Modeling and analysis of scheduling for distributed real-time embedded systems

✍ Hai-Tao Zhang; Gui-Fang Wu 📂 Article 📅 2010 🏛 Institute of Automation, Chinese Academy of Scienc 🌐 English ⚖ 392 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