Bridging the Gap Between Requirements and Simulink Model AnalysisFormal 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 implementations.We present a framework that bridges this gap by supporting a tight integration and feedback loop between high-level 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.
Document ID
20200002240
Acquisition Source
Ames Research Center
Document Type
Conference Paper
Authors
Mavridou, Anastasia (Stinger Ghaffarian Technologies Inc. (SGT Inc.) Moffett Field, CA, United States)
Bourbouh, Hamza (Stinger Ghaffarian Technologies Inc. (SGT Inc.) Moffett Field, CA, United States)
Garoche, Pierre-Loic (Stinger Ghaffarian Technologies Inc. (SGT Inc.) Moffett Field, CA, United States)
Giannakopoulou, Dimitra (NASA Ames Research Center Moffett Field, CA, United States)
Pressburger, Tom (NASA Ames Research Center Moffett Field, CA, United States)
Schumann, Johann (Stinger Ghaffarian Technologies Inc. (SGT Inc.) Moffett Field, CA, United States)
Date Acquired
April 6, 2020
Publication Date
March 24, 2020
Subject Category
Computer Programming And Software
Report/Patent Number
ARC-E-DAA-ARC_61117_TN77766
Meeting Information
Meeting: Ions, Membrane and Channels: Multiscale Simulations From Quantum to Coarse-Grain