Scheduling and communication in MetaH

Author

Vestal, Steve ; Binns, Pam

Author_Institution

Honeywell Technology Center, Minneapolis, MN, USA

fYear

1993

fDate

1-3 Dec 1993

Firstpage

194

Lastpage

200

Abstract

This paper describes certain aspects of an architecture description language (MetaH) and associated toolset used to specify, analyze, and automatically assemble software for real-time, fault-tolerant, secure, multi-processor systems. One goal in the design of this language and toolset was to provide design-time analysis that accurately characterizes the behavior of the actual implementation. Currently, our toolset consists of tools to automatically assemble the application software and to perform a real-time schedulability analysis for that application

Keywords

formal specification; hardware description languages; multiprocessing systems; processor scheduling; programming environments; real-time systems; scheduling; software tools; systems analysis; MetaH; application software; architecture description language; communication; design-time analysis; fault tolerant multiprocessor system; formal specification; real-time schedulability analysis; real-time systems; secure system; systems analysis; toolset; Application software; Architecture description languages; Assembly systems; Object oriented modeling; Packaging; Performance analysis; Real time systems; Software prototyping; Software tools; Specification languages;

fLanguage

English

Publisher

ieee

Conference_Titel

Real-Time Systems Symposium, 1993., Proceedings.

Conference_Location

Raleigh Durham, NC

Print_ISBN

0-8186-4480-X

Type

conf

DOI

10.1109/REAL.1993.393500

Filename

393500