Implementation of a Large-Scale Direct Load Control System???Some Critical Factors

123 A single-chip computer for robust va

123 A single-chip computer for robust variable-structure control of large-scale safety-critical systems: N.E. Gough, W.A. Halang, pp 39–44

📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 107 KB

We show how formal methods can be used to assist in developing requirements of a safety-critical system. The approach is to express the requirements in temporal logic, and then to develop a process model satisfying the requirements. The existence of such a model ensures the requirements are consiste