A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
IEEE Transactions on Computers
An infrastructure for the rapid development of XML-based architecture description languages
Proceedings of the 24th International Conference on Software Engineering
A Middleware Infrastructure for Active Spaces
IEEE Pervasive Computing
The Vision of Autonomic Computing
Computer
Think: A Software Framework for Component-based Operating System Kernels
ATEC '02 Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference
Approaching a Discrete-Continuous UML: Tool Support and Formalization
Workshop of the pUML-Group held together with the «UML»2001 on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists
Masaccio: A Formal Model for Embedded Components
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Modular Specification of Hybrid Systems in CHARON
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Olympus: A High-Level Programming Model for Pervasive Computing Environments
PERCOM '05 Proceedings of the Third IEEE International Conference on Pervasive Computing and Communications
Nano-kernel: a dynamically reconfigurable kernel for WSN
Proceedings of the 1st international conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications
Design tradeoffs for SSD performance
ATC'08 USENIX 2008 Annual Technical Conference on Annual Technical Conference
A journey to highly dynamic, self-adaptive service-based applications
Automated Software Engineering
AlfredO: an architecture for flexible interaction with electronic devices
Proceedings of the 9th ACM/IFIP/USENIX International Conference on Middleware
Taming Dynamically Adaptive Systems using models and aspects
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Computer
AutoHome: An Autonomic Management Framework for Pervasive Home Applications
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Model-driven development with Mechatronic UML
Graph transformations and model-driven engineering
Proceedings of the 33rd International Conference on Software Engineering
On the performance of UML state machine interpretation at runtime
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
A model-driven approach to develop adaptive firmwares
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
A component-based middleware platform for reconfigurable service-oriented architectures
Software—Practice & Experience
Toward a model-driven access-control enforcement mechanism for pervasive systems
Proceedings of the Workshop on Model-Driven Security
A process for continuous validation of self-adapting component based systems
Proceedings of the 7th Workshop on Models@run.time
A rule-based contextual reasoning platform for ambient intelligence environments
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
Hi-index | 0.00 |
Cyber Physical Systems (CPS) offer new ways for people to interact with computing systems: every thing now inte- grates computing power that can be leveraged to provide safety, assistance, guidance or simply comfort to users. CPS are long living and pervasive systems that intensively rely on microcontrollers and low power CPUs, integrated into build- ings (e.g. automation to improve comfort and energy opti- mization) or cars (e.g. advanced safety features involving car-to-car communication to avoid collisions). CPS operate in volatile environments where nodes should cooperate in opportunistic ways and dynamically adapt to their context. This paper presents ¼-Kevoree, the projection of Kevoree (a component model based on models@runtime) to microcon- trollers. ¼-Kevoree pushes dynamicity and elasticity con- cerns directly into resource-constrained devices. Its evalua- tion regarding key criteria in the embedded domain (mem- ory usage, reliability and performance) shows that, despite a contained overhead, ¼-Kevoree provides the advantages of a dynamically reconfigurable component-based model (safe, fine-grained, and efficient reconfiguration) compared to tra- ditional techniques for dynamic firmware upgrades.