DocumentCode
1997087
Title
Formally specifying real-time Ada software
Author
Hinchey, Michael G.
Author_Institution
Comput. Lab., Cambridge Univ., UK
fYear
1994
fDate
21-22 Jul 1994
Firstpage
39
Lastpage
44
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Real-Time Applications, 1994., Proceedings of the IEEE Workshop on
Conference_Location
Washington, DC
Print_ISBN
0-8186-6375-8
Type
conf
DOI
10.1109/RTA.1994.316139
Filename
316139
Link To Document