Horst F. Wedde und Jon A. Lind
Novel Principles for Developing and Evaluating Distributed Safety-Critical Systems
The Fourth International Symposium on Autonomous Decentralized Systems, S. 392-395, IEEE Press, Tokyo, Japan, 1999-03-20
Safety-critical systems typically operate in unpredictable environments. Requirements for safety and reliability are in conflict with those for real-time responsiveness. Due to environmental needs there is no static trade-off between measures to accommodate the conflicting objectives. Instead, every feature or operating system service must be adaptive. MELODY was developed for supporting safety-critical applications under such constraints. This paper gives a brief survey of the different MELODY development phases by utilizing our heuristic design and evaluation methodology, Incremental Experimentation. A particular emphasis is laid on our novel adaptive concept of distributed task monitoring, plus it evaluation, regarding the total number of deadline failures as well as survivability.