Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!ucbvax!hplabs!hp-pcd!hpmcaa!cyrus
From: cyrus@hpmcaa.mcm.hp.com (Judy Cyrus)
Newsgroups: comp.realtime
Subject: Re: Looking for Info on Safety-Critical Embedded Systems
Message-ID: <8910001@hpmcaa.mcm.hp.com>
Date: 18 Aug 89 22:45:00 GMT
References: <281@melair.UUCP>
Organization: HP McMinville Division
Lines: 10


The document you are looking for is the UK Ministry of Defense Standard
MoD-Std-0055.  

It requires the use of formal methods and mathematical
verification on all safety-critical software.  It bans the use of 
assembly language, limits high-level languages like Ada to "safe" subsets, bans concurrent processes, interrupts (except for fixed interval timer), 
floating-point arithmetic, and recursion.

cyrus@hpmcaa