Safety critical software requirements specification for a communication processor (RR-SSU-007)

This document is part of the Safety Critical Software project. The aims of the project are to gain knowledge and understanding of the use of modern design techniques and high level programming languages in the development of computer programs for safety critical systems. In order to facilitate the above...