Safety and Certification Process

SafeTRANS addresses the following challenges in its research area Safety and Certification Process

• Safety: to develop an integrated approach to hazard-/risk analysis and system development.
• Certification: to develop a formalised certification basis.

Example Projects

SFB/TR 14 AVACS. The DFG-funded Collaborative Transregional Research Center AVACS (Automatic Verification and Analysis of Complex Systems, http://www.avacs.org) is carried out jointly between the CvO University Oldenburg (coordinating university), Albert-Ludwigs University Freiburg and Saarland University, the Max-Planck Institute Informatik in Saarbrücken and ETH Zurich. The project addresses the rigorous mathematical analysis of models of complex safety critical computerized systems, such as aircrafts, trains, cars, or other artifacts, whose failure can endanger human life. It aims to advance the state of the art in automatic verification and analysis techniques from its current level, where it is applicable only to isolated facets (e.g., concurrency, time, continuous control, stability, dependability), to a level allowing a comprehensive and holistic verification of such systems.

Depnet. The Airbus Network of Excellence on Dependable Systems Depnet combines the leading European research partners of Airbus in the field of safety analysis, the University of York, Onera, and OFFIS, to define the future roadmap for its safety and dependability processes. Participating partners from Airbus include the leading safety experts in Airbus Germany, France, and UK. This project is directly funded by Airbus.

ESACS / ISAAC. Within the Growth project ESACS, a model-based methodology and tools supporting the current safety assessment process used in aircraft industry (ARP 4754) were developed and - jointly with the main European aircraft manufacturers - applied to several industrial case studies. The FP-6 project ISAAC extends the model-based safety analysis approach developed in ESACS to cover common cause analyses, impact of human errors, and operational aspects. The ESAC/ISAAC results have achieved high attention in a recent EUROCAE/SAE meeting and are expected to impact future versions of ARP 4754.

OPRAIL. This BMBF project provides a process for the development of on board train systems conformant to the ETCS standard, meeting the requirements of CENELEC norms 50126, 50128, and 50129 on the software and systems development process and the RAMS process.

Trustsoft. The successful deployment of software systems depends on the extent we trust these systems. It is crucial to understand that trust is a much border concept than security. In fact, trust is given by several properties, such as safety, correctness, reliability, availability, privacy, performance, and certification. The graduate school Trustsoft contributes to this comprehensive view on trusted software systems by bundling the Oldenburg computing science competences with those of computer law.

Euro-Interlocking. The Euro-Interlocking is a consortium of 31 railways and suppliers with the objective of significantly reducing the life cycle costs of interlocking systems in Europe. Both the DLR and OFFIS are participating, with OFFIS being a member of the steering board as well as the process advisory board.

NoE ARTIST - Advanced Real-Time Systems. The Network of Excellence ARTIST and its successor project ARTIST2 combine the leading European Research Centers on the development of real-time systems in developing roadmaps for R&D.

ViSEK, VSEK - Virtuelles Software-Engineering-Kompetenzzentrum. These BMBF funded projects aim at providing easy access for SMEs to key competences in software-engineering, through providing a comprehensive knowledge base through its portal http://www.software-kompetenz.de/

ERTMS Operational Rules. Within the working team "Exhaustiveness" of the Operational Rules Group (EEIG Users Group) it will be traced whether all the requirements of the system requirements specification for ETCS are represented in the operational rules. The goal is to develop harmonized Europe-wide operational rules, to prove their exhaustiveness and to validate the functional analysis, and to identify national deviations.

UNISIG – Union of European Railway Signal Industries. Within the UNISIG Test sequences project DLR defines the interoperability test cases and test sequences for train onboard equipments together with Alstom, Bombardier, Siemens and others. These sequences are validated in the laboratory RailSiTe®. These test cases and sequences named SUBSET 76 will become part of the Technical Specification for Interoperability (TSI) of the European Commission.

GESy. In the Graduate School GESy, young scientists develop new processes and methods for safety critical embedded systems in transportation systems.

Link Menü

Alternativ gelangen Sie auch hier zu den verschiedenen Anwendungsdomänen und Forschungsgebieten.

• Anwendungsdomänen
  • Automotive
  • Avionics
  • Railway Systems
• Forschungsgebiete
  • Human Centered Engineering
  • System/Embedded Software Development Process
  • Safety and Certification Process