Engineering Complex Embedded Systems with State Analysis and the Mission Data System
暂无分享,去创建一个
Michel D. Ingham | Robert D. Rasmussen | Matthew B. Bennett | Alex C. Moncada | R. Rasmussen | M. Ingham | M. Bennett | A. Moncada
[1] P. Pandurang Nayak,et al. A Model-Based Approach to Reactive Self-Configuring Systems , 1996, AAAI/IAAI, Vol. 2.
[2] Glenn Reeves,et al. Software architecture themes in JPL's mission data system , 1999 .
[3] P. Pandurang Nayak,et al. Back to the Future for Consistency-Based Trajectory Tracking , 2000, AAAI/IAAI.
[4] D. Dvorak,et al. State knowledge representation in the Mission Data System , 2002, Proceedings, IEEE Aerospace Conference.
[5] Brian C. Williams,et al. Model-based programming of intelligent embedded systems and robotic space explorers , 2003, Proc. IEEE.
[6] Anthony Barrett,et al. Mission planning and execution within the Mission Data System , 2004 .
[7] Daniel L. Dvorak,et al. Project Golden Gate: towards real-time Java in space missions , 2004, Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings..