Towards verification-based development of in-vehicle safety critical software: a case study

Authors:
Martijn M. H. P. van den Heuvel;Reinder J. Bril;Peter van de Velde;Johan J. Lukkien
Affiliations:
Technische Universiteit Eindhoven, AZ Eindhoven, The Netherlands;Technische Universiteit Eindhoven, AZ Eindhoven, The Netherlands;Verum Software Technologies B. V., LA Waalre, The Netherlands;Technische Universiteit Eindhoven, AZ Eindhoven, The Netherlands
Venue:
Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety
Year:
2010

Citing 11
Cited 0

Communicating sequential processes

Communicating sequential processes
Automatic control engineering, 4th ed.

Automatic control engineering, 4th ed.
Cleanroom software engineering: technology and process

Cleanroom software engineering: technology and process
The Theory and Practice of Concurrency

The Theory and Practice of Concurrency
Foundations of Sequence-Based Software Specification

IEEE Transactions on Software Engineering
Academia and industry meet: Some experiences of formal methods in practice

APSEC '03 Proceedings of the Tenth Asia-Pacific Software Engineering Conference Software Engineering Conference
Basic Concepts and Taxonomy of Dependable and Secure Computing

IEEE Transactions on Dependable and Secure Computing
Rule Checking within the Model-Based Development of Safety-Critical Systems and Embedded Automotive Software

ISADS '07 Proceedings of the Eighth International Symposium on Autonomous Decentralized Systems
Sequence-based specification of feedback control systems in Simulink®

CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
Combining the Box Structure Development Method and CSP for Software Development

Electronic Notes in Theoretical Computer Science (ENTCS)
Improving test coverage for UML state machines using transition instrumentation

SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security

Quantified Score

Hi-index	0.00

Visualization

Abstract

The ever increasing software complexity in the safety critical automotive domain induces new challenges in ensuring a fault-free system design. In this paper we propose a novel approach using Analytical Software Design (ASD). The ASD toolsuite provides means to develop software that is robust by construction. We show the integration of the ASD approach in the commonly used development workflow using Matlab/Simulink by means of a case study.