The cost of finding and correcting defects represents one of the most expensive software development activities. And that too, if the errors get carried away till the final acceptance testing stage of the project life cycle, then the project is at a greater risk in terms of its Time and Cost factors. A small amount of effort spent on quality assurance will see good amount of cost savings in ter...

This paper examines the problem of introducing advanced forms of fault-tolerance via reconfiguration into safety-critical avionic systems. This is required to enable increased availability after fault occurrence in distributed integrated avionic systems (compared to static federated systems). The approach taken is to identify a migration path from current architectures to those that incorporate...

Safe operation of safety critical systems depends on appropriate interactions between the human operator and the computer system. Specification of such safety-critical systems is fundamental to enable exhaustive and automated analysis of operator system interaction. In this paper we present a structured, comprehensive and computer-aided approach to formally specify and verify user interfaces ba...

Safety-critical systems are an important subset of high-assurance systems. Higher performance requirements have led to the increased use of combined hardware/software systems therein, with hardware devices taking processing load off software. As might be expected, safety-critical systems have many requirements made of them by established standards. By implication, and now by emerging safety sta...

Formal methods give us techniques to specify the functionality of a system, to verify its correctness or to develop the system stepwise from an abstract specification to its implementation. These aspects are important when designing safety-critical systems. Safety analysis is a vital part of the development of such systems. However, formal methods seldom interface well with the more informal te...

As more computing systems are utilized in various areas of our society, the reliability of computing systems becomes a significant issue. However, as the complexity of computing systems increases, conventional verification and validation techniques such as testing and model checking have limitations to assess reliability of complex safety critical systems. Such systems often control highly comp...

the school environment is an environment wherein a student spends one third of his life with teachers and other students. in the present study, the safety levels of governmental and non-governmental schools were studied and compared. in a descriptive cross-sectional study we assessed schools safety using fire and life safety inspection checklist presented by the national fire prevention agency ...

A common assumption for scheduling mixedcriticality systems is the degradation of less critical tasks when the system is in the emergency mode; which is entered when critical tasks overrun their expected WCET. In the meanwhile, common safety standards enforce strict safety requirements on all criticality levels. However, the impact of degrading less critical tasks on the overall system safety i...

• J Penny, A. Eaton, P. Bishop and R. Bloomfield, “The Practicalities of Goal-Based Safety Regulation”, paper in Aspects of Safety Management: Proceedings of the Ninth Safety-Critical Systems Symposium, Bristol, UK, 6-8 February 2001, Felix Redmill and Tom Anderson (eds.), Springer, 2001, ISBN: 1-85233-411-8, pages 35-48 • P.G. Bishop, R.E Bloomfield, P.D.F. Froome “Justifying the use of softwa...

For avionic systems, the safety requirements are stricter than for non-safety critical systems due to the severe consequences a failure could cause. Depending on the consequences of a failure, the software needs to fulfill different testing criterias. More critical software needs more extensive testing. The question is whether the extra testing activities performed for software of higher critic...