A formal component framework for distributed embedded systems

Authors:
Christo Angelov;Krzysztof Sierszecki;Nicolae Marian;Jinpeng Ma
Affiliations:
Mads Clausen Institute for Product Innovation, University of Southern Denmark, Soenderborg, Denmark;Mads Clausen Institute for Product Innovation, University of Southern Denmark, Soenderborg, Denmark;Mads Clausen Institute for Product Innovation, University of Southern Denmark, Soenderborg, Denmark;Mads Clausen Institute for Product Innovation, University of Southern Denmark, Soenderborg, Denmark
Venue:
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Year:
2006

Citing 9
Cited 2

Real-time object-oriented modeling

Real-time object-oriented modeling
Completeness and Consistency in Hierarchical State-Based Requirements

IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects

IEEE Transactions on Software Engineering
Real-Time Systems: Design Principles for Distributed Embedded Applications

Real-Time Systems: Design Principles for Distributed Embedded Applications
Modelling Distributed Control Systems Using IEC 61499

Modelling Distributed Control Systems Using IEC 61499
System-Level Types for Component-Based Design

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
A Software Framework for Component-Based Embedded Applications

APSEC '04 Proceedings of the 11th Asia-Pacific Software Engineering Conference
Design models for reusable and reconfigurable state machines

EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
Component-Based design of embedded software: an analysis of design issues

FIDJI'04 Proceedings of the 4th international conference on Scientific Engineering of Distributed Java Applications

UM-RTCOM: An analyzable component model for real-time distributed systems

Journal of Systems and Software
H: A component-based specification language for heterogeneous applications

Computer Standards & Interfaces

Quantified Score

Hi-index	0.00

Visualization

Abstract

The widespread use of embedded systems mandates the development of industrial software design methods based on formal models (frameworks) and prefabricated components. This paper presents a formal specification of the COMDES framework, focusing on the main architectural issues and the specific line of reasoning that was followed while developing a hierarchy of executable models describing relevant aspects of system structure and behaviour. The above framework has been used to systematically define a hierarchy of reusable and reconfigurable components – simple and composite function blocks, reconfigurable state machines and function units – implementing the executable models presented in the paper.