Open AccessUsing formal methods for the development of safe application-specific RTOS for automotive systems
Author(s) -
Kabland Toussaint Gautier Tigori,
Jean-Luc Béchennec,
Sébastien Faucou,
Olivier H. Roux
Publication year - 2015
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - real time operating system , dependability , computer science , correctness , embedded system , automotive industry , formal verification , formal methods , embedded software , embedded operating system , operating system , formal specification , software , software engineering , engineering , programming language , aerospace engineering