Skip to main content

The System Verification Breakdown Method

  • Conference paper
Complex Systems Concurrent Engineering

Abstract

High integrated and complex systems are more and more scattered and common in people lives. Even without the exact feeling of this means, they hope for the best product. This desire implicate in system manufactures improve knowledge and create solutions with more advanced technologies to satisfy consumers expectations. Verification have been done at the end of process development, but it have resulted in difficulties to manufacturers because is very expansive and hard to implement any required modifications at this point of development process. Thus, many manufactures have started verification process at begin of development, decreasing erroneous implementations. This paper is intended to show an intuitive method possible to apply in any cases, using block diagrams, that assists generate test cases procedures, since when development starts, making relationship among system interfaces, subsystems and functions, enabling tests traceability and tests coverage analysis. In cases where manufacturer develops same kind of products, the block diagram will be easily reused to a new one, including or removing systems, subsystems and functions, adapting it to new features and project requirements. The propose is starting developments doing the things right earlier as possible.

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 259.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 329.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 329.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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

6 Reference List

  1. Chew, J., Sullivan C. Verification, Validation and Accreditation in the Life Cycle of Models and Simulation. Proceedings of the 2000 Winter Simulation Conference, 2000.

    Google Scholar 

  2. Ladkin, P. B. Analysis of a Technical description of the airbus A320 Braking System. CRIN-CNRS & INRIA Lorraine, Bâtiment LORIA, BP 239, 54506 Vandoeuvre-Lès-Nancy, France, 1995

    Google Scholar 

  3. Lutz, R. R., Mikulski, I. C. Requirements Discovery During the Testing of Safety-Critical Software. Jet Propulsion Laboratory of California Institute of Technology.

    Google Scholar 

  4. Souza, M. L. De O. e, Trivelato, G. da C. Simulators and Simulations: Their Characteristics and Applications to the Simulation and Control of Aerospace Vehicles. Society of Automotive Engineers, 2003.

    Google Scholar 

  5. Varró D., Varró, G., Pataricza, A. Automatic Graph Transformation In System Verification. Technical University of Budapest, Department of Measurement and Information Systems.

    Google Scholar 

  6. VanDoren, V. J., Simulation Simplifies ‘What-if’ Analysis. Control Engineering, July, 1998; 38–45.

    Google Scholar 

  7. System Engineering Fundamentals. Defense Acquisition University, 2001.

    Google Scholar 

  8. System Engineering Handbook. International Council on Systems Engineering. INCOSE, 2004.

    Google Scholar 

  9. System Engineering Handbook. National Aeronautics and Sace Administration. NASA, 1995.

    Google Scholar 

  10. Design and Verification Strategies for Complex Systems: Part 1. Available at: <http://www.dspdesgnline.com/showArticle.jhtml>. Accessed on: Jan. 18th 2007.

    Google Scholar 

  11. Design and Verification Strategies for Complex Systems: Part 2. Available at: <http://www.automotivedesignline.com/189401216>. Accessed on: Jan. 18th 2007.

    Google Scholar 

  12. Electric Wheel Chair Characteristics Information. Available at: <http://www.medicalproductsdirect.com/inneustelser.html> Accessed in: Jan 27th 2007

    Google Scholar 

  13. Electric Wheel Chair Characteristics Information. Available at: <http://www.1800wheelchair.com/asp/viewproduct.asp?product_id=1786&s_cid=dlshpg_1786> Accessed in: Jan 27th 2007

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag London Limited

About this paper

Cite this paper

Mendonça, C.H. (2007). The System Verification Breakdown Method. In: Loureiro, G., Curran, R. (eds) Complex Systems Concurrent Engineering. Springer, London. https://doi.org/10.1007/978-1-84628-976-7_8

Download citation

  • DOI: https://doi.org/10.1007/978-1-84628-976-7_8

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-84628-975-0

  • Online ISBN: 978-1-84628-976-7

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics