Model-Based Programming of Intelligent Embedded Systems Through Offline Compilation

  IJETT-book-cover  International Journal of Engineering Trends and Technology (IJETT)          
  
© 2011 by IJETT Journal
Volume-2 Issue-2                          
Year of Publication : 2011
Authors : K. Sundar Srinivas, K. Naga Lakshmi Kalyani
 

Citation

K. Sundar Srinivas, K. Naga Lakshmi Kalyani. "Model-Based Programming of Intelligent Embedded Systems Through Offline Compilation". International Journal of Engineering Trends and Technology (IJETT),V2(2):24-27 Sep to Oct 2011. ISSN:2231-5381. www.ijettjournal.org. Published by Seventh Sense Research Group.

Abstract

Many recent and future space missions point to the need for increased autonomy in spacecraft with an emphasis on more capable fault diagnostic systems. The most wid ely used fault diagnostic systems are rule - based. Rule - based systems have quick response to events and clearly present to engineers the predefined reactions to events. These systems, however, require engineers to manually generate all necessary rules and t hese do not convey the assumed model the engineers used to generate the rules. Contrarily, model - based systems eliminate the need to manually generate the rules. Programming complex embedded systems involves reasoning through intricate system interactions along lengthy paths between sensors, actuators, and control processors. This is a challenging, time - consuming, and error - prone process requiring significant interaction between engineers and software programmers. Furthermore, the resulting code generally l acks modularity and robustness in the presence of failure. Model - based programming addresses these limitations, allowing engineers to program reactive systems by specifying high - level control strategies and by assembling commonsense models of the system ha rdware and software .

References

[1] T. Young et al. . (2000) Report of the Mars Prog ram Independent Assessment Team. NASA, Washington, DC. [Online] Available: http://www.nasa.gov/newsinfo/marsreports.html
[2] J. Casani et al. , “Report on the Loss of the Mars Polar Lander and Deep Space 2 Missions,” NASA Jet Propulsion Laboratory, Pasaden a, CA, JPL D - 18 709, 2000.
[3] B. Williams and P. Nayak. 1997. “A Reactive Planner for a Model - based Executive.” In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI - 97).
[4] B. Williams, S. Chung, and V. Gupta. Mode Est imation of Model - based Programs: “Monitoring Systems with Complex Behavior,” To appear in Proceedings of the International Joint Conference on Artificial Intelligence , Seattle,WA.2001.around when it lands, which necessitates fault diagnosis ability.

Keywords
Constraint programming, model - based autonomy, model - based execution, model - based programming.