A design method for real-time and safety critical systems (IM-SSU-010)

Last updated on 12 April 2013 2:54
Programs created in the Safety Systems Unit to date have leaned heavily on the use of B.S. 6224 on a word processor (Refs. 1 and 2) . Basic deficiencies of this are that it only provides a notation for software design, it does not address the problems of system design...
Author(s): Gurney C. F.
Organisation(s): British Rail Research ;
1990
United Kingdom
Log in or register to continue
Register for free individual access
  • Unlock research, articles and more
  • Get updates on RSSB’s activities