FORMAL MODELING OF CONTROLLING SOFTWARE FOR SYSTEMS WITH MANUAL ERROR RECOVERY

摘要

In this paper we discuss formal modeling of software for control systems with manual error recovery. Developing controlling software is a complex task and spans over several engineering domains. We demonstrate how to structure controlling software so that the results of simulation of environment's behavior can be taken into account from the early stages of software development. Moreover, we derive the guidelines for structuring models of complex systems with manual error recovery. Our models expressed in the action system formalism - a sound mathematical framework for reasoning about software correctness. Hence, the proposed approach allows us to ensure dependability of developed systems.