Design Choices for High-Confidence Distributed Real-time Software

TitleDesign Choices for High-Confidence Distributed Real-time Software
Publication TypeConference Paper
Year of Publication2010
AuthorsFischmeister, S., and A. Azim
Conference NameProc. of the International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
Date PublishedOctober
Conference LocationHeraclion, Crete, Greece
ISBN Number3-642-16560-5 978-3-642-16560-3
Keywordsnetwork code, safety, state based schedule

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.

Refereed DesignationRefereed
Related files: 


Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.