Formally specifying real-time Ada software

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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.

Original languageEnglish
Title of host publicationProceedings of 2nd IEEE Workshop on Real-Time Applications, RTA 1994
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages39-44
Number of pages6
ISBN (Electronic)0818663758, 9780818663758
DOIs
Publication statusPublished - 1994
Externally publishedYes
Event2nd IEEE Workshop Real-Time Applications, RTA 1994 - Washington, United States
Duration: 21 Jul 199422 Jul 1994

Publication series

NameProceedings of 2nd IEEE Workshop on Real-Time Applications, RTA 1994

Conference

Conference2nd IEEE Workshop Real-Time Applications, RTA 1994
Country/TerritoryUnited States
CityWashington
Period21/07/9422/07/94

Fingerprint

Dive into the research topics of 'Formally specifying real-time Ada software'. Together they form a unique fingerprint.

Cite this