DocumentCode
3427483
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
fYear
1997
fDate
24-28 Mar 1997
Firstpage
65
Lastpage
72
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering of Computer-Based Systems, 1997. Proceedings., International Conference and Workshop on
Conference_Location
Monterey, CA
Print_ISBN
0-8186-7889-5
Type
conf
DOI
10.1109/ECBS.1997.581812
Filename
581812
Link To Document