2014 IEEE 22nd International Requirements Engineering Conference (RE), August 25-29, 2014, Karlskrona, Sweden

Desktop Layout

Tool Demonstrations and Posters
J1360, Chairs: Jennifer Horkoff and Richard Berntsson Svensson
VARED: Verification and Analysis of Requirements and Early Designs
Julia Badger, David Throop, and Charles Claunch
(NASA, USA; Boeing, 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.

Authors:


Time stamp: 2019-09-16T08:05:51+02:00