Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems

Gannous, Aiman; Andrews, Anneliese; Gallina, Barbara

doi:10.1109/issrew.2018.00026

Cited by 5 publications

(2 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To examine its role in certification process, MCbt is applied to different case studies. viii [8] Another model in which acceptance, trust and the factors that are impacting the use of a safety critical technology is included is described by the author of this paper. The acceptance of computer is described by the Technology Acceptance Model (TAM) in IT field.…”

Section: Literature Reviewmentioning

confidence: 99%

Software Quality Assurance in Safety Critical Systems

Sirshar¹,

Alam²,

Ejaz³

et al. 2019

Preprint

View full text Add to dashboard Cite

The complex systems that require safety are the Safety Critical Systems. Maintaining these systems is a big challenge. Now a days, safety is a very critical requirement for the latest systems. Safety critical systems must be safe. Different approaches to ensure quality and safety in safety critical systems has been discussed in this paper. A comparison is also conducted between these various approaches. Safety critical systems must remain more influential in future.

show abstract

Section: Literature Reviewmentioning

confidence: 99%

Software Quality Assurance in Safety Critical Systems

Sirshar¹,

Alam²,

Ejaz³

et al. 2019

Preprint

View full text Add to dashboard Cite

show abstract

“…These safety critical systems require a rigorous V&V processes in the software development life cycle to ensure safety and reliability. Thus, the outputs of these processes provide evidence that safety requirements have been satisfactorily met [8]. Yet, with the increasing complexity of software designs because of new features addition and AI/ML models which exhibits non-deterministic behavior [9] being part of these systems, verification is becoming challenging.…”

Section: Introductionmentioning

confidence: 99%

XANDAR: Verification & Validation Approach for Safety-critical Systems

Sonigara,

Sezer,

Siddiqui

et al. 2023

2023 IEEE 36th International System-on-Chip Conference (SOCC)

View full text Add to dashboard Cite

The integration of connected and autonomous technologies in safety-critical brought significant system design challenges. These systems are constantly evolving and becoming more complex. With their connection to the cloud and the internet, these safety-critical systems are now exposed to greater risks of cyber-attacks, which poses new challenges to their safety, reliability and resilience. To approach these complex system design challenges, this paper proposes XANDAR's Verification & Validation strategy using Static Analysis, Timing Analysis, Model-in-loop and Network simulation tool. To ensure functional correctness, the proposed XANDAR Verification and Validation approach utilizes early integration of simulation and static analysis techniques during the development cycle. This proposed approach differs from existing methods by emphasizing early integration, rather than applying it to later stages of development cycle to begin verification. In addition, the proposed approach utilizes timing analysis to ensure non-functional timing aspects meet the timing requirements. The approach applies tools such as Polyspace Bug Finder and Code Prover for static analysis, Timing Architect for timing analysis, NS3 simulator for network architecture simulation. The proposed approach aims to ensure system safety and security through a rigorous and comprehensive verification process. These verification approaches will be validated by applying it to automotive and avionics use cases.

show abstract