Abstract
This chapter outlines various testing and verification approaches for embedded systems. Prototyping phases are discussed including simulation, developmental board, and custom PCB approach. Testing approaches outlined along with a brief discussion on design for testability. Various types of verification methods are listed including functional, timing, and formal verification. Debugging approaches are also discussed along with definition of validation and evaluation.
Everything should be made as simple as possible, but not simpler.—Albert Einstein
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
IEEE 1149.1 Device Architecture, online: www.jtag.com
H. Kopetz, Real-Time Systems: Design Principles for Distributed Embedded Applications (Springer, 1997)
Author information
Authors and Affiliations
Exercise
Exercise
Problem 5.1: Describe testing process of Embedded System Device Under Test. Why it is challenging?
Problem 5.2: What are the differences amount formal verification, timing verification, and formal verification?
Problem 5.3: What are Validation and Evaluation? Why the are important for Embedded Systems?
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Morshed, B.I. (2021). Prototyping and Verification of ES. In: Embedded Systems – A Hardware-Software Co-Design Approach. Springer, Cham. https://doi.org/10.1007/978-3-030-66808-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-66808-2_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-66807-5
Online ISBN: 978-3-030-66808-2
eBook Packages: EngineeringEngineering (R0)