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

• Type: Conference
• Year: 2005
• Where: EMSOFT
• Authors: Ethan K. Jackson, Janos Sztipanovits
• Keywords: Admissible Component Interactions, Behavior/interaction Co-design, Component Behaviors, EMSOFT 2005