Formally specifying real-time Ada software

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, multipl...

Full description

Saved in:
Bibliographic Details
Main Author: Hinchey, M.G.
Format: Conference Proceeding
Language:English
Subjects:
Circuits
Computer languages
Costs
Delay effects
Design methodology
Handicapped aids
Laboratories
Real time systems
Software safety
Waste materials
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.< >
DOI:10.1109/RTA.1994.316139