Title :
Formally specifying real-time Ada software
Author :
Hinchey, Michael G.
Author_Institution :
Comput. Lab., Cambridge Univ., UK
Abstract :
A formal design method, based on an extended version of Receptive Process Theory, which is suitable for use in the design of real-time systems is described. The method is particularly appropriate for use with Ada software, as it can fully exploit Ada´s advanced features such as tasking, multiple entry-points, exception handling, etc., and also supports asynchronous communication
Keywords :
Ada; exception handling; formal specification; real-time systems; safety; software reliability; Receptive Process Theory; asynchronous communication; exception handling; formal design method; formal specification; multiple entry-points; real-time Ada software; real-time safety-critical systems; tasking; Circuits; Computer languages; Costs; Delay effects; Design methodology; Handicapped aids; Laboratories; Real time systems; Software safety; Waste materials;
Conference_Titel :
Real-Time Applications, 1994., Proceedings of the IEEE Workshop on
Conference_Location :
Washington, DC
Print_ISBN :
0-8186-6375-8
DOI :
10.1109/RTA.1994.316139
