Architecture specifications for complex real-time dependable systems

Author

Binns, Pam ; Vestal, Steve

Author_Institution

Honeywell Technol. Cente, Minneapolis, MN, USA

fYear

1995

fDate

6-10 Nov 1995

Firstpage

357

Lastpage

360

Abstract

We discuss the use of architecture specification languages to drive both automated analytic modeling and automated system implementation. We “co-generate” various formal models and an implementation from an architecture specification in a way that provides high assurance that the analysis results accurately predict implementation behavior. This approach enables improved system quality and functionality due to early and reliable design trade-off studies, rapid and low-cost system development and evolution, and increased assurance of correctness

Keywords

formal specification; program verification; real-time systems; specification languages; architecture specifications; automated analytic modeling; automated system implementation; complex real-time dependable systems; formal models; program correctness; specification languages; Contracts; Cost function; Drives; Predictive models; Real time systems; Reliability theory; Specification languages; Stochastic processes;

fLanguage

English

Publisher

ieee

Conference_Titel

Engineering of Complex Computer Systems, 1995. Held jointly with 5th CSESAW, 3rd IEEE RTAW and 20th IFAC/IFIP WRTP, Proceedings., First IEEE International Conference on

Conference_Location

Ft. Lauderdale, FL

Print_ISBN

0-8186-7123-8

Type

conf

DOI

10.1109/ICECCS.1995.479358

Filename

479358