Abstract
Programming complex embedded systems involves reasoning through intricate system interactions along paths between sensors, actuators and control processors. This is a time-consuming and error-prone process. Furthermore, the resulting code generally lacks modularity and robustness. Model-based programming addresses these limitations, allowing engineers to program by specifying high-level control strategies and by assembling common-sense models of the system hardware and software. To execute a control strategy, model-based executives reason about the models “on the fly”, to track system state, diagnose faults and perform reconfigurations. This paper describes the Reactive Model-based Programming Language (RMPL) and its executive, called Titan. RMPL provides the features of synchronous reactive languages within a constraint-based modeling framework, with the added ability of being able to read and write to state variables that are hidden within the physical plant.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Young, T., et al.: Report of the Mars Program Independent Assessment Team. NASA Tech. Rep. (March 2000)
Williams, B. C., Nayak, P.: A Model-Based Approach to Reactive Self-configuring Systems. In: Proceedings of AAAI-96, Vol. 2. AAAI Press, Menlo Park, CA, USA (1996) 971–978
Williams, B. C., Nayak, P.: A Reactive Planner for a Model-Based Executive. In: Proceedings of IJCAI-97, Vol. 2. Morgan Kaufmann, San Francisco, CA, USA (1997) 1178–1185
Ingham, M., Ragno, R., Williams, B. C.: A Reactive Model-Based Programming Language for Robotic Space Explorers. In: Proceedings of IS AIR AS-01. Montreal, Canada (2001)
Chung, S., Van Eepoel, J., Williams, B.C.: Improving Model-Based Mode Estimation Through Offline Compilation. In: Proceedings of ISAIRAS-01. Montreal, Canada (2001)
Kim, P., Williams, B. C., Abramson, M.: Executing Reactive Model-Based Programs Through Graph-Based Temporal Planning. In: Proceedings of IJCAI-01, Vol. 1. Morgan Kaufmann, San Francisco, CA, USA (2001) 487–493
Bernard, D., et al.: Design of the Remote Agent Experiment for Spacecraft Autonomy. In: Proceedings of the IEEE Aerospace Conference. Snowmass at Aspen, CO, USA (1999)
Ingham, M., et al.: Autonomous Sequencing and Model-Based Fault Protection for Space Interferometry. In: Proceedings of ISAIRAS-01. Montreal, Canada (2001)
Goodrich, C., Kurien, J., Continuous Measurements and Quantitative Constraints-Challenge Problems for Discrete Modeling Techniques. In: Proceedings of ISAIRAS-01. Montreal, Canada (2001)
Berry, G., Gonthier, G.: The Synchronous Programming Language ESTEREL: Design, Semantics, Implementation. Science of Computer Programming, Vol. 19, No. 2. (1992) 87–152
Harel, D.: Statecharts: A Visual Formulation for Complex Systems. Science of Computer Programming, Vol. 8, No. 3. (1987) 231–274
Gupta, V., Jagadeesan, R., Saraswat, V.: Models of Concurrent Constraint Programming. In: Proceedings of the International Conference on Concurrency Theory (CONCUR 1996), Lecture Notes in Computer Science, Vol. 1119. Springer-Verlag, Berlin Heidelberg (1996) 66–83
Davis, R.: Diagnostic Reasoning Based on Structure and Behavior. Artificial Intelligence, Vol. 24. (1984) 347–410
Williams, B.C., Chung, S., Gupta, V.: Mode Estimation of Model-Based Programs: Monitoring Systems with Complex Behavior. In: Proceedings of IJCAI-01, Vol. 1. Morgan Kaufmann, San Francisco, CA, USA (2001) 579–590
Williams, B.C., Ragno, R. J.: Conflict-Directed A* and its Role in Model-Based Embedded Systems. To appear: Journal of Discrete Applied Mathematics
Di Pierro, A., Wiklicky, H.: An Operational Semantics for Probabilistic Concurrent Constraint Programming. In: Proceedings of the International Conference on Computer Languages (ICCL 98). IEEE Computer Society Digital Library (1998) 174–183
Gat, E.: ESL: A Language for Supporting Robust Plan Execution in Embedded Autonomous Agents. In: Plan Execution: Problems and Issues. Papers from the 1996 Fall Symposium. AAAI Press, Menlo Park, CA, USA (1996) 59–64
Firby, R. J.: The RAP Language Manual. In: Animate Agent Project Working Note AAP-6, University of Chicago. Chicago, IL, USA (March 1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Williams, B.C., Ingham, M.D. (2002). Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State. In: Van Hentenryck, P. (eds) Principles and Practice of Constraint Programming - CP 2002. CP 2002. Lecture Notes in Computer Science, vol 2470. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46135-3_34
Download citation
DOI: https://doi.org/10.1007/3-540-46135-3_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44120-5
Online ISBN: 978-3-540-46135-7
eBook Packages: Springer Book Archive