Premium
2.2.3 Observable States May be Necessary When Using COTS Products
Author(s) -
Botta Rick,
Bahill Zach,
Bahill Terry
Publication year - 2005
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.2005.tb00669.x
Subject(s) - observable , reset (finance) , equivalence (formal languages) , computer science , state (computer science) , reliability engineering , algorithm , engineering , mathematics , discrete mathematics , physics , quantum mechanics , financial economics , economics
In order to use commercial off the shelf (COTS) products, the engineer must be able to prove that the COTS product is equivalent to the specified design. In most cases, this requires observable states, which are usually not available. Other techniques that have been used in lieu of proving system equivalence include creating multiple reset (or test) states and proving input/output equivalence with respect to these initial state pairs, designing built‐in self‐tests, building observers to estimate the system states and adding extra outputs that imply the states. This paper also gives examples where states are necessary and unnecessary in modeling systems.