Skip to search formSkip to main contentSkip to account menu
COMDES-II: A Component-Based Framework for Generative Development of Distributed Real-Time Control Systems
TLDR
The paper introduces the established generative methodology for COMDES-II from a general perspective, describes the component models in details and demonstrates their application through a DC-Motor control system case study.
View on IEEE
Design Models for Reusable and Reconfigurable State Machines
TLDR
The paper presents design models of reusable and reconfigurable state machines that have been conceived in the context of the COMDES framework and in particular – the State Logic Controller and the Hybrid State logic Controller, whose principles of operation are presented in the paper.
View via Publisher
Coevolution of variability models and code: an industrial case study
TLDR
This work investigates code artifacts and variability models of a real-world Software Product Line over time in order to clarify whether code and variability model evolve congeneric, and suggests and test metrics that would allow detecting variability erosion in the code based on changes in the variability model.
View on ACM
A Component-Based Framework for Distributed Control Systems
TLDR
The paper presents a two-level software framework for distributed embedded applications that comprises a composition of embedded actors that communicate transparently by exchanging labeled messages (signals), independent of their allocation onto network nodes.
View on IEEE
Verification of COMDES-II Systems Using UPPAAL with Model Transformation
TLDR
The proposed approach adopts UPPAAL timed automata as the semantic units, to which different behavioral concerns of COMDES-II are anchored, such that a COM DES-II system can be precisely specified in UPPAal, and verified against a set of desired requirements with the preservation of system original operation semantics.
View on IEEE
A (Re)Configuration Mechanism for Resource-Constrained Embedded Systems
TLDR
This paper presents a configuration mechanism and a tool supporting the process of configuration, which makes it possible to automatically generate application binaries out of COMDES application specifications.
View on IEEE
Component-Based Design of Embedded Software: An Analysis of Design Issues
TLDR
An analysis of the true nature of embedded systems, which is predominantly real-time control and monitoring systems, has been used to formulate the guidelines used to develop COMDES – a software framework for distributed embedded applications.
View via Publisher
Variability evolution and erosion in industrial product lines: a case study
TLDR
To address various erosion symptoms, a large-scale industrial product line over a period of four years is investigated, and a set of appropriate metrics and measurement approaches are researched in a goal-oriented way and interpreted the results including identified erosion symptoms.
View on ACM
Identifying improvement potential in evolving product line infrastructures: 3 case studies
TLDR
This paper investigates how to achieve "good enough" variability management during the evolution of variation in software design and implementation assets and presents a customizable goal-based approach which helps to identify improvement potential in existing core assets to ease evolution.
View on ACM
A Run-Time Environment Supporting Real-Time Execution of Embedded Control Applications
TLDR
A real-time kernel implementing the run-time environment - the HARTEXmu kernel that has been specifically developed for COMDES-II systems and features Boolean vector processing that eliminates the need for linked-list queues, resulting in constant execution time of kernel functions independent of the number of tasks involved.
View on IEEE
...
...
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License