Engineering complex embedded systems with state analysis and the mission data system

Journal of Aerospace Computing, Information and Communication

Volumn 2, Issue 12, 2005, Pages 507-536

  Ingham, Michel D ^a,b,c   Rasmussen, Robert D ^a,d   Bennett, Matthew B ^a,b   Moncada, Alex C ^a,b  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^b Flight Software Systems Engineering and Architecture Group   (United States)

^c AIAA   (United States)

^d Systems and Software Division   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX AEROSPACE SYSTEMS; COMPLEX SPACECRAFT DESIGNS; FUNCTIONAL DECOMPOSITION; STATE ANALYSIS;

AVIATION; DATA REDUCTION; LARGE SCALE SYSTEMS; LOGIC DESIGN; MATHEMATICAL MODELS; SOFTWARE ENGINEERING; SPACECRAFT;

EMBEDDED SYSTEMS;

EID: 33744741931     PISSN: 15429423     EISSN: 15429423     Source Type: Journal    
DOI: 10.2514/1.15265     Document Type: Article

References (11)

1. Dvorak, D., Rasmussen, R., Reeves, G., and Sacks, A., "Software architecture themes in JPL's Mission Data System," Proceedings of the AIAA Guidance, Navigation, and Control Conference, number AIAA-99-4553, 1999.
2. Dvorak, D., Rasmussen, R., and Starbird, T., "State Knowledge Representation in the Mission Data System," Proceedings of the IEEE Aerospace Conference, 2002.
3. Bennett, M., and Rasmussen, R., "Modeling Relationships Using Graph State Variables," Proceedings of the IEEE Aerospace Conference, 2002.
4. Harel, D., "Statecharts: A visual formulation for complex systems," Science of Computer Programming, Vol. 8, No. 3, 1987, pp. 231-274.
5. Barrett, A., Knight, R., Morris, R., and Rasmussen, R., "Mission Planning and Execution Within the Mission Data System," Proceedings of the International Workshop on Planning and Scheduling for Space, 2004.
6. Chung, S., Decomposed symbolic approach to reactive planning, S.M. Thesis, Massachusetts Institute of Technology, Department of Aeronautics and Astronautics, Cambridge, MA, 2003.
7. Booch, G., Rumbaugh, J., and Jacobson, I., The Unified Modeling Language User Guide, Addison Wesley Longman, Inc., 1999.
8. th National Conference on Artificial Intelligence (AAAI-96), Vol. 2, 1996, pp. 971-978.
9. th National Conference on Artificial Intelligence (AAAI-02), 2000, pp. 370-377.
10. Williams, B. C., Ingham, M., Chung, S., and Elliott, P., "Model-based programming of intelligent embedded systems and robotic space explorers," Proceedings of the IEEE, Vol. 91, No. 1, 2003, pp. 212-337.
11. th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004.