Buch, Englisch, Band 1165, 523 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 785 g
Specifying and Programming the Steam Boiler Control
Buch, Englisch, Band 1165, 523 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 785 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-61929-1
Verlag: Springer Berlin Heidelberg
The 21 papers included in the book, together with an introduction and competition report, were selected from 33 candidate solutions. This book comes with a CD-ROM containing, besides the printed papers, executable code, full definitions of all parts of the specifications, and detailed descriptions of foundational matters where appropriate.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
- Interdisziplinäres Wissenschaften Wissenschaften: Forschung und Information Informationstheorie, Kodierungstheorie
- Mathematik | Informatik EDV | Informatik Daten / Datenbanken Informationstheorie, Kodierungstheorie
- Mathematik | Informatik EDV | Informatik Technische Informatik Externe Speicher & Peripheriegeräte
- Mathematik | Informatik EDV | Informatik Technische Informatik Netzwerk-Hardware
- Technische Wissenschaften Technik Allgemein Mathematik für Ingenieure
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Prozedurale Programmierung
Weitere Infos & Material
The steam boiler case study: Competition of formal program specification and development methods.- Structural synthesis of programs from refined user requirements (Programming boiler control in NUT).- Using Focus, Lustre and probability theory for the design of a reliable control program.- Refining abstract machine specifications of the steam boiler control to well documented executable code.- An algebraic specification of the Steam-Boiler Control System.- A steam-boiler control specification with statecharts and Z.- An action system approach to the steam boiler problem.- The Steam Boiler problem in Lustre.- The steam-boiler problem — A TLT solution.- The real-time behavior of the steam-boiler.- Specifying and verifying the Steam Boiler Problem with SPIN.- TRIO specification of a steam boiler controller.- A formal specification of the Steam-Boiler Control problem by algebraic specifications with implicit state.- Using HyTech to synthesize control parameters for a steam boiler.- A VDM specification of the steam-boiler problem.- Proving safety properties of the steam boiler controller.- Steam boiler control specification problem: A TLA solution.- Specifying optimal design for a steam-boiler system.- An object-oriented algebraic steam-boiler control specification.- Refinement from a control problem to programs.- VDM specification of the steam-boiler control using RSL notation.- Assertional specification and verification using PVS of the steam boiler control system.- Specifying and verifying the steam boiler control system with Time Extended LOTOS.- Simulation of a steam-boiler.- Steam-boiler control specification problem.