A software platform for fractionated spacecraft

IEEE Aerospace Conference Proceedings

Volumn , Issue , 2012, Pages

  Dubey, Abhishek ^a   Emfinger, William ^a   Gokhale, Aniruddha ^a   Karsai, Gabor ^a   Otte, William R ^a   Parsons, Jeffrey ^a   Szabó, Csanád ^a   Coglio, Alessandro ^b   Smith, Eric ^b   Bose, Prasanta ^c  

^a VANDERBILT UNIVERSITY   (United States)

^b KESTREL INSTITUTE   (United States)

^c LOCKHEED MARTIN SPACE SYSTEMS COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION RESOURCES; COMPONENT MODEL; CROSS-CUTTING; DISTRIBUTED SOFTWARE; DISTRIBUTED SYSTEMS; DOMAIN SPECIFIC; FAULT MANAGEMENT; GRAPHICAL MODELING; HARDWARE PLATFORM; LAYERED ARCHITECTURE; MIDDLEWARE LAYER; MISSION SUCCESS; MODEL DRIVEN DEVELOPMENT; MODEL-BASED ANALYSIS; MODELING LANGUAGES; MULTI-LAYERED; MULTI-LEVEL SECURITY; MULTIPLE ORGANIZATIONS; PUBLISH/SUBSCRIBE; REAL TIME PERFORMANCE; RESOURCE MANAGEMENT POLICY; REUSABLE COMPONENTS; SECURE INFORMATION FLOW; SOFTWARE APPLICATIONS; SOFTWARE PLATFORMS; SPACECRAFT ARCHITECTURE; SYSTEM INTEGRATION; VERIFICATION AND VALIDATION;

COMPUTER SOFTWARE REUSABILITY; MIDDLEWARE; SPACECRAFT; VERIFICATION;

INFORMATION MANAGEMENT;

EID: 84861163278     PISSN: 1095323X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AERO.2012.6187334     Document Type: Conference Paper

References (26)

1. O. Brown and P. Eremenko, "The Value Proposition for Fractionated Space Architectures," AIAA Paper 2006-7506, 2006.
2. Model Driven Architecture (MDA) Guide V1.0.1, OMG Document omg/03-06-01 ed., Object Management Group, Jun. 2003.
3. D. E. Bell and L. J. LaPadula, "Secure computer systems: Mathematical foundations," MITRE, Technical Report 2547, Volume I, 1973.
4. C.Watkins and R.Walter, "Transitioning from federated avionics architectures to integrated modular avionics,"in Digital Avionics Systems Conference, 2007. DASC '07. IEEE/AIAA 26th, oct. 2007, pp. 2.A.1-1 -2.A.1-10.
5. G. Birkhoff, Lattice Theory, 3rd ed., ser. Colloquium Publications. American Mathematical Society, 1967.
6. Olin Sibert et al., "Multiple-domain labels," in preparation.
7. T. Nipkow, L. C. Paulson, and M.Wenzel, Isabelle/HOL -A Proof Assistant for Higher-Order Logic. Springer-Verlag, October 2011. [Online]. Available: http: //www.cl.cam.ac.uk/research/hvg/Isabelle
8. A. Franchi, A. Howell, and J. Sengupta, "Broadband mobile via satellite Inmarsat BGAN," IEE Seminar Digests, vol. 2000, no. 67, pp. 23-23, 2000. [Online]. Available: http://dx.doi.org/10.1049/ic:20000547
9. The Common Object Request Broker: Architecture and Specification Version 3.1, Part 1: CORBA Interfaces, OMG Document formal/2008-01-04 ed., Object Management Group, Jan. 2008.
10. Data Distribution Service for Real-time Systems Specification, OMG Document formal/2007-01-01 ed., Object Management Group, Jan. 2007.
11. CORBA/e Adopted Specification, OMG Document formal/2008-11-06 ed., Object Management Group, Nov. 2008.
12. Object Management Group, DDS for Lightweight CCM Version 1.0 Beta 2, OMG Document ptc/2009-10-25 ed., Object Management Group, Oct. 2009.
13. W. R. Otte, D. C. Schmidt, A. Gokhale, and J. Willemsen, "Infrastructure for Component-Based DDS Application Development," in To Appear in the Proceedings of the Tenth International Conference on Generative Programming and Component Engineering (GPCE'11), Oct. 2011.
14. The Common Object Request Broker: Architecture and Specification Version 3.1, Part 3: CORBA Component Model, OMG Document formal/2008-01-08 ed., Object Management Group, Jan. 2008.
15. N. Budhiraja, K. Marzullo, F. B. Schneider, and S. Toueg, "The Primary-backup Approach," in Distributed systems (2nd Ed.). New York, NY, USA: ACM Press/Addison-Wesley Publishing Co., 1993, pp. 199-216.
16. Deployment and Configuration of Component-based Distributed Applications, v4.0, Document formal/2006-04-02 ed., OMG, Apr. 2006.
17. W. R. Otte, D. C. Schmidt, and A. Gokhale, "Towards an Adaptive Deployment and Configuration Framework for Component-based Distributed Systems," in Proceedings of the 9thWorkshop on Adaptive and Reflective Middleware (ARM '10), Bengarulu, India, Nov. 2010.
18. N. Mahadevan, S. Abdelwahed, A. Dubey, and G. Karsai, "Distributed Diagnosis of Complex Systems using Timed Failure Propagation Graph Models," in AUTOTESTCON, 2010 IEEE. IEEE, 2010, pp. 1-6.
19. J. Balasubramanian, S. Tambe, C. Lu, A. Gokhale, C. Gill, and D. C. Schmidt, "Adaptive Failover for Realtime Middleware with Passive Replication," in Proceedings of the 15th Real-time and Embedded Applications Symposium (RTAS '09), San Francisco, CA, Apr. 2009, pp. 118-127.
20. J. Balasubramanian, A. Gokhale, F. Wolf, A. Dubey, C. Lu, C. Gill, and D. C. Schmidt, "Resource-Aware Deployment and Configuration of Fault-tolerant Realtime Systems," in Proceedings of the 16th IEEE Realtime and Embedded Technology and Applications Symposium (RTAS '10), Stockholm, Sweden, Apr. 2010, pp. 69-78.
21. K. Kim, "Object structures for real-time systems and simulators," Computer, vol. 30, no. 8, pp. 62-70, Aug 1997.
22. I. Kuz, Y. Liu, I. Gorton, and G. Heiser, "CAmkES: A component model for secure microkernel-based embedded systems," Journal of Systems and Software, vol. 80, no. 5, pp. 687-699, 2007.
23. J. Delange, L. Pautet, and P. Feiler, "Validating safety and security requirements for partitioned architectures,"in Ada-Europe '09: Proceedings of the 14th Ada- Europe International Conference on Reliable Software Technologies. Berlin, Heidelberg: Springer-Verlag, June 2009, pp. 30-43.
24. T. Schoofs, E. Jenn, S. Leriche, K. Nilsen, L. Gauthier, and M. Richard-Foy, "Use of PERC Pico in the AIDA avionics platform," in JTRES '09: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009, pp. 169-178.
25. K. Lakshmanan and R. Rajkumar, "Distributed resource kernels: OS support for end-to-end resource isolation,"Real-Time and Embedded Technology and Applications Symposium, IEEE, vol. 0, pp. 195-204, 2008.
26. A. Dubey, G. Karsai, and N. Mahadevan, "A component model for hard real-time systems: CCM with ARINC-653," Software: Practice and Experience, vol. 41, no. 12, pp. 1517-1550, 2011. [Online]. Available: http://dx.doi.org/10. 1002/spe.1083