An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Structural Testing of Component-Based Systems
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Timing analysis for a composable mode switch
ACM SIGBED Review - Work-in-Progress (WiP) Session of the 23rd Euromicro Conference on Real-Time Systems (ECRTS 2011)
Compositional real-time models
Journal of Systems Architecture: the EUROMICRO Journal
Towards mode switch handling in component-based multi-mode systems
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
H: A component-based specification language for heterogeneous applications
Computer Standards & Interfaces
Mode switch handling for the ProCom component model
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Journal of Systems Architecture: the EUROMICRO Journal
Hi-index | 0.00 |
The paper presents a generative development methodology and component models of COMDES-II, a component-based software framework for distributed embedded control systems with real-time constraints. The adopted methodology allows for rapid modeling and validation of control software at a higher level of abstraction, from which a system implementation in C can be automatically synthesized. To achieve this objective, COMDES-II defines formally various kinds of components to address the critical requirements of the targeted domain, taking into consideration both the architectural and behavioral aspects of the system. Accordingly, a system can be hierarchically composed from reusable components with heterogeneous models of computation, whereas behavioral aspects of interest are specified independently, following the principle of separation-of-concerns. 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.