A functional approach to program testing and analysis
IEEE Transactions on Software Engineering
An experimental evaluation of the assumption of independence in multiversion programming
IEEE Transactions on Software Engineering
PODS—A project on diverse software
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Real-time systems and their programming languages
Real-time systems and their programming languages
Resourceful systems for fault tolerance, reliability, and safety
ACM Computing Surveys (CSUR)
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
A program structure for error detection and recovery
Operating Systems, Proceedings of an International Symposium
The N-Version Approach to Fault-Tolerant Software
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
Developing a reliable software system is a major requirement today as it is mainly used for critical applications. Applications such as automatic flight control, banking, and telephone switching demand safety and real-time features. In such an environment, the occurrence of a failure may result in damage to the company's reputation, and even catastrophic economic consequences. Another issue that must be addressed is low cost development. This paper presents the software supervision paradigm as a means to improve software reliability during the operational stage of a real-time system, specifically a PBX (Private Branch eXchange). As well, the use of Statecharts for specifying the realtime supervisor is advocated, and the supervision model for the PBX is given. Benefits of this approach are discussed throughout the paper.