Using formal methods for the development of safe application-specific RTOS for automotive systems
暂无分享,去创建一个
[1] Nikolai Kosmatov,et al. Frama-C: A software analysis perspective , 2015, Formal Aspects of Computing.
[2] Peter Druschel,et al. Efficient support for incremental customization of OS services , 1993, Proceedings Third International Workshop on Object Orientation in Operating Systems.
[3] Gregor Kiczales,et al. A new model of abstraction for operating system design , 1992, [1992] Proceedings of the Second International Workshop on Object Orientation in Operating Systems.
[4] Marcelo Götz,et al. (Re-) configurable real-time operating systems and their applications , 2003, Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003)..
[5] Thomas Anderson,et al. The case for application-specific operating systems , 1992, [1992] Proceedings Third Workshop on Workstation Operating Systems.
[6] Jean-Luc Béchennec,et al. Trampoline An Open Source Implementation of the OSEK/VDX RTOS Specification , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.
[7] Wolfgang Schröder-Preikschat,et al. CiAO: An Aspect-Oriented Operating-System Family for Resource-Constrained Embedded Systems , 2009, USENIX Annual Technical Conference.
[8] Wang Yi,et al. UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems , 1996, Hybrid Systems.
[9] Tiziana Margaria,et al. Software engineering and formal methods , 2008, CACM.