Title :
CASA: computer aided systems architecting
Author :
Schaffer, Christoph
Author_Institution :
Inst. for Syst. Sci., Johannes Kepler Univ., Linz, Austria
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;
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.581887
