Bridging the Gap Between Requirements and Simulink Model Analysis
| Autor: | Mavridou, Anastasia, Bourbouh, Hamza, Garoche, Pierre Loic, Giannakopoulou, Dimitra, Pessburger, Thomas, Schumann, Johann |
|---|---|
| Přispěvatelé: | KBR / NASA Ames, KBR/NASA Ames, ONERA / DTIS, Université de Toulouse [Toulouse], ONERA-PRES Université de Toulouse, NASA Ames Research Center (ARC), GREC, christine |
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Předmět: |
COMPUTER SOFTWARE SELECTION AND EVALUATION
REQUIREMENTS ENGINEERING [PHYS]Physics [physics] [SPI]Engineering Sciences [physics] [SPI] Engineering Sciences [physics] FORMAL VERIFICATION [INFO]Computer Science [cs] [MATH] Mathematics [math] LIFE CYCLE [INFO] Computer Science [cs] [MATH]Mathematics [math] [PHYS] Physics [physics] |
| Zdroj: | 26th REFSQ 2020 Joint 26th International Conference on Requirements Engineering: Foundation for Software Quality Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Joint 26th International Conference on Requirements Engineering: Foundation for Software Quality Workshops, Doctoral Symposium, Live Studies Track, and Poster Track, Mar 2020, Pise, Italy |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|