|
|
home >
home >
research
Requirements Modeling and Analysis
Model-Based Design & Analysis (Powerpoint Talk)Requirements modeling lies at the heart of our approach. Creating an executable model of the system’s behavior will uncover more oversights and inconsistencies than simply writing natural-language specifications. Moreover, such models can be connected to a mock-up of the user interface and executed with the customer to validate the behavior that the customer wants. While many tools strive to produce specifications that can be reviewed with all stakeholders, it is also important that the notation have a formal semantics that can support automated analyses such as consistency and completeness checks and proof of safety properties. In this way, one model can support validation with the customer, verification of key properties, test case generation, and code generation. Early work on the MT-FCS project focused on use of the RSML-e language supported by the CriSys Laboratory of the University of Minnesota. More recently, we have developed translators that allow us use a variety of formal analysis tools (NuSMV, PVS, and SAL) with commercially supported modeling tools such Simulink and SCADE. When using these commercial modeling tools, we view the models as detailed software requirements, restate the system requirements allocated to software into formal properties over these models, and prove that the models satisfy these requirements. Publications Related to Requirements Modeling and Analysis
| ||
home | welcome | quick page | philosophy | team | research | quote | links | new? Curator and Responsible NASA Official: Ricky W. Butler larc privacy statement last modified: 18 October 2002 (09:23:08) |