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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
6 Reference List
Chew, J., Sullivan C. Verification, Validation and Accreditation in the Life Cycle of Models and Simulation. Proceedings of the 2000 Winter Simulation Conference, 2000.
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
Lutz, R. R., Mikulski, I. C. Requirements Discovery During the Testing of Safety-Critical Software. Jet Propulsion Laboratory of California Institute of Technology.
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.
Varró D., Varró, G., Pataricza, A. Automatic Graph Transformation In System Verification. Technical University of Budapest, Department of Measurement and Information Systems.
VanDoren, V. J., Simulation Simplifies ‘What-if’ Analysis. Control Engineering, July, 1998; 38–45.
System Engineering Fundamentals. Defense Acquisition University, 2001.
System Engineering Handbook. International Council on Systems Engineering. INCOSE, 2004.
System Engineering Handbook. National Aeronautics and Sace Administration. NASA, 1995.
Design and Verification Strategies for Complex Systems: Part 1. Available at: <http://www.dspdesgnline.com/showArticle.jhtml>. Accessed on: Jan. 18th 2007.
Design and Verification Strategies for Complex Systems: Part 2. Available at: <http://www.automotivedesignline.com/189401216>. Accessed on: Jan. 18th 2007.
Electric Wheel Chair Characteristics Information. Available at: <http://www.medicalproductsdirect.com/inneustelser.html> Accessed in: Jan 27th 2007
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
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)