Theorem Proving in Real-Time Systems Control

I. Introduction to Systems Control 1. Foundation: The conventional design of a 'real-time' controller application specific, computer based, software system. This design embeds the rules and operational procedures of the real- time system in to software or specially designed data tables. In either case, the system controller requires software modifications for procedural changes or rule additions. These modifications are expensive because they require experts in software systems who are also familiar in the real-time system. This design also requires accurate documentation for the real-time system because the system rules and procedures are not in their original form but transformed into software or data.