STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Checking properties of safety critical specifications using efficient decision procedures
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems: Design Principles for Distributed Embedded Applications
Safer C: Developing Software for in High-Integrity and Safety-Critical Systems
Safer C: Developing Software for in High-Integrity and Safety-Critical Systems
Evaluating system dependability in a co-design framework
DATE '00 Proceedings of the conference on Design, automation and test in Europe
| Hi-index | 0.00 |
Embedded systems assume increasing responsibilities in safety-critical automotive applications. For this class of applications, we have adopted a co-design approach based on successive validation phases. The first and most important design phase operates directly on an executable system specification, with a particular focus on fault modeling and robustness criteria, such as liveness and determinism. The second phase synthesizes subsystems into independent software processes that interact asynchronously with each other; the third phase results in a hardware/software prototype, for example a combination of FPGA and Microcontroller. We have applied this approach to the design of a bus-based airbag system.