An automated approach to designing real time systems

A methodology is proposed that supports reasoning in terms of functional, temporal, and resource domains. It is intended to support the complete life cycle of an avionics system. The basis of the method is the Systems Analysis and Design Technique (SADT) defined by D. Ross. The basic SADT is augmented with a means for specifying how activities become active and for specifying timing requirements once they become active. A tool has been implemented which assists a user with the construction and verification of these temporal SADT descriptions. The result is a knowledge base amenable to temporal logic and Petri net analysis tools. The goal of the project is to demonstrate practical rooms for building verifiable real-time system designs and automated documentation. The basic temporal SADT tool has recently been complete and is being evaluated. Experience to date is encouraging.<
>