Book Volume 1165 1996

Formal Methods for Industrial Applications

Specifying and Programming the Steam Boiler Control

Editors:

ISBN: 978-3-540-61929-1 (Print) 978-3-540-49566-6 (Online)

Table of contents (25 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. No Access

    Chapter

    Pages 1-12

    The steam boiler case study: Competition of formal program specification and development methods

  3. No Access

    Chapter

    Pages 13-34

    Structural synthesis of programs from refined user requirements (Programming boiler control in NUT)

  4. No Access

    Chapter

    Pages 35-51

    Using Focus, Lustre and probability theory for the design of a reliable control program

  5. No Access

    Chapter

    Pages 52-78

    Refining abstract machine specifications of the steam boiler control to well documented executable code

  6. No Access

    Chapter

    Pages 79-108

    An algebraic specification of the Steam-Boiler Control System

  7. No Access

    Chapter

    Pages 109-128

    A steam-boiler control specification with statecharts and Z

  8. No Access

    Chapter

    Pages 129-148

    An action system approach to the steam boiler problem

  9. No Access

    Chapter

    Pages 149-164

    The Steam Boiler problem in Lustre

  10. No Access

    Chapter

    Pages 165-183

    The steam-boiler problem — A TLT solution

  11. No Access

    Chapter

    Pages 184-202

    The real-time behavior of the steam-boiler

  12. No Access

    Chapter

    Pages 203-217

    Specifying and verifying the Steam Boiler Problem with SPIN

  13. No Access

    Chapter

    Pages 218-232

    TRIO specification of a steam boiler controller

  14. No Access

    Chapter

    Pages 233-264

    A formal specification of the Steam-Boiler Control problem by algebraic specifications with implicit state

  15. No Access

    Chapter

    Pages 265-282

    Using HyTech to synthesize control parameters for a steam boiler

  16. No Access

    Chapter

    Pages 283-317

    A VDM specification of the steam-boiler problem

  17. No Access

    Chapter

    Pages 318-338

    Proving safety properties of the steam boiler controller

  18. No Access

    Chapter

    Pages 339-358

    Steam boiler control specification problem: A TLA solution

  19. No Access

    Chapter

    Pages 359-378

    Specifying optimal design for a steam-boiler system

  20. No Access

    Chapter

    Pages 379-402

    An object-oriented algebraic steam-boiler control specification

  21. No Access

    Chapter

    Pages 403-427

    Refinement from a control problem to programs

previous Page of 2