Towards Automating a Software-Centered Development Process that considers Timing Properties

Weber, Raphael; Adler, Nico; Wilhelm, Thomas; Sailer, Andreas; Reichmann, Clemens

doi:10.1109/socc56010.2022.9908127

Cited by 1 publication

(1 citation statement)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Funcsim tool is an implementation of simulation based concept using the Ptolemy II framework. In this testing approach a behavior specification and simulation methodology based on the Logical Execution Time (LET) paradigm allows for the explicit specification of non-negligible execution times and efficient compilation to complex target platforms [17]. The methodology combines a metamodel capturing the software architecture of a system with a code-based programming model to describe the functional behavior of individual software entities.…”

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)

Self Cite

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

Section: Introductionmentioning

confidence: 99%