DocumentCode
257630
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
fYear
2014
fDate
25-29 Aug. 2014
Firstpage
325
Lastpage
326
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Requirements Engineering Conference (RE), 2014 IEEE 22nd International
Conference_Location
Karlskrona
Print_ISBN
978-1-4799-3031-9
Type
conf
DOI
10.1109/RE.2014.6912279
Filename
6912279
Link To Document