Loading...
CTMCONTROL: Addressing the MC/DC Objective for Safety-Critical Automotive Software
Date
2013
Abstract
We propose a method tailored to the requirements of safety-critical embedded automotive software, named CTMCONTROL. CTMCONTROL has a particular focus on the specification-based control logic of the system under test and offers improvements in testing coverage metrics over a classic method which is routinely used in industry. The proposed method targets the Modified Condition/ Decision Coverage (MC/DC) objective for automotive safety-critical software. CTMCONTROL is validated via a controlled experiment which highlights the higher structural coverage delivered by the new approach. The method is implemented in the popular Matlab/Simulink/Stateflow (M/S/S) environment.
Supervisor
Description
peer-reviewed
Publisher
Citation
2nd International Workshop on Critical Automotive Applications: Robustness and Safety (CARS) co-located with International Conference on Computer Safety, Reliability and Security Conference (SAFECOMP2013);
Files
Funding code
Funding Information
Science Foundation Ireland (SFI)
Sustainable Development Goals
External Link
Type
Meetings and Proceedings
Rights
https://creativecommons.org/licenses/by-nc-sa/1.0/