Ebook: Formal Development of Reactive Systems: Case Study Production Cell

This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell. Mathematically precise, formal methods play an increasingly important role in software development, particularly in areas where failure of software would result in injury to people or, at best, significant loss of money. By analyzing the benefits and explaining the use and limitations of formal methods on a sample basis, this book provides a roadmap for the selection and application of appropriate approaches and thus helps in putting formal methods into industrial use.

---

This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell. Mathematically precise, formal methods play an increasingly important role in software development, particularly in areas where failure of software would result in injury to people or, at best, significant loss of money. By analyzing the benefits and explaining the use and limitations of formal methods on a sample basis, this book provides a roadmap for the selection and application of appropriate approaches and thus helps in putting formal methods into industrial use.

---

This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell. Mathematically precise, formal methods play an increasingly important role in software development, particularly in areas where failure of software would result in injury to people or, at best, significant loss of money. By analyzing the benefits and explaining the use and limitations of formal methods on a sample basis, this book provides a roadmap for the selection and application of appropriate approaches and thus helps in putting formal methods into industrial use.
Content:
Front Matter....Pages -
Introduction....Pages 1-6
Task description....Pages 7-19
Comparative survey....Pages 21-54
CSL....Pages 55-74
Esterel....Pages 75-100
Lustre....Pages 101-112
Signal....Pages 113-129
Statecharts....Pages 131-149
TLT....Pages 151-169
SDL....Pages 171-183
Focus....Pages 185-197
Spectrum....Pages 199-228
KIV....Pages 229-245
Tatzelwurm....Pages 247-259
HTTDs and HOL....Pages 261-276
Raise....Pages 277-293
Deductive synthesis....Pages 295-309
Symbolic Timing Diagrams....Pages 311-331
LCM and MCM....Pages 333-355
Modula-3....Pages 357-371
TROLL light....Pages 373-381
Simulation....Pages 383-394
Back Matter....Pages -

---

This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell. Mathematically precise, formal methods play an increasingly important role in software development, particularly in areas where failure of software would result in injury to people or, at best, significant loss of money. By analyzing the benefits and explaining the use and limitations of formal methods on a sample basis, this book provides a roadmap for the selection and application of appropriate approaches and thus helps in putting formal methods into industrial use.
Content:
Front Matter....Pages -
Introduction....Pages 1-6
Task description....Pages 7-19
Comparative survey....Pages 21-54
CSL....Pages 55-74
Esterel....Pages 75-100
Lustre....Pages 101-112
Signal....Pages 113-129
Statecharts....Pages 131-149
TLT....Pages 151-169
SDL....Pages 171-183
Focus....Pages 185-197
Spectrum....Pages 199-228
KIV....Pages 229-245
Tatzelwurm....Pages 247-259
HTTDs and HOL....Pages 261-276
Raise....Pages 277-293
Deductive synthesis....Pages 295-309
Symbolic Timing Diagrams....Pages 311-331
LCM and MCM....Pages 333-355
Modula-3....Pages 357-371
TROLL light....Pages 373-381
Simulation....Pages 383-394
Back Matter....Pages -
....