ModES: Embedded Systems Design Methodology and Tools based on MDE
MOMPES '07 Proceedings of the Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
From the prototype to the final embedded system using the Ocarina AADL tool suite
ACM Transactions on Embedded Computing Systems (TECS)
Copilot: a hard real-time runtime monitor
RV'10 Proceedings of the First international conference on Runtime verification
Who guards the guardians?: toward v&v of health management software
RV'10 Proceedings of the First international conference on Runtime verification
Application of software health management techniques
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
A Model-Driven Framework for the Development of Portable Real-Time Embedded Systems
ICECCS '11 Proceedings of the 2011 16th IEEE International Conference on Engineering of Complex Computer Systems
Journal of Systems Architecture: the EUROMICRO Journal
The Case for Software Health Management
SMC-IT '11 Proceedings of the 2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology
An MDE-Based Approach for Reconfigurable DRE Systems
WETICE '12 Proceedings of the 2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
Hi-index | 0.00 |
Fractionated spacecraft are clusters of small, independent modules that interact wirelessly to realize the functionality of a traditional monolithic spacecraft. System F6 (F6 stands for Future, Fast, Flexible, Fractionated, Free-Flying spacecraft) is a DARPA program for fractionated spacecraft. Software applications in F6 are implemented in the context of the F6 Information Architecture Platform (IAP), which provides component-based abstractions for composing distributed applications. The lifecycle of these distributed applications must be managed autonomously by a deployment and configuration (D&C) infrastructure, which can redeploy and reconfigure the running applications in response to faults and other anomalies that may occur during system operation. Addressing these D&C requirements is hard due to the significant fluctuation in resource availabilities, constraints on resources, and safety and security concerns. This paper presents the key architectural ideas that are required in realizing such a D&C infrastructure.