Abhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan
2012
Fractionated spacecraft require sophisticated software architectures that balance flexibility, security, and fault management while operating on resource-constrained platforms. This work is innovative in developing a layered architecture that provides essential system services while maintaining clean separation of concerns and enabling rapid development of mission applications.
This paper presents a software platform architecture for fractionated spacecraft that integrates operating system services, middleware, and component models into a unified system. The architecture provides services for deployment, operations management, dictionary management, and fault management across distributed spacecraft nodes.
The F6MDA architecture demonstrates a complete software platform with F6OS operating system, F6ORB middleware for inter-component communication, and F6COM component model. The platform successfully supports deployment of satellite cluster applications with multi-level security and dynamic fault management capabilities.
@techreport{Dubey2012b,
author = {Dubey, Abhishek and Karsai, Gabor and Mahadevan, Nagabhushan},
institution = {Institute for Software Integrated Systems, Vanderbilt University},
title = {Formalization of a Component Model for Real-time Systems},
year = {2012},
month = {04/2012},
number = {ISIS-12-102},
abstract = {Component-based software development for real-time systems necessitates a well-defined {\textquoteleft}component model{\textquoteright} that allows compositional analysis and reasoning about systems. Such a model defines what a component is, how it works, and how it interacts with other components. It is especially important for real-time systems to have such a component model, as many problems in these systems arise from poorly understood and analyzed component interactions. In this paper we describe a component model for hard real-time systems that relies on the services of an ARINC-653 compliant real-time operating system platform. The model provides high-level abstractions of component interactions, both for the synchronous and asynchronous case. We present a formalization of the component model in the form of timed transition traces. Such formalization is necessary to be able to derive interesting system level properties such as fault propagation graphs from models of component assemblies. We provide a brief discussion about such system level fault propagation templates for this component model.},
attachments = {http://www.isis.vanderbilt.edu/sites/default/files/ISIS-12-102-TechReport.pdf},
contribution = {lead},
file = {:Dubey2012b-Formalization_of_a_Component_Model_for_Real-time_Systems.pdf:PDF},
issn = {ISIS-12-102},
keywords = {software platform architecture, fractionated spacecraft, operating systems, middleware, component models, fault management, security},
tag = {platform}
}