The failure of a safety-critical system, though undesirable, is often a source of valuable lessons that can help prevent future failures. Current analysis practices do not always yield as much knowledge as they might about possible flaws in the system safety argument. In this paper, we introduce the lifecycle for safety cases. We use it to develop a framework to guide the analysis process and t...

In this paper, we present a framework, called Embedded-System Safety Aspects Visualization (ESSAVis), that is a system prototype designed to analyze the safety aspects of embedded systems. The ESSAVis prototype provides a 3D environment that aids in detecting infected components in the hardware of the target embedded system. The prototype also provides an abstract representation for the failure...

safety performance is the overall performance of the organization safety management system in the operational system of safety. in the present study, the components of safety performance included visible management leadership, employee participation, training, inspection, implementation tools, and maintenance. the objectives of this study were to assess safety performance, and to analyze differ...

The theme of this extended abstract is that, while the need for dependable computing has been around for a long time, there is a separate but related area, system safety, which has already had to tackle the problem of dependability seriously and explicitly. There is a lesson to be learned from safety-critical systems which can be applied to the management of dependable computing: to gain assura...

Contracts, gradual typing, and hybrid typing all permit less-precisely typed and more-precisely typed code to interact. Blame calculus encompasses these, and guarantees blame safety: blame for type errors always lays with less-precisely typed code. This paper serves as a complement to the literature on blame calculus: it elaborates on motivation, comments on the reception of the work, critiques...

Quantitative Risk Assessment (QRA) is widely practiced in system safety, but there is insufficient evidence that QRA in general is fit for purpose. Defenders of QRA draw a distinction between poor or misused QRA and correct, appropriately used QRA, but this distinction is only useful if we have robust ways to identify the flaws in an individual QRA. In this paper we present a comprehensive matu...

Recent trend of railway train development can be characterized in several aspects : high speed, infortainment, intelligence in driving, and so on. In particular, trend of high speed in driving is prominent and competition for high speed amongst several techno-savvy countries is becoming severe. To achieve high speed, engines or motors are distributed over multiple vehicles of train to provide i...

Models are essential in a decision support system for river basin management. In a decision support system for integrated planning and management, the use of appropriate models is important to avoid models being either too simple or too complex. In this paper, appropriate models refer to models that are good-enough-but-not-more-than-that to obtain an acceptable ranking of river engineering meas...

As we depend more and more on software intensive systems, safety is of paramount importance. This paper attempts to address the often-neglected topic of safety assessment for software intensive systems. A thorough analysis of system hazards, and related catastrophic events, allows the developers to assess the system safety by identifying all potential catastrophic events and their impact on req...