Safety cases offer a means for communicating information about the system safety among the system stakeholders. Recently, the requirement for a safety case has been considered by regulators for safety-critical systems. Adopting safety cases is necessarily dependent on the value added for regulatory authorities. In this work, we outline a structured approach for assessing the level of sufficienc...

Safety cases are now regularly used to communicate the argument about the achievement of acceptable levels of safety for safety critical systems. Increasingly, safety standards such as Defence Standard 00-56 require the scope of the safety case to cover not only the development of the system, but also operating and maintenance through life, including decommissioning. This involves two dimension...

A number of inventors and entrepreneurs are currently attempting to develop and commercially operate reusable launch vehicles to carry voluntary participants into space. To reduce the risk to the public in the operation of these vehicles, a launch vehicle operator typically performs analyses to identify safety measures and develop safety requirements. The focus of these safety efforts has histo...

every year, many accidents leading to physical injuries in kindergartens, indicates that a very large percentage of them are related to the safety concerns and lack of hygiene in these places. families, due to their busy life style and working hours and also children needs of preschool education, are searching to find most suitable kindergartens for their children. selecting a kindergarten with...

There is a constant demand for improved performance of fighter aircraft as there is a rapid change in threat scenario. There is need for advanced flight control system to meet this demand for providing improved performance with ease of maintenance. This paper brings out the advanced distributed digital flight control system with built in prognosis features. It also compares the architectural fe...

This paper extends the idea of co-types (described in a companion paper) to include the concept of adjustment hierarchies. An adjustment hierarchy provides a parallel hierarchy to a subtyping hierarchy of a type being expanded by the co-type. This has a number of advantages including the predefinition of co-types for subtypes of an expanded type, and allowing automatic covariant adjustment of p...