Premium
THE NEED FOR AUTOMATED VERIFICATION TOOLS FOR THE SYSTEMS ENGINEER
Author(s) -
Swift Douglas Keith
Publication year - 1993
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.1993.tb01633.x
Subject(s) - verification , automation , computer science , intelligent verification , software engineering , systems engineering , functional verification , process (computing) , interface (matter) , engineering design process , software verification , formal verification , engineering , software , programming language , software development , software construction , mechanical engineering , bubble , maximum bubble pressure method , parallel computing
Abstract Requirements Verification is an important aspect of Systems Engineering that suffers from a lack of practical tools specifically tailored to encompass the entire verification process. The need for automation is great, specifically for tools able to interface with relational databases. Most of the current Systems Engineering tool development is geared towards program synthesis and design, with less attention given to integration and verification. This paper examines the needs of Verification Engineers with emphasis on developing a computer based tool for automating and managing the verification process. A typical verification flow is outlined, the goals and benefits that could be derived from automation are reviewed, and then a hypothetical Verification Engineering Management System (VEMS) is described.