Title :
Tools for model-based real-time system synthesis
Author :
Abbott, Ben ; Joshi, Monica
Author_Institution :
Dept. of Electr. & Comput. Eng., Utah State Univ., Logan, UT, USA
Abstract :
The model-based approach is an experimental technique for system development that strives to automatically transform models describing the specifications required for a system into a usable solution. This paper describes an extensible set of the software tools required to build complex, parallel, real-time, computer systems using the model-based approach. The paper focuses on the model editor portion of the tools but also provides background information and application examples to enhance understanding
Keywords :
formal specification; real-time systems; software tools; systems analysis; application examples; formal specification; model-based real-time system synthesis; software tools; system development; Application software; Computer aided software engineering; Concurrent computing; Control systems; Instruments; Monitoring; Physics computing; Process control; Real time systems; Software tools;
Conference_Titel :
Engineering of Computer-Based Systems, 1997. Proceedings., International Conference and Workshop on
Conference_Location :
Monterey, CA
Print_ISBN :
0-8186-7889-5
DOI :
10.1109/ECBS.1997.581812