TY - CHAP
T1 - Model-based verification and validation of safety-critical embedded real-time systems
T2 - Formation and tools
AU - Khan, Arsalan H.
AU - Khan, Zeashan H.
AU - Weiguo, Zhang
PY - 2014
Y1 - 2014
N2 - Verification, Validation and Testing (VV&T) is an imperative procedure for life cycle analysis of safety critical embedded real-time (ERT) systems. It covers software engineering to system engineering with VV&T procedures for every stage of system design e.g. static testing, functional testing, unit testing, fault injection testing, consistency techniques, Software-In-The-Loop (SIL) testing, evolutionary testing, Hardware-In-The-Loop (HIL) testing, black box testing, white box testing, integration testing, system testing, system integration testing, etc. This chapter discusses some of the approaches to demonstrate the importance of model-based VV&T in safety critical embedded real-time system development. An industrial case study is used to demonstrate the implementation feasibility of the VV&T methods.
AB - Verification, Validation and Testing (VV&T) is an imperative procedure for life cycle analysis of safety critical embedded real-time (ERT) systems. It covers software engineering to system engineering with VV&T procedures for every stage of system design e.g. static testing, functional testing, unit testing, fault injection testing, consistency techniques, Software-In-The-Loop (SIL) testing, evolutionary testing, Hardware-In-The-Loop (HIL) testing, black box testing, white box testing, integration testing, system testing, system integration testing, etc. This chapter discusses some of the approaches to demonstrate the importance of model-based VV&T in safety critical embedded real-time system development. An industrial case study is used to demonstrate the implementation feasibility of the VV&T methods.
UR - https://www.scopus.com/pages/publications/84958538925
U2 - 10.1007/978-3-642-40888-5_6
DO - 10.1007/978-3-642-40888-5_6
M3 - Chapter
AN - SCOPUS:84958538925
SN - 9783642408878
T3 - Studies in Computational Intelligence
SP - 153
EP - 183
BT - Embedded and Real Time System Development
PB - Springer Verlag
ER -
