VIP-MoBaSA
Project Members: Agnes Madalinski (Project Leader), Michael Lipaczewski, Marco Filax, Tanja Hebecker, Severin Orth
Project Time: 1.10.2012 - 30.9.2015
Funded By: Bundesministerium für Bildung und Forschung
More and more functions in complex technical systems are realized in software. This leads to the term of "software-intensive systems". However, many of these systems require highest dependability standards as system failure might cause injuries or even deaths. Traditional techniques for safety analysis and methods for software design are no longer sufficient. In academia, and particularly in our research group, several new model-based methods to solve this problem have been developed in the last decade.
In our project "Validation of innovation potentials of model-based safety analysis methods (VIP-MoBaSA)", we will bring these methods from the academic level to industrial application. This is a considerable software engineering challenge as it requires not only professional design and implementation, but also legal certification of the methods themselves in order to be usable in industry projects. As part of the project, we will demonstrate that implementation and certification are both possible in the exemplary domain of railroad systems. The project volume is about 1.8 million Euro and will involve five full-time, third party-funded researchers for three years at the CSE research group.
Publikationen
2016
- Filax, Marco; Gonschorek, Tim; Ortmeier, Frank (2016): Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models. In: Publishing, Springer International (Hrsg.): Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings, S. 106 - 122, 2016, ISBN: 978-3-319-33951-1.
- Filax, Marco; Gonschorek, Tim; Hebecker, Tanja; Lipaczewski, Michael; Madalinski, Agnes; Ortmeier, Frank; Fietze, Mario; Schumacher, Rolf (2016): Bringing formal methods “on the rail” - Modellbasierte Systemanalyse in der Sicherheitsnachweisführung. In: Der Eisenbahn Ingenieur, S. 24 -27, 2016.
2014
- Filax, Marco; Gonschorek, Tim; Lipaczewski, Michael; Ortmeier, Frank (2014): On Traceability of Informal Specifications for Model-Based Verification. In: IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment., S. 11-18, Magdeburg : Univ., 2014.
- Lipaczewski, Michael; Filax, Marco; Ortmeier, Frank (2014): Bringing VECS to the World - Challenges and Accomplishments in Teaching of Formal Model Analysis. In: European Conference on Software Engineering Education. - Herzogenrath : Shaker, S. 217-228, 2014.
- Gonschorek, Tim; Filax, Marco; Lipaczewski, Michael; Ortmeier, Frank (2014): VECS - Verification Enviroment for Critical Systems - Tool Supported Formal Modeling an Verification. In: IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment. - Magdeburg : Univ., S. 63-64, 2014.
- Nykolaichuk, Mykhaylo; Lipaczewski, Michael; Liebusch, Tino; Ortmeier, Frank (2014): On Efficiently Specifying Models for Model Checking. In: Proceedings of 4th International Symposium on Model Based Safety and Assessment (IMBSA 2014), 2014.
- Heumüller, Robert; Lipaczewski, Michael; Ortmeier, Frank (2014): A Dataflow Notation for SAML - Formal Modeling Without Fearing Timing Constraints. In: IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment. - Magdeburg : Univ., S. 43-50, 2014.
2013
2012
- Ortmeier, Frank; Struck, Simon; Lipaczewski, Michael (2012): Using Model-Based Analysis in Certification of Critical Software-Intensive Systems. In: Softwareengineering 2012 Workshopband, 2012, ISBN: 978-3-88579-293-2.
- Struck, Simon; Güdemann, Matthias; Lipaczewski, Michael; Ortmeier, Frank (2012): Multi-Objective Optimization of Formal Specifications. IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE 2012), 2012.
- Lipaczewski, Michael; Struck, Simon; Ortmeier, Frank (2012): SAML goes Eclipse - Combining Model-Based Safety Analysis and High-Level Editor Support. Proceedings of the 2nd International Workshop on Developing Tools as Plug-Ins (TOPI), IEEE, 2012.
- Lipaczewski, Michael; Struck, Simon; Ortmeier, Frank (2012): Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development. IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE 2012), 2012.
- Güdemann, Matthias; Lipaczewski, Michael; Struck, Simon; Ortmeier, Frank (2012): Unifying Probabilistic and Traditional Formal Model-Based Analysis. Proceedings of 8. Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES), 2012.
2011
