𝔖 Bobbio Scriptorium
✦   LIBER   ✦

InRob: An approach for testing interoperability and robustness of real-time embedded software

✍ Scribed by Fátima Mattiello-Francisco; Eliane Martins; Ana Rosa Cavalli; Edgar Toshiro Yano

Book ID
113758237
Publisher
Elsevier Science
Year
2012
Tongue
English
Weight
572 KB
Volume
85
Category
Article
ISSN
0164-1212

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automatic synthesis and verification of
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
✍ Pao-Ann Hsiung; Shang-Wei Lin 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 254 KB

Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for mobile and ubiquitous systems. In this work, we present the internal architecture and design flow of a newly proposed fram

A software process for the construction
A software process for the construction of predictable on-board embedded real-time systems
✍ T. Vardanega; J. van Katwijk 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 456 KB 👁 2 views

The rise of the 'cheaper, faster, better' mission paradigm increasingly challenges the industrial development of satellite systems. The novel paradigm will have a profound impact on the production of the real-time software embedded on board new-generation systems. This paper contends that a large pr