Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function-Reference-Cited by-同舟云学术

Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function

Published:2017 Issue: Volume: Page:327-341
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Dieumegard Arnaud,Ge Ning,Jenn Eric

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-57288-8_24

Reference28 articles.

1. Cuenot, P., Jenn, E., Faure, E., Broueilh, N., Rouland, E.: An experiment on exploiting virtual platforms for the development of embedded equipments. In: 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016) (2016)

2. SAE: SAE ARP4754 Certification Considerations for Highly-Integrated Or Complex Aircraft Systems. Society of Automotive Engineers (SAE), Warrendale, USA (1996)

3. RTCA: DO-178C, Software Considerations in Airborne Systems and Equipment Certification. Special Committee 205 of RTCA (2011)

4. RTCA: DO-333 Formal Methods Supplement to DO-178C and DO-278A. RTCA & EUROCAE, December 2011

5. RTCA: DO-331 Model-Based Development and Verification Supplement to DO-178C and DO-278A. RTCA & EUROCAE, December 2011

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Safe Software and Secure Software;Safety and Security of Cyber-Physical Systems;2022

2. Validation of Formal Models by Timed Probabilistic Simulation;Rigorous State-Based Methods;2021

3. Correct-by-construction specification to verified code;Journal of Software: Evolution and Process;2018-06-25

4. Integrated formal verification of safety-critical software;International Journal on Software Tools for Technology Transfer;2017-10-06