Evaluation of the sophisticated safety critical systems is a tedious and time consuming process. This process has been undertaken manually, by experts and individuals, which increase the risk of human errors and ambig...
详细信息
ISBN:
(纸本)9781467331081;9781467331074
Evaluation of the sophisticated safety critical systems is a tedious and time consuming process. This process has been undertaken manually, by experts and individuals, which increase the risk of human errors and ambiguities in understanding. We introduce an approach by integrating the mutation analysis and model checking. The mutation analysis cuts down the possibility of human errors, whereas model checker analyses and verifies the semantics of the safety critical system, thereby reducing both human and semantic errors to a considerable extent.
A model-based V-cycle development approach is investigated in this paper. The control algorithms are modelled, simulated, and optimized using matlab/simulink/stateflow tools. TargetLink is used to translate the contro...
详细信息
A model-based V-cycle development approach is investigated in this paper. The control algorithms are modelled, simulated, and optimized using matlab/simulink/stateflow tools. TargetLink is used to translate the control algorithm model made in matlab/simulink/ stateflow into embedded production ANSI C codes. Based on the controller of a high-pressure common-rail electronic control system for a diesel engine (ECU) and the hardware-in-the-loop simulation system (HILSS), the codes of control algorithms can be tested and modified again. The results of the investigation show that both simulink and TargetLink are effective development tools that can guarantee control precision and rationality of control algorithms, and can also help to shorten the development time. The simulink, TargetLink, ECU, HILSS, and calibration tools form an effective V-cycle development platform for the control algorithm of a high-pressure common-rail electronic control system.
Evaluation of the sophisticated safety critical systems is a tedious and time consuming process. This process has been undertaken manually, by experts and individuals, which increase the risk of human errors and ambig...
详细信息
ISBN:
(纸本)9781467331074
Evaluation of the sophisticated safety critical systems is a tedious and time consuming process. This process has been undertaken manually, by experts and individuals, which increase the risk of human errors and ambiguities in understanding. We introduce an approach by integrating the mutation analysis and model checking. The mutation analysis cuts down the possibility of human errors, whereas model checker analyses and verifies the semantics of the safety critical system, thereby reducing both human and semantic errors to a considerable extent.
暂无评论