DEPLOY Success Stories

DEPLOY success stories are classified by industrial application domains but you may also access them through the FAQ for the specific theme they cover. At longer term, list will be extended to other success stories. Here is a list of other Famous FM Success Stories

Aerospace Domain

 * Formal Data Validation of Flight Configuration Data

Automotive Domain

 * Requirements Quality Improvements through Requirements Modelling


 * Problem Frames Work as a Bridge from Informal Requirements to Formal Models

Business Information Domain

 * Adoption Eased by Using Formal Models behind Domain Specific Notations


 * Benefits of Model-Based Test Automation

Chip Design and Smart Card Domains

 * Event-B for the synthesizable VHDL


 * Deploying Event-B in an Industrial Microprocessor Development

Operating Systems

 * Design of a Real-Time Operating System

Space Domain

 * Improved Capacity to Model and Prove Complex Systems in the Space Sector

Transportation Domain

 * Process Changes and Productivity Improvements From Adoption in the Siemens Development Process


 * Productivity Improvement of Data Consistency in Transportation Models


 * Early Detection of Design Flaws in Transportation System Specification Process


 * Qualification of a Formal Data Consistency Verification Tool


 * Formal proofs for the NYCT line 7 (Flushing) modernization project