Premium
1.5.5 Grand Systems Verification
Author(s) -
Grady Jeffrey O.
Publication year - 2002
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.2002.tb02551.x
Subject(s) - computer science , verification , process (computing) , runtime verification , software engineering , intelligent verification , context (archaeology) , functional verification , product (mathematics) , formal verification , systems engineering , programming language , engineering , software development , software , software construction , mathematics , paleontology , geometry , biology
The product system development process follows a three step sequence familiar to all system engineers: (1) define the problem you are trying to solve, (2) design and manufacture a solution to that problem, and (3) verify that the solution satisfies the requirements that drove it. Therefore, verification is a process for proving that the design of an entity satisfies the requirements for that entity that were crafted prior to the design of the entity. The common mode of verification is to compare an entity with some accepted standard of excellence. The entity can be a product or a process system or some element or combination thereof. This paper explores the fusion of several concepts, some new and some old, to build an enterprise environment within which all verification work can be accomplished within the same three step context noted above. This includes product verification but also enterprise common process verification and program process verification. The paper also challenges common responsibility assignments for this work.