Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems

Nandi, Giann Spilere; Pereira, David; Proença, José; Tovar, Eduardo

doi:10.1109/rtss49844.2020.00047

“…Their focus is on having a DSL to formally define behavior of the system using Petri-nets and verify the system behavior. 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.…”

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

0

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

Test suite assessment of safety-critical systems using safety tactics and fault-based mutation testing

Gurbuz,

Tekinerdogan,

Catal

et al. 2024

Cluster Comput

0

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. Given the limitations of traditional safety measures, particularly in conducting thorough analyses of safety tactics at the architectural design level, our motivation is to close this gap by integrating safety tactics and fault-based mutation testing. This article proposes a systematic approach for assessing the adequacy of test suites of safety-critical systems based on these architectural safety tactics. Our proposed approach involves the integration of safety tactics and fault-based mutation testing to comprehensively assess the adequacy of test suites in safety-critical systems. At the core of our methodology is the adoption of architectural safety tactics, addressing potential issues at the design level. We leverage fault-based testing, utilizing a dedicated metamodel and domain-specific language (DSL) to model safety views and their relation to the code. 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

Monitoring Framework to Support Mixed-Criticality Applications on Multicore Platforms

Gala

¹

,

Rodríguez

²

,

Monaco

³

et al. 2022

2022 25th Euromicro Conference on Digital System Design (DSD)

View full text Add to dashboard Cite

Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems

Cited by 4 publications

References 20 publications

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

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

Test suite assessment of safety-critical systems using safety tactics and fault-based mutation testing

Monitoring Framework to Support Mixed-Criticality Applications on Multicore Platforms

Contact Info

Product

Resources

About