Third expert workshop underlines industrial demand for formal methods
On Thursday, 8 September 2016, the Chair of Software Engineering at Otto von Guericke University Magdeburg, headed by Prof. Dr. Frank Ortmeier, successfully hosted the third expert workshop on the topic of "Application of innovative model-based safety analysis methods in the approval process of safety-critical applications". Over a period of 5 years, the Magdeburg researchers developed - in close cooperation with the Federal Railway Authority and independent experts - a new methodology for integrating model-based analysis techniques into the safety life cycle in accordance with existing industry standards, in particular DIN EN 61508, DIN EN 50128 and DIN EN 50129.
This process has already been tested several times for effectiveness and practical applicability with representatives from companies in the rail sector. The third expert workshop was also in great demand and was attended by high-caliber experts from renowned companies such as Deutsche Bahn AG, Thales, Siemens and Bombardier.
The successful integration of the process and tools in the Verification Environment for Critical Systems (VECS) analysis environment created for this purpose was rated positively by the experts in many cases. Thanks to their technical expertise, valuable suggestions and opportunities for further cooperation were identified in direct discussions. The further development of VECS to industrial maturity will be driven forward jointly by XITASO GmbH in the future.
- Poster Model-based safety analysis - PZB application example
- Poster Model-based safety analysis - Efficient use of formal models in the certification process
- Poster VECS
