IDEAS home Printed from https://ideas.repec.org/a/wly/syseng/v9y2006i3p228-240.html
   My bibliography  Save this article

When are observable states necessary?

Author

Listed:
  • Rick Botta
  • Zach Bahill
  • Terry Bahill

Abstract

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, because the supplier may not know or may not want to disclose the internal states of the system. This paper first presents the following reasons for proving system equivalence: to reuse existing systems, to upgrade systems, to use COTS products, to replicate failures, to verify that a physical system conforms to its design, and to test evolving systems. Next, the paper presents the following techniques that have been used in lieu of proving system equivalence: Create multiple reset (or test) states and prove I/O equivalence with respect to all initial state pairs, implement built‐in self‐tests, use regression testing, define pre and post conditions, only use COTS products in places where you do not care about observable states, put a wrapper around COTS products, record the mode the system was in when the event of interest occurred, abstract the code into a state machine, build an observer to estimate the system states, and add extra outputs so that the states can be identified by examining the outputs. Finally, this paper gives examples where states are necessary and unnecessary in modeling systems. © 2006 Wiley Periodicals, Inc. Syst Eng 5: 228–240, 2006

Suggested Citation

  • Rick Botta & Zach Bahill & Terry Bahill, 2006. "When are observable states necessary?," Systems Engineering, John Wiley & Sons, vol. 9(3), pages 228-240, September.
    • Handle: RePEc:wly:syseng:v:9:y:2006:i:3:p:228-240
    DOI: 10.1002/sys.20053
    as

    Download full text from publisher

    File URL: https://doi.org/10.1002/sys.20053
    Download Restriction: no
    File URL: https://libkey.io/10.1002/sys.20053?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    References listed on IDEAS

    as
    1. Jesse Daniels & Paul W. Werner & A. Terry Bahill, 2001. "Quantitative methods for tradeoff analyses," Systems Engineering, John Wiley & Sons, vol. 4(3), pages 190-212.
    2. A. Wayne Wymore & A. Terry Bahill, 2000. "When can we safely reuse systems, upgrade systems, or use COTS components?," Systems Engineering, John Wiley & Sons, vol. 3(2), pages 82-95.
    3. Herbert A. Simon, 1955. "A Behavioral Model of Rational Choice," The Quarterly Journal of Economics, President and Fellows of Harvard College, vol. 69(1), pages 99-118.
    4. A. Terry Bahill & Steven J. Henderson, 2005. "Requirements development, verification, and validation exhibited in famous failures," Systems Engineering, John Wiley & Sons, vol. 8(1), pages 1-14.
    Full references (including those not matched with items on IDEAS)

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Michael W. Grenn & Shahram Sarkani & Thomas Mazzuchi, 2014. "The Requirements Entropy Framework in Systems Engineering," Systems Engineering, John Wiley & Sons, vol. 17(4), pages 462-478, December.
    2. A. Terry Bahill, 2012. "Diogenes, a process for identifying unintended consequences," Systems Engineering, John Wiley & Sons, vol. 15(3), pages 287-306, September.
    3. A. Terry Bahill & Ferenc Szidarovszky, 2009. "Comparison of dynamic system modeling methods," Systems Engineering, John Wiley & Sons, vol. 12(3), pages 183-200, September.

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Eric D. Smith & Young Jun Son & Massimo Piattelli‐Palmarini & A. Terry Bahill, 2007. "Ameliorating mental mistakes in tradeoff studies," Systems Engineering, John Wiley & Sons, vol. 10(3), pages 222-240, September.
    2. Benno Torgler & Friedrich Schneider & Christoph A. Schaltegger, 2007. "With or Against the People? The Impact of a Bottom-Up Approach on Tax Morale and the Shadow Economy," CREMA Working Paper Series 2007-04, Center for Research in Economics, Management and the Arts (CREMA).
    3. Christina Leuker & Thorsten Pachur & Ralph Hertwig & Timothy J. Pleskac, 2019. "Do people exploit risk–reward structures to simplify information processing in risky choice?," Journal of the Economic Science Association, Springer;Economic Science Association, vol. 5(1), pages 76-94, August.
    4. Ranganathan, Kavitha & Lejarraga, Tomás, 2021. "Elicitation of risk preferences through satisficing," Journal of Behavioral and Experimental Finance, Elsevier, vol. 32(C).
    5. Andrew Caplin & Mark Dean & Daniel Martin, 2011. "Search and Satisficing," American Economic Review, American Economic Association, vol. 101(7), pages 2899-2922, December.
    6. Shi, Yi & Deng, Yawen & Wang, Guoan & Xu, Jiuping, 2020. "Stackelberg equilibrium-based eco-economic approach for sustainable development of kitchen waste disposal with subsidy policy: A case study from China," Energy, Elsevier, vol. 196(C).
    7. Lawrence Bunnell & Kweku-Muata Osei-Bryson & Victoria Y. Yoon, 0. "RecSys Issues Ontology: A Knowledge Classification of Issues for Recommender Systems Researchers," Information Systems Frontiers, Springer, vol. 0, pages 1-42.
    8. da Silveira, Jaylson Jair & Lima, Gilberto Tadeu, 2021. "Wage inequality as a source of endogenous macroeconomic fluctuations," Structural Change and Economic Dynamics, Elsevier, vol. 56(C), pages 35-52.
    9. Marianne Bertrand & Dean Karlin & Sendhil Mullainathan & Eldar Shafir & Jonathan Zinman, 2005. "What's Psychology Worth? A Field Experiment in the Consumer Credit Market," NBER Working Papers 11892, National Bureau of Economic Research, Inc.
    10. Manolis, Chris & Nygaard, Arne & Stillerud, Bård, 1997. "Uncertainty and vertical control: An international investigation," International Business Review, Elsevier, vol. 6(5), pages 501-518, October.
    11. Ali Hortaçsu & Olivia R. Natan & Hayden Parsley & Timothy Schwieg & Kevin R. Williams, 2021. "Organizational Structure and Pricing: Evidence from a Large U.S. Airline," NBER Working Papers 29508, National Bureau of Economic Research, Inc.
    12. Elizabeth J. Altman & Frank Nagle & Michael L. Tushman, 2013. "Innovating Without Information Constraints: Organizations, Communities, and Innovation When Information Costs Approach Zero," Harvard Business School Working Papers 14-043, Harvard Business School, revised Sep 2014.
    13. Gerd Gigerenzer, 1997. "Bounded Rationality: Models of Fast and Frugal Inference," Swiss Journal of Economics and Statistics (SJES), Swiss Society of Economics and Statistics (SSES), vol. 133(II), pages 201-218, June.
    14. Jhunjhunwala, Tanushree, 2021. "Searching to avoid regret: An experimental evidence," Journal of Economic Behavior & Organization, Elsevier, vol. 189(C), pages 298-319.
    15. Jacopo Arpetti & Antonio Iovanella, 2019. "Towards more effective consumer steering via network analysis," Papers 1903.11469, arXiv.org, revised Nov 2019.
    16. Schilling, Melissa A. & Green, Elad, 2011. "Recombinant search and breakthrough idea generation: An analysis of high impact papers in the social sciences," Research Policy, Elsevier, vol. 40(10), pages 1321-1331.
    17. DeCanio, Stephen J. & Watkins, William E., 1998. "Information processing and organizational structure," Journal of Economic Behavior & Organization, Elsevier, vol. 36(3), pages 275-294, August.
    18. Esser, Hartmut, 2005. "Rationalität und Bindung : das Modell der Frame-Selektion und die Erklärung des normativen Handelns," Papers 05-16, Sonderforschungsbreich 504.
    19. Wenjing Luo & Zhi Qiu & Yurika Yokoyama & Shengyuan Zheng, 2022. "Decision-Making Mechanism of Joint Activities for the Elderly and Children in Integrated Welfare Facilities: A Discussion Based on “Motivation–Constraint” Interaction Model," IJERPH, MDPI, vol. 19(16), pages 1-23, August.
    20. Xujin Pu & Huanzhen Zhang, 2016. "Voluntary Certification of Agricultural Products in Competitive Markets: The Consideration of Boundedly Rational Consumers," Sustainability, MDPI, vol. 8(9), pages 1-13, September.

    More about this item

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:wly:syseng:v:9:y:2006:i:3:p:228-240. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Wiley Content Delivery (email available below). General contact details of provider: https://doi.org/10.1002/(ISSN)1520-6858 .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.