Newthink - An Orwellian specification language for real-time safety critical systems

We are currently experiencing an explosion in the use of computers in safety critical applications, particularly in the guise of embedded, real-time systems. Recent standardization activities in the United Kingdom and elsewhere have highlighted the safety implications of such massive deployment of computer software. The use of formal methods is often advocated as a way of increasing confidence in such software. Here, we describe our on-going work on an orwellian methodology for the development of safety critical real-time systems with particular reference to practices advocated by recent standards