A Domain Specific Language to Support HAZOP Studies of SysML Models

Kaleeswaran, Arut Prakash; Munk, Peter; Sarkic, Samir; Vogel, Thomas; Nordmann, Arne

doi:10.1007/978-3-030-32872-6_4

Cited by 5 publications

(2 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Nandi et al [34] proposes a DSLfor the correct deployment of RV solutions in the scope of cyber-physical systems. Kaleeswaran et al [35] define a DSL for Hazard and Operability Analysis (HAZOP) study. HAZOP study is a systematic way to identify potential hazards in the system.…”

Section: Related Workmentioning

confidence: 99%

Test Suite Assessment of Safety-Critical Systems using Safety Tactics and Fault-Based Mutation Testing

Tekinerdoğan

Gurbuz

Çatal

et al. 2023

Preprint

View full text Add to dashboard Cite

A safety-critical system is a system in which the software malfunctioning could result in death, injury, or damage to the environment. Addressing safety concerns early on at the architecture design level is critical to guide the subsequent life cycle activities to ensure that the eventual system is reliable. A fundamental approach to address safety at the design level is the adoption of architectural tactics. It is crucial for safety-critical systems to correctly implement the constraints as defined by the selected safety tactics. This article proposes a systematic approach for assessing the adequacy of test suites of safety-critical systems based on these architectural safety tactics. We use a case study to evaluate the effectiveness of our approach using fault-injection techniques. Our study shows that this systematic approach is feasible and effective for test suite assessment of safety-critical systems.

show abstract

Section: Related Workmentioning

confidence: 99%

Test Suite Assessment of Safety-Critical Systems using Safety Tactics and Fault-Based Mutation Testing

Tekinerdoğan

Gurbuz

Çatal

et al. 2023

Preprint

View full text Add to dashboard Cite

show abstract

“…Guiochet et al [30] proposed a method that clarified the hazard when the robot behaved by applying HAZOP to the robot's CSW specification written in UML. Kaleeswaran et al [31] proposed a method to detect hazards written in domain-specific language by applying HAZOP if critical software was developed using model-based development. Abdulkhaleq et al [32] clarified the system hazards of an adaptive cruise control system in the car by applying system-theoretic process analysis (STPA) and pointed out the constraint and problems of STPA application.…”

Section: Related Workmentioning

confidence: 99%

A Safety Analysis Method for Control Software in Coordination with FMEA and FTA

Takahashi

Anang²,

Watanabe

2021

Information

View full text Add to dashboard Cite

In this study, we proposed a method to improve the safety level of control software (CSW) by managing the CSW’s design information and safety analysis results, and combining failure mode and effects analysis (FMEA) and fault tree analysis (FTA). Here, the CSW is developed using structured analysis and design methodology. In the upper stage of the CSW’s development process, as the input of the preliminary design information (data flow diagrams (DFDs) and control flow diagrams (CFDs)), the causes of undesirable events of the CSW are clarified by FMEA, and the countermeasures are reflected in the preliminary design information. In the lower stage of the CSW’s development process, as the inputs of the detailed design information (DFDs and CFDs in the lower level) and programs, the causes of the specific undesirable event are clarified by FTA, and the countermeasures are reflected in the detailed design specifications and programs. The processes are repeated until the impact of undesirable events become the acceptable safety level. By applying the proposed method to the CSW installed into a communication control equipment on the space system, we clarified several undesirable events and adopted adequate countermeasures. Consequently, a safer CSW is developed by applying the proposed method.

show abstract