Title :
An automated approach to designing real time systems
Author :
Moore, Michael ; Tompkins, Diane ; Hendrickson, Tom
Author_Institution :
SofTech Inc., Dayton, OH, USA
Abstract :
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
Keywords :
real-time systems; systems analysis; Design Technique; Petri net analysis tools; SADT; Systems Analysis; automated approach; automated documentation; functional domains; knowledge base; life cycle; real time systems; resource domains; temporal domains; temporal logic; timing requirements; Aerospace electronics; Aircraft; Communication channels; Computer aided engineering; Design engineering; Hardware; Logic; Real time systems; System analysis and design; Timing;
Conference_Titel :
Aerospace and Electronics Conference, 1988. NAECON 1988., Proceedings of the IEEE 1988 National
Conference_Location :
Dayton, OH
DOI :
10.1109/NAECON.1988.195076
