Книга "Formal Methods Applied to Complex Systems" представляет собой сборник реальных примеров применения формальных методов в промышленном контексте. Она охватывает такие формальные методы, как SCADE и/или метод B, в различных областях, таких как железнодорожный транспорт, авиация и автомобильная промышленность. Цель книги - представить обзор опыта использования "формальных методов" (основанных на формальных техниках, таких как доказательство, абстрактная интерпретация и проверка моделей) в промышленных примерах сложных систем на основе опыта людей, занятых в создании и оценке программного обеспечения безопасности критически важных систем. Участие людей из промышленности позволяет авторам избежать обычных проблем конфиденциальности, которые могут возникнуть, и тем самым позволяет им предоставить новую полезную информацию (фотографии, планы архитектуры, реальные примеры и т.д.). Авторы охватывают следующие темы: пример использования SCADE, решение ограничений в методе B, проверка Petri-сетей для автоматической железнодорожной безопасности, проверка данных и т.д.
This book provides practical examples of using formal techniques in industry. It discusses formal methods like Automata theory, PDPA, Proof, Model Checking, Abstract Interpretation and more. The aim of the book is to investigate the use of "formal methods" in real projects involving complex systems, focusing on lessons learned from people currently engaged building and evaluating safety-critical system software. By tapping into internal knowledge, the authors are able to bypass the common issue of confidentiality that can occur, thus allowing them to share new and useful information like photos, architecture diagrams, real world examples, and more. Covered topics include:
#программы
