Skip to main content

Using Prototypes, Verification, and Validation to Evaluate and Enhance System Architecture

  • Chapter
  • First Online:
Effective Model-Based Systems Engineering

Abstract

The MBSAP methodology is tied together by a prototyping environment that allows an evolving system architecture to be exercised and assessed for purposes as diverse as verification and validation (V&V), performance analysis, trade study quantification, and human-in-the-loop experimentation. It has two complementary dimensions: a physical prototype is built up from real or emulated system components, while a virtual prototype brings together a set of system simulations. The virtual prototyping strategy mirrors the levels of the Axis of Abstraction of the architecture taxonomy in Chap. 1. First, we establish the fundamental concepts and terminology and explore the details of physical and virtual prototypes. We then present the essentials of V&V and the role of prototyping and simulation, and we discuss additional uses of prototyping to support a system development effort. We briefly summarize an alternative approach to SysML using Petri nets. Finally, we use the Smart Microgrid and E-X examples to illustrate these prototyping concepts. The essential idea is that a properly planned and executed prototyping activity can be of great value in reducing risk, saving cost and schedule, enhancing system V&V, and supporting many other aspects of the system life cycle. Chapter Objective: the reader will be able to define an effective prototyping strategy, including virtual and physical prototypes, and to incorporate prototypes in the planning, execution, and assessment of a system development program.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 109.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 139.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 159.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    This is the essence of “emergent behavior.”

  2. 2.

    These are not SysML diagrams, although they could be readily converted to SysML for inclusion in the architecture model.

References

  1. Project Management Institute (2013) A guide to the project management body of knowledge, 5th edn. https://www.pmi.org/pmbok-guide-standards/foundational/pmbok. Accessed 29 Apr 2018

  2. McQuay WK (2011) Collaborative environment for 21st century avionics. IEEE A&E Syst Mag 26:4–11

    Article  Google Scholar 

  3. IEEE Std 11516-2010 IEEE standard for Modeling and Simulation (M&S) High Level Architecture (HLA) – framework and rules. https://standards.ieee.org/findstds/standard/1516-2010.html. Accessed 27 May 2017

  4. IEEE Std 1278.1-2012 IEEE standard for distributed interactive simulation – application protocols. https://standards.ieee.org/findstds/standard/1278.1-2012.html. Accessed 26 May 2017

  5. OASIS (2017) Web Services Business Process Execution Language (WSBPEL) TC. https://www.oasis-open.org/committees/tc_home.php?wg_abbrev=wsbpel. Accessed 26 May 2017

  6. Object Management Group (2016) Business Process Model and Notation (BPMN)

    Google Scholar 

  7. Mittal S, Ziegler BP, Risco Martin JL, Sahin F, Jamshidi M (2009) Modeling and simulation for system of systems engineering. In: Jamshidi M (ed) System of systems engineering: innovations for the 21st century. Wiley, Hoboken, pp 101–149

    Google Scholar 

  8. Weibull, FRACAS: an essential ingredient for reliability success. http://www.weibull.com/hotwire/issue122/relbasics122.htm. Accessed 7 May 2018

  9. Kossiakoff A, Sweet W (2003) Systems engineering: principles and practice. Wiley, New York http://www.bpmn.org/. Accessed 26 May 2017

    Google Scholar 

  10. Utting M, Legeard B (2007) Practical model-based testing: a tools approach. Morgan-Kaufmann, New York

    Google Scholar 

  11. Petri Nets Steering Committee (2017) Petri nets world. http://www.informatik.uni-hamburg.de/TGI/PetriNets/index.php. Accessed 26 May 2017

  12. Zurawski R, Zhou M (1994) Petri nets and industrial applications: a tutorial. IEEE Trans Ind Electron 41(6):567–583

    Article  Google Scholar 

  13. GitHub – Open-MBSE (2017) TMT-SysML-Model. https://github.com/Open-MBEE/TMT-SysML-Model. Accessed 27 May 2017

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer International Publishing AG, part of Springer Nature

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Borky, J.M., Bradley, T.H. (2019). Using Prototypes, Verification, and Validation to Evaluate and Enhance System Architecture. In: Effective Model-Based Systems Engineering. Springer, Cham. https://doi.org/10.1007/978-3-319-95669-5_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-95669-5_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-95668-8

  • Online ISBN: 978-3-319-95669-5

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics