An automated approach to designing real time systems

Author

Moore, Michael ; Tompkins, Diane ; Hendrickson, Tom

Author_Institution

SofTech Inc., Dayton, OH, USA

fYear

1988

fDate

23-27 May 1988

Firstpage

660

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Aerospace and Electronics Conference, 1988. NAECON 1988., Proceedings of the IEEE 1988 National

Conference_Location

Dayton, OH

Type

conf

DOI

10.1109/NAECON.1988.195076

Filename

195076