Safety critical systems based on formal models

Lars Asplund, Kristina Lundqvist
2000 ACM SIGAda Ada Letters  
The Ravenscar profile for high integrity systems using Ada 95 is well defined in all real-time aspects. The complexity of the run-time system has been reduced to allow full utilization of formal methods for applications using the Ravenscar profile. In the Mana project a tool set is being developed including a formal model of a Ravenscar compliant run-time system, a gnat compatible run-time system, and an ASIS based tool to allow for the verification of a system including both COTS and code that is reused.
doi:10.1145/369264.369267 fatcat:qlknczyumrfpnonphiiejhjfgq