Model-based verification and validation of safety-critical embedded real-time systems: Formation and tools

Arsalan H. Khan; Zeashan H. Khan; Zhang Weiguo

doi:10.1007/978-3-642-40888-5_6

Model-based verification and validation of safety-critical embedded real-time systems: Formation and tools

Arsalan H. Khan^*
, Zeashan H. Khan
, Zhang Weiguo

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

11 Scopus citations

Abstract

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.

Original language	English
Title of host publication	Embedded and Real Time System Development
Subtitle of host publication	A Software Engineering Perspective: Concepts, Methods and Principles
Publisher	Springer Verlag
Pages	153-183
Number of pages	31
ISBN (Print)	9783642408878
DOIs	https://doi.org/10.1007/978-3-642-40888-5_6
State	Published - 2014
Externally published	Yes

Publication series

Name	Studies in Computational Intelligence
Volume	520
ISSN (Print)	1860-949X

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 12 Responsible Consumption and Production

ASJC Scopus subject areas

Artificial Intelligence

Access to Document

10.1007/978-3-642-40888-5_6

Cite this

Khan, A. H., Khan, Z. H., & Weiguo, Z. (2014). Model-based verification and validation of safety-critical embedded real-time systems: Formation and tools. In Embedded and Real Time System Development: A Software Engineering Perspective: Concepts, Methods and Principles (pp. 153-183). (Studies in Computational Intelligence; Vol. 520). Springer Verlag. https://doi.org/10.1007/978-3-642-40888-5_6

@inbook{e8ca9ab4f1ef42a4995bc77695ae256e,

title = "Model-based verification and validation of safety-critical embedded real-time systems: Formation and tools",

abstract = "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.",

author = "Khan, \{Arsalan H.\} and Khan, \{Zeashan H.\} and Zhang Weiguo",

year = "2014",

doi = "10.1007/978-3-642-40888-5\_6",

language = "English",

isbn = "9783642408878",

series = "Studies in Computational Intelligence",

publisher = "Springer Verlag",

pages = "153--183",

booktitle = "Embedded and Real Time System Development",

address = "Germany",

}

Khan, AH, Khan, ZH & Weiguo, Z 2014, Model-based verification and validation of safety-critical embedded real-time systems: Formation and tools. in Embedded and Real Time System Development: A Software Engineering Perspective: Concepts, Methods and Principles. Studies in Computational Intelligence, vol. 520, Springer Verlag, pp. 153-183. https://doi.org/10.1007/978-3-642-40888-5_6

Model-based verification and validation of safety-critical embedded real-time systems: Formation and tools. / Khan, Arsalan H.; Khan, Zeashan H.; Weiguo, Zhang.
Embedded and Real Time System Development: A Software Engineering Perspective: Concepts, Methods and Principles. Springer Verlag, 2014. p. 153-183 (Studies in Computational Intelligence; Vol. 520).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

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 -

Model-based verification and validation of safety-critical embedded real-time systems: Formation and tools

Abstract

Publication series

UN SDGs

ASJC Scopus subject areas

Access to Document

Fingerprint

Cite this