A software platform for fractionated spacecraft
- 1 March 2012
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
A fractionated spacecraft is a cluster of independent modules that interact wirelessly to maintain cluster flight and realize the functions usually performed by a monolithic satellite. This spacecraft architecture poses novel software challenges because the hardware platform is inherently distributed, with highly fluctuating connectivity among the modules. It is critical for mission success to support autonomous fault management and to satisfy real-time performance requirements. It is also both critical and challenging to support multiple organizations and users whose diverse software applications have changing demands for computational and communication resources, while operating on different levels and in separate domains of security. The solution proposed in this paper is based on a layered architecture consisting of a novel operating system, a middleware layer, and component-structured applications. The operating system provides primitives for concurrency, synchronization, and secure information flows; it also enforces application separation and resource management policies. The middleware provides higher-level services supporting request/response and publish/subscribe interactions for distributed software. The component model facilitates the creation of software applications from modular and reusable components that are deployed in the distributed system and interact only through well-defined mechanisms. Two cross-cutting aspects - multi-level security and multi-layered fault management - are addressed at all levels of the architecture. The complexity of creating applications and performing system integration is mitigated through the use of a domain-specific model-driven development process that relies on a dedicated modeling language and its accompanying graphical modeling tools, software generators for synthesizing infrastructure code, and the extensive use of model-based analysis for verification and validation.Keywords
This publication has 10 references indexed in Scilit:
- Infrastructure for component-based DDS application developmentPublished by Association for Computing Machinery (ACM) ,2011
- A component model for hard real-time systems: CCM with ARINC-653Software: Practice and Experience, 2011
- Distributed diagnosis of complex systems using timed failure propagation graph modelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2010
- Use of PERC Pico in the AIDA avionics platformPublished by Association for Computing Machinery (ACM) ,2009
- Distributed Resource Kernels: OS Support for End-To-End Resource IsolationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2008
- Transitioning from federated avionics architectures to Integrated Modular AvionicsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2007
- CAmkES: A component model for secure microkernel-based embedded systemsJournal of Systems and Software, 2007
- The Value Proposition for Fractionated Space ArchitecturesPublished by American Institute of Aeronautics and Astronautics (AIAA) ,2006
- Highly-available services using the primary-backup approachPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Object structures for real-time systems and simulatorsComputer, 1997