Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.
Title | Design Choices for High-Confidence Distributed Real-time Software |
Publication Type | Conference Paper |
Year of Publication | 2010 |
Authors | Fischmeister, S., and A. Azim |
Conference Name | Proc. of the International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) |
Pagination | 327-342 |
Date Published | October |
Conference Location | Heraclion, Crete, Greece |
ISBN Number | 3-642-16560-5 978-3-642-16560-3 |
Keywords | network code, safety, state based schedule |
Abstract | Safety-critical distributed real-time systems, such as networked medical devices, must operate according to their specification, because incorrect behaviour can have fatal consequences. A system’s design and architecture influences how difficult it is to provide confidence that the system follows the specification. In this work, we summarize and discuss three design choices and the underlying concepts that aim at increasing predictability and analyzability. We investigate mandatory resource reservation to guarantee resource availability, separation of resource consumptions to better manage resource inter-dependency, and enumerative reconfiguration. We use the example of a distributed monitoring system for the human cardiovascular system to substantiate our arguments. |
URL | http://www.springerlink.com/content/414j200175704528/ |
DOI | 10.1007/978-3-642-16561-0_32 |
Refereed Designation | Refereed |