Model-Based Verification and Validation of Safety-Critical Embedded Real-Time Systems: Formation and Tools
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
- PDF / 1,736,620 Bytes
- 31 Pages / 439.37 x 666.142 pts Page_size
- 87 Downloads / 193 Views
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.
1 Introduction Real-time systems is one of the challenging research area today, which addresses both software and hardware issues related to computer science and engineering design. In a real-time system the correctness of the system performance depends not only on the logical results of the computations, but also on the time at which the results are produced [1]. A real-time system changes its state precisely at physical (real) time instant, e.g., maintaining the temperature of a chemical reaction chamber is a complex continuous time process which constantly changes its state even when A. H. Khan (B) · Z. Weiguo Northwestern Polytechnical University, Xi’an, People’s Republic of China e-mail: [email protected] Z. Weiguo e-mail: [email protected] Z. H. Khan Center for Emerging Sciences, Engineering and Technology (CESET), Islamabad, Pakistan e-mail: [email protected] M. A. Khan et al. (eds.), Embedded and Real Time System Development: A Software Engineering Perspective, Studies in Computational Intelligence 520, DOI: 10.1007/978-3-642-40888-5_6, © Springer-Verlag Berlin Heidelberg 2014
153
154
A. H. Khan et al. Operator
Controlling System
Controlled System
ACTUATORS COMMANDS
REAL-TIME SYSTEM PLANT STATUS DISPLAY
PLANT
SENSORS
Fig. 1 Typical real-time system
the controlling computer has stopped. Conceived from controlling the real world phenomena, real-time systems are often comprised of the following three subsystems shown in Fig. 1. Controlled system is the device (the plant or object), we want to control according to the desired characteristics. It also contains actuating devices i.e., motors, pumps, and valves, etc. and sensors i.e., pressure sensor, temperature sensor, navigation sensor, and position sensors, etc. Surrounding environmental effects (disturbances), sensors noise and actuators limits are also considered as a part of this subsystem. Operator environment is the human operator, who commands the controlling system to control the output of the controlled system. It also contains the command input device i.e., keyboards, joysticks, and brake pedals, etc. Controlling system is the real-time system or the controller which acquires the information about the plant by using sensors
Data Loading...
