Modular hierarchies of models for embedded systems

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.

[1]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[2]  Manfred Broy,et al.  Using extended event traces to describe communication in software architectures , 1997, Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference.

[3]  Ivar Jacobson,et al.  Object-Oriented Software Engineering , 1991, TOOLS.

[4]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[5]  Manfred Broy,et al.  A Graphical Description Technique for Communication in Software Architectures , 1997 .

[6]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.

[7]  Jan A. Bergstra,et al.  Process Algebra with Signals and Conditions , 1990 .

[8]  Manfred Broy,et al.  Towards a formal foundation of the specification and description language SDL , 2005, Formal Aspects of Computing.

[9]  Bernhard Rumpe,et al.  Formale Methodik des Entwurfs verteilter objektorientierter Systeme , 1996, Datenbank Rundbr..

[10]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[11]  Michael Jackson,et al.  Four dark corners of requirements engineering , 1997, TSEM.

[12]  Manfred Broy.  Refinement of time , 2001, Theor. Comput. Sci..

[13]  Grady Booch,et al.  Object-Oriented Design with Applications , 1990 .

[14]  Itu-T.  Specification and Description Language (SDL) , 1999 .

[15]  Manfred Broy,et al.  Specification and development of interactive systems: focus on streams, interfaces, and refinement , 2001 .

[16]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[17]  James E. Rumbaugh,et al.  Object-Oriented Modelling and Design , 1991 .