Safety Critical Systems Based on Formal Models

Lars Asplund

Lars Asplund is working both at the Department of Computer Systems, Uppsala University, and in his company Asplund Data AB. The work at the university involve research and teaching in the areas of learning systems, safety critical systems and soccer playing robots. In the research about safety critical systems special interest has been paid to formal verification of a Ravenscar compliant run-time kernel.

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

Phone: +46 18 471 35 27
GSM: +46 704 250 238
FAX: +46 18 55 02 25
Email: or