Title :
Modular hierarchies of models for embedded systems
Author_Institution :
Inst. fur Informatik, Tech. Univ. Munchen, Germany
Abstract :
Today, in general, software is embedded, distributed onto networks and structured into logical components that interact asynchronously. We study fundamental models of composed software systems and their properties, identify and describe various basic views, and show how they are related. We concentrate on models of composed systems that interact by message exchange. We consider, in particular, models of data, states, interfaces, hierarchical composed systems, and processes. We study relationships by abstraction and refinement as well as forms of composition and modularity. In particular, we introduce a comprehensive mathematical model for composed systems, its views and their relationships.
Keywords :
algebraic specification; data structures; embedded systems; message passing; refinement calculus; software architecture; abstraction; asynchronous interaction; composition; comprehensive mathematical model; data model; distributed system; embedded software; embedded system; fundamental model; hierarchical composed system; logical component structure; message exchange; modular model hierarchy; modularity; refinement; software development; software system; system interface; system process; system relation; system state; Algebra; Biological system modeling; Context modeling; Embedded software; Embedded system; Mathematical model; Power engineering and energy; Programming; Software systems; User interfaces;
Conference_Titel :
Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. First ACM and IEEE International Conference on
Conference_Location :
Mont Saint Michel, France
Print_ISBN :
0-7695-1923-7
DOI :
10.1109/MEMCOD.2003.1210103
