@inproceedings{114,
  keywords = {network code, safety, state based schedule},
  author = {Sebastian Fischmeister and Akramul Azim},
  title = {Design Choices for High-Confidence Distributed Real-time Software},
  abstract = {<p>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.</p>
},
  year = {2010},
  journal = {Proc. of the International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)},
  pages = {327-342},
  month = {October},
  address = {Heraclion, Crete, Greece},
  isbn = {3-642-16560-5 978-3-642-16560-3},
  url = {http://www.springerlink.com/content/414j200175704528/},
  doi = {10.1007/978-3-642-16561-0_32},
}