Kaffeepause 11:15 - 11:45
08:50 Uhr
Safety & Security by Design
Bridges Over Troubled Water
Details anzeigen
Autor:innen:
Dr. Markus Fockel | Fraunhofer IEM | Germany
Roman Trentinaglia | Fraunhofer IEM | Germany
Sprache:
Deutsch
Zielgruppe:
Manager von Safety- und Security-relevanten Projekten
Voraussetzungen:
keine
Überblick und Zusammenfassungen:
Viele Embedded-Systeme, z.B. in Fahrzeugen, sind Safety-kritisch, weil Sie im Falle einer Fehlfunktion Menschenleben gefährden könnten. Die Systeme sind aber auch zunehmend vernetzt (z.B. Car2X, Industrie 4.0), was eine Security-kritische Angriffsfläche bedeutet. Damit gibt es keine Safety ohne Security! Die Bedrohungslage steigt und Gesetze und Normen sollen Gegensteuern.
Dieser Beitrag zeigt, wie wir Brücken zwischen den beiden Welten bauen und somit Safety & Security "by design" erreichen. Wir berichten aus Projekten mit Partnern aus Automotive und Maschinen- & Anlagenbau, in denen tool-gestützte Analyse- und Bewertungsmethoden entstanden sind.
Art der Vermittlung:
Methodenerklärung an Projektbeispielen
Nutzen:
Neue Methoden und Erfahrungen zur gemeinsamen Betrachtung von Safety und Security kennenlernen
09:45 Uhr
*** Programmänderung*** Ausfallwahrscheinlichkeiten entzaubern
Markov-Modelle anwenden
10:34 Uhr
*** ENTFÄLLT*** Tackling Design Changes with MBSE and the AMALTHEA Platform
Metamodels and relational supported heuristics to generate safety related artifacts
Details anzeigen
Autor:innen:
Prof. Dr. Nuno Silva | Critical Software SA | Portugal
Carlos Silva | Critical Software | Portugal
Sprache:
English
Zielgruppe:
Safety Engineers
Voraussetzungen:
System modelling and safety related activities
Überblick und Zusammenfassungen:
With the growing complexity and importance that nowadays safety-critical systems have in our daily lives, the effort required to provide sound safety related argumentation is also increasing. Hazard driven techniques, used by domain experts, are commonly used as part of the safety assurance process where system hazards are identified, and their foreseen risks mitigated to an acceptable level. Such activities are usually manually performed in a laborious and time-consuming process where the results reusability is not guarantee when the system design changes. This paper proposes a way of tackling these concerns using typical MBSE methodologies, supported by the AMALTHEA platform, to provide comprehensive system models that are enhanced with safety relevant information. Relying on a systematic approach and a set of very simple heuristics, this work presents a way of generating safety related artefacts directly from relationship between model components. This case study delves into a conceptual Insulin Pump system, modelled in AMALTHEA, where a model supported methodology was used to tackle the issues associated to system design changes, by providing a straightforward and comprehensive way of obtaining FTAs and FMEAs artefacts directly from the annotated system model, in a fully automated way. Safety relevant evidence and foreseen impacts are thus automatically extracted from the models when design changes, without requiring significant manual intervention.
Art der Vermittlung:
Method explanation and pratical demo
Nutzen:
Coping with design changes by providing an automatic way for generating safety related artefacts
11:45 Uhr
Software Reuse (Englisch)
Qualification of existing and legacy code
Details anzeigen
Autor:in:
Andrew Banks | LDRA
Sprache:
English
Zielgruppe:
Software development and engineering
Voraussetzungen:
None required
Überblick und Zusammenfassungen:
The process for developing new software in accordance with the functional safety standards is well understood.
However, software reuse is prevalent, and this brings complications… how should software developed in accordance with one standard, which may not fully conform with another standard, be approved? Or how should software developed for one context, be adopted in a different context.
Equally, the adoption of open source (which is typically not developed in accordance with any standard) brings its own challenges… how can that existing code base be approved for use?
This paper will explore the challenges of software re-use, and how existing (especially open-source) software can be qualified for use in safety-critical applications.
Art der Vermittlung:
Practical examples and methodologies
Nutzen:
This paper will explore the challenges of software re-use, and how existing (especially open-source) software can be qualified for use in safety-critical applications.