Introduction of new methods for assuring safety into the software development process

Discusses how, without significant retraining, software engineers can adopt techniques to ensure the safety of safety-critical software. It is suggested that one or more specialists in a chosen real-time structured analysis or design technique work with the project team, using the technique in the project, and thereby demonstrate its effectiveness, and incidentally identify its weaknesses for subsequent improvement.<
>