Title :
VARED: Verification and analysis of requirements and early designs
Author :
Badger, Julia ; Throop, David ; Claunch, Charles
Author_Institution :
Johnson Space Center, NASA, Houston, TX, USA
Abstract :
Requirements are a part of every project life cycle; everything going forward in a project depends on them. The VARED tool chain aims to provide an integrated environment to analyze and verify the requirements and early design of a system. Natural language requirements are processed automatically into formal specifications using a state model of the system under design and its environment. The specifications are formally checked and then are used to verify the controller model meets the requirements.
Keywords :
formal specification; formal verification; natural language processing; project management; VARED tool chain; controller model verification; formal specifications; integrated environment; natural language requirements; project life cycle; system design; verification and analysis of requirements and early designs; Adaptation models; Analytical models; Control systems; Natural language processing; Software; System analysis and design;
Conference_Titel :
Requirements Engineering Conference (RE), 2014 IEEE 22nd International
Conference_Location :
Karlskrona
Print_ISBN :
978-1-4799-3031-9
DOI :
10.1109/RE.2014.6912279
