XANDAR: Verification & Validation Approach for Safety-critical Systems
XANDAR: Verification & Validation Approach for Safety-critical Systems
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.
- Queen's University Belfast United Kingdom
- University of Peloponnese Greece
/dk/atira/pure/subjectarea/asjc/2200/2207, /dk/atira/pure/subjectarea/asjc/2200/2208, /dk/atira/pure/sustainabledevelopmentgoals/industry_innovation_and_infrastructure; name=SDG 9 - Industry, Innovation, and Infrastructure, name=SDG 9 - Industry, /dk/atira/pure/sustainabledevelopmentgoals/decent_work_and_economic_growth; name=SDG 8 - Decent Work and Economic Growth, /dk/atira/pure/sustainabledevelopmentgoals/sustainable_cities_and_communities, Validation, Timing Analysis and Network Simulation, /dk/atira/pure/sustainabledevelopmentgoals/partnerships; name=SDG 17 - Partnerships for the Goals, /dk/atira/pure/sustainabledevelopmentgoals/industry_innovation_and_infrastructure, Innovation, name=Control and Systems Engineering, name=SDG 17 - Partnerships for the Goals, /dk/atira/pure/subjectarea/asjc/2200/2207; name=Control and Systems Engineering, Static Analysis, /dk/atira/pure/subjectarea/asjc/1700/1708, /dk/atira/pure/sustainabledevelopmentgoals/partnerships, Verification, name=Electrical and Electronic Engineering, Model-in-Loop Simulation, name=SDG 8 - Decent Work and Economic Growth, /dk/atira/pure/sustainabledevelopmentgoals/decent_work_and_economic_growth, name=SDG 11 - Sustainable Cities and Communities, 004, /dk/atira/pure/subjectarea/asjc/2200/2208; name=Electrical and Electronic Engineering, /dk/atira/pure/subjectarea/asjc/1700/1708; name=Hardware and Architecture, name=Hardware and Architecture, and Infrastructure, /dk/atira/pure/sustainabledevelopmentgoals/sustainable_cities_and_communities; name=SDG 11 - Sustainable Cities and Communities
/dk/atira/pure/subjectarea/asjc/2200/2207, /dk/atira/pure/subjectarea/asjc/2200/2208, /dk/atira/pure/sustainabledevelopmentgoals/industry_innovation_and_infrastructure; name=SDG 9 - Industry, Innovation, and Infrastructure, name=SDG 9 - Industry, /dk/atira/pure/sustainabledevelopmentgoals/decent_work_and_economic_growth; name=SDG 8 - Decent Work and Economic Growth, /dk/atira/pure/sustainabledevelopmentgoals/sustainable_cities_and_communities, Validation, Timing Analysis and Network Simulation, /dk/atira/pure/sustainabledevelopmentgoals/partnerships; name=SDG 17 - Partnerships for the Goals, /dk/atira/pure/sustainabledevelopmentgoals/industry_innovation_and_infrastructure, Innovation, name=Control and Systems Engineering, name=SDG 17 - Partnerships for the Goals, /dk/atira/pure/subjectarea/asjc/2200/2207; name=Control and Systems Engineering, Static Analysis, /dk/atira/pure/subjectarea/asjc/1700/1708, /dk/atira/pure/sustainabledevelopmentgoals/partnerships, Verification, name=Electrical and Electronic Engineering, Model-in-Loop Simulation, name=SDG 8 - Decent Work and Economic Growth, /dk/atira/pure/sustainabledevelopmentgoals/decent_work_and_economic_growth, name=SDG 11 - Sustainable Cities and Communities, 004, /dk/atira/pure/subjectarea/asjc/2200/2208; name=Electrical and Electronic Engineering, /dk/atira/pure/subjectarea/asjc/1700/1708; name=Hardware and Architecture, name=Hardware and Architecture, and Infrastructure, /dk/atira/pure/sustainabledevelopmentgoals/sustainable_cities_and_communities; name=SDG 11 - Sustainable Cities and Communities
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).2 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!