Sciweavers

EMSOFT
2005
Springer

Using separation of concerns for embedded systems design

14 years 4 months ago
Using separation of concerns for embedded systems design
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissible component interactions. We show that this separation of concerns does not imply that component behaviors can be defined in isolation from their envisioned interaction models. We argue that a type of behavior/interaction co-design must be employed to successfully leverage the separation of these concerns. We present formal techniques for accomplishing this co-design and describe tools that implement these formalisms. Categories and Subject Descriptors D.2.2 [Software]: Software Engineering—Design Tools and Techniques; D.3.1 [Software]: Programming Languages— Formal Definitions and Theory General Terms Design, Languages, Theory Keywords Models of Computation, Embedded Systems, Multiple-Aspect Modeling, Separation of Concerns
Ethan K. Jackson, Janos Sztipanovits
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where EMSOFT
Authors Ethan K. Jackson, Janos Sztipanovits
Comments (0)