Safety-Critical Systems Research Lab
The Institute for Applied Mathematics and Physics promotes technological progress in the field of systems critical to safety by offering interdisciplinary competence and experience in the following areas:
- Functional safety of complex programmable systems;
- Quantitative safety analyses;
- Formal specification, development and verification methods.
We place these aspects in the context of development processes, safety and RAMS management, and verification and validation, with our goals ranging from the development of certified products and systems all the way up through to the Declaration of Conformity and the CE label.
Combined with our expertise in the areas of system theory, the modeling and simulation of complex systems, statistical and probabilistic analysis and formal verification methods, we offer our industrial partners the broad range of technical knowledge required to successfully implement innovative solutions for use in applications critical to safety which require the design, analysis, and validation of complex programmable (processor-based or FPGA-based) systems critical to safety. Especially if:
- Risk analyses of highly dynamic and complex systems and processes are required;
- The use of existing standards is not obviously possible.
The links below lead to selected project examples. You can find additional information on the page Projects.