Verification and Validation of Medical Cyber-Physical Systems

Verification and Validation of Medical Cyber-Physical Systems

Lenardo Chaves e Silva (UFCG, Brazil), Hyggo Oliveira de Almeida (UFCG, Brazil) and Angelo Perkusich (UFCG, Brazil)
Copyright: © 2016 |Pages: 13
DOI: 10.4018/978-1-4666-9978-6.ch087
OnDemand PDF Download:
$30.00
List Price: $37.50

Chapter Preview

Top

Background

In this section, we introduce the fundamental concepts and main approaches applied to MCPS testing, such as V&V activities and Model-Based Testing (MBT). In addition, we will present some related works.

Key Terms in this Chapter

Medical Cyber-Physical Systems: Safety critical systems that consist of introducing additional computational entities in the traditional clinical scenarios to help the caregivers in the decision support regarding the control of the health of patients.

Validation: Stage of the software design process that aim to evaluate if the developer is building the right product.

Model-Based Testing: Set of techniques used to generate test cases from models of the system under test.

Systematic Review: It is a research that identifies relevant studies, evaluates the quality the studies and summarizes their results using a scientific methodology.

Software Testing: Any activity that consists at evaluating the system’s behavior in order to detect failures.

Metadata: Term used to provide data about others data, whose purpose is to facilitate the understanding of the data themselves.

Verification: Stage of the software design process that aim to checking if the developer is building the product right.

Complete Chapter List

Search this Book:
Reset