Safety Critical Systems Based on Formal Models

Lars Asplund

Abstract

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 devloped including a formal model of a Ravenscar compliant run-time system, a gnat compatibal run-time system, and an ASIS based tool for allow the verification of a system including both COTS and code that is reused.

Lars Asplund
Uppsala University
Department of Computer Systems
Box 325, S-751 05 UPPSALA
Sweden

Phone: +46 18 471 35 27
GSM: +46 704 250 238
FAX: +46 18 55 02 25
Email: asplund@docs.uu.se or lars.asplund@adab.se
URL: http://www.docs.uu.se/~asplund