Bridging the Gap Between Requirements and Simulink Model Analysis

Anastasia Mavridou (1) , Hamza Bourbouh (1) , Pierre Loic Garoche (2, 1) , Dimitra Giannakopoulou (3) , Thomas Pessburger (3) , Johann Schumann (1)

1 KBR Inc. at NASA Ames Research Center
2 DTIS, ONERA, Université de Toulouse [Toulouse]
3 ARC - NASA Ames Research Center

Formal verification and simulation are powerful tools for the verification of requirements against complex systems. Requirements are developed in early stages of the software lifecycle and are typically expressed in natural language. There is a gap between such requirements and their software implementation. We present a framework that bridges this gap by supporting a tight integration and feedback loop between highlevel requirements and their analysis against software artifacts. Our framework implements an analysis portal within the fret requirements elicitation tool, thus forming an end-to-end, open-source environment where requirements are written in an intuitive, structured natural language, and are verified automatically against Simulink models.

Mots clés: COMPUTER SOFTWARE SELECTION AND EVALUATION; FORMAL VERIFICATION; LIFE CYCLE; REQUIREMENTS ENGINEERING

Domaines: Sciences de l'ingénieur [physics]; Physique [physics]; Mathématiques [math]; Informatique [cs]

Anastasia Mavridou, Hamza Bourbouh, Pierre Loic Garoche, Dimitra Giannakopoulou, Thomas Pessburger, et al.. Bridging the Gap Between Requirements and Simulink Model Analysis. Joint 26th International Conference on Requirements Engineering: Foundation for Software Quality Workshops, Doctoral Symposium, Live Studies Track, and Poster Track, Mar 2020, Pise, Italy. ⟨hal-03188946⟩