A model-based approach to reactive self-configuring systems 论文

摘要

This paper describes Livingstone, an implemented ker-nel for a self-reconfiguring autonomous system, that is reactive and uses component-based eclarative mod-els. The paper presents a formal characterization of the representation formalism used in Livingstone, and reports on our experience with the implementa-tion in a variety of domains. Livingstone’s represen-tation formalism achieves broad coverage of hybrid software/hardware systems by coupling the concur-rent transition system models underlying concurrent reactive languages with the discrete qualitative rep-resentations developed in model-based reasoning. We achieve a reactive system that performs significant de-ductions in the sense/response loop by drawing on our