Software Hazard and Safety Analysis
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Session II-A: Verification and Validation/High-Assurance Systems Acceptance-Based Assurance
Proceedings of the 16th IEEE international conference on Automated software engineering
Journal of Integrated Design & Process Science
ClawZ: cost-effective formal verification for control systems
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Control law diagrams in circus
FM'05 Proceedings of the 2005 international conference on Formal Methods
Automated verification of code automatically generated from Simulink®
Automated Software Engineering
| Hi-index | 0.00 |
Tools such as Simulink are being used by engineers around the world to model and solve real problems about dynamical systems. In particular control systems are modeled graphically, simulated and then code generated automatically. Code generated from such a tool is being proposed for use in safety critical control systems. The problem for certifiers is why should they trust such generated code? This paper describes a particular approach to solving this problem which supports review by a certifier. A small case study is presented to illustrate the approach and the technical issues involved