CASA: computer aided systems architecting

Author

Schaffer, Christoph

Author_Institution

Inst. for Syst. Sci., Johannes Kepler Univ., Linz, Austria

fYear

1997

fDate

24-28 Mar 1997

Firstpage

288

Lastpage

295

Abstract

This paper presents a method (CASA-ME) and a tool environment (CASA-TE) supporting the design of computer based systems. The methodology is based on architectural descriptions which not only allow the descriptions of components, connections and composite structures, but CASA-ME provides a mechanism allowing architectural related design knowledge. Beside these architectural descriptions CASA-ME also provides a mechanism allowing the formulation and traceability of requirements. Simulation models built with external tools and coordinated by CASA-TE are used to validate and verify these requirements. After elaborating on the different concepts of CASA-ME a few words are said about CASA-TE which is under development. Small examples are used to demonstrate the different concepts of CASA-ME

Keywords

CAD; computer architecture; formal specification; formal verification; virtual machines; CASA-ME method; CASA-TE tool; architectural descriptions; computer aided systems architecting; computer based systems design; requirements validation; simulation models; Decision making; Design engineering; Electromagnetic compatibility; Energy management; Hardware; Hierarchical systems; Knowledge management; Modeling; Power engineering and energy; Systems engineering and theory;

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.581887

Filename

581887