William Otte, Abhishek Dubey, Subhav Pradhan, Prithviraj Patil, Aniruddha S. Gokhale, Gabor Karsai, Johnny Willemsen
16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2013, Paderborn, Germany, June 19-21, 2013 2013
Space computing platforms present unique challenges with limited resources, dynamic network conditions, and critical security requirements. F6COM is innovative in designing a component model tailored specifically for space environments, providing fine-grained control over component interactions, security policies, and execution states while maintaining simplicity and efficiency.
This paper presents F6COM, a component model for resource-constrained and dynamic space-based computing environments like fractionated spacecraft. The model provides abstractions for composing reusable software components while supporting fault management, security constraints, and dynamic reconfiguration in resource-limited platforms.
The F6COM component model demonstrates support for multiple interaction patterns (synchronous, asynchronous, timed), contract-based programming with pre/post-conditions, and complex component lifecycle management. The architecture successfully balances robustness and flexibility needed for space mission applications while remaining resource-efficient.
@inproceedings{Otte2013,
author = {Otte, William and Dubey, Abhishek and Pradhan, Subhav and Patil, Prithviraj and Gokhale, Aniruddha S. and Karsai, Gabor and Willemsen, Johnny},
booktitle = {16th {IEEE} International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, {ISORC} 2013, Paderborn, Germany, June 19-21, 2013},
title = {F6COM:} {A} component model for resource-constrained and dynamic space-based computing environments},
year = {2013},
pages = {1--8},
abstract = {Component-based programming models are well-suited to the design of large-scale, distributed applications because of the ease with which distributed functionality can be developed, deployed, and validated using the models' compositional properties. Existing component models supported by standardized technologies, such as the OMG's CORBA Component Model (CCM), however, incur a number of limitations in the context of cyber physical systems (CPS) that operate in highly dynamic, resource-constrained, and uncertain environments, such as space environments, yet require multiple quality of service (QoS) assurances, such as timeliness, reliability, and security. To overcome these limitations, this paper presents the design of a novel component model called F6COM that is developed for applications operating in the context of a cluster of fractionated spacecraft. Although F6COM leverages the compositional capabilities and port abstractions of existing component models, it provides several new features. Specifically, F6COM abstracts the component operations as tasks, which are scheduled sequentially based on a specified scheduling policy. The infrastructure ensures that at any time at most one task of a component can be active - eliminating race conditions and deadlocks without requiring complicated and error-prone synchronization logic to be written by the component developer. These tasks can be initiated due to (a) interactions with other components, (b) expiration of timers, both sporadic and periodic, and (c) interactions with input/output devices. Interactions with other components are facilitated by ports. To ensure secure information flows, every port of an F6COM component is associated with a security label such that all interactions are executed within a security context. Thus, all component interactions can be subjected to Mandatory Access Control checks by a Trusted Computing Base that facilitates the interactions. Finally, F6COM provides capabilities to monitor task execution deadlines and to configure component-specific fault mitigation actions.},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/bib/conf/isorc/OtteDPPGKW13},
category = {selectiveconference},
contribution = {lead},
doi = {10.1109/ISORC.2013.6913199},
file = {:Otte2013-F6COM_A_Component_Model.pdf:PDF},
keywords = {component models, space systems, fractionated spacecraft, cyber-physical systems, resource-constrained computing, fault management},
project = {cps-reliability,cps-middleware},
tag = {platform},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
url = {https://doi.org/10.1109/ISORC.2013.6913199}
}