Modellbasierte Entwicklung und Verifikation mit MATLAB, Simulink, Stateflow, TargetLink nach IEC 61508 (SIL 1-3) und ISO 26262 (ASIL A-D).
Aktualisiert am 24.08.2023
Profil
Referenzen (1)
Freiberufler / Selbstständiger
Remote-Arbeit
Verfügbar ab: 01.04.2024
Verfügbar zu: 50%
davon vor Ort: 5%
ISO 26262 Simulink Stateflow
Deutsch
sehr gut
Englisch
sehr gut
Russisch
sehr gut

Einsatzorte

Einsatzorte

München (+100km) Mindelheim (+100km)
möglich

Projekte

Projekte

4 Jahre 8 Monate
2019-06 - 2024-01

Schulungsprogramm für ISO 26262, ISO 25119 und IEC 61508

Trainer und Entwickler der digitalen Inhalte
Trainer und Entwickler der digitalen Inhalte

Basierend auf langjährigen praktischen Erfahrung auf dem Gebiet der Funktionalen Sicherheit entwickeln und vermitteln wir das nötige Wissen rund um die branchenübergreifende generische Sicherheitsnorm IEC 61508, die Automobilnorm ISO 26262 und die Traktornorm ISO 25119.

TÜV SÜD
Europa
1 Jahr
2018-07 - 2019-06

Modellbasierte Enwicklung eines Stromspeichersystems

Software-Entwickler ISO 26262 IEC 61508
Software-Entwickler

Ausgangssituation

Ein OEM benötigt Unterstützung beim Aufsetzten der Prozesse für ein Projekt im Bereich Energiemanagement (modellbasierte Entwicklung mit Simulink/Stateflow und C-Code-Generierung) gekoppelt mit hohen Anforderungen an die funktionale Sicherheit (IEC 61508 SIL-2). Ein Entwicklerteam soll aufgebaut werden.

Lösungsansatz

Ein Experte in modellbasierter Entwicklung, C-Code und IEC 61508 soll am Projekt tatkräftig mitwirken und das bestehende Entwicklungsteam aufbauen und unterstützen. Die Infrastruktur des Projektes, d.h. Softwarearchitektur, Prozesse und Entwicklungswerkzeuge, soll aufgesetzt und ausgerollt werden.

Vorgehen

Training und Coaching in modellbasierter Funktionsentwicklung, C-Code Generierung bzw. Integration, Software Verifikation nach IEC 61508. Beratung bei der Anpassung bestehender Entwicklungsprozesse an die IEC 61508 Anforderungen. Teilnahme an den strategischen Entscheidungen zur Architektur und Absicherung. Umsetzung der Prozessautomatisierung. Komplette Unterstützung eines Teams in allen Belangen rund um modellbasierte Softwareentwicklung für sicherheitsrelevante Applikationen. Unterstützung bei den Reviews und Assessments.

  • Software Architektur & Software Unit Spezifikation
  • Software Design und Simulation
  • Statische Analyse und Reviews
  • Anforderungsbasierter Unit-Test
  • Strukturelle Testüberdeckung
  • Automatische Code Generierung
  • Reviews

Nutzen

Risikominimierung bei der modellbasierten Softwareentwicklung mit hohen Anforderungen an die funktionale Sicherheit durch Expertenunterstützung in strategischen Entscheidungen. Schnelle Funktionsentwicklung und Verifikation. Konformität mit IEC 61508 SIL-2. Kompletter Transfer des Prozess-Knowhows.

MATLAB Simulink Stateflow EZTEST EZCHECK Embedded Coder Polyspace C
ISO 26262 IEC 61508
München
1 Jahr 10 Monate
2016-09 - 2018-06

Modellbasierte Entwicklung Batteriemanagement

Softwareentwickler Simulink/Stateflow/TargetLink ISO 26262 IEC 61508
Softwareentwickler Simulink/Stateflow/TargetLink

Ausgangssituation

Ein Automobilzulieferer benötigt dringend Unterstützung bei der Überarbeitung eines existierenden Projekts (modellbasierte Entwicklung mit Simulink/Stateflow) gekoppelt mit hohen Anforderungen an die funktionale Sicherheit (ISO 26262, ASIL-C). Bestehende Software Components sollen anforderungsbasiert verifiziert und ggf. angepasst werden.

 

Lösungsansatz

Ein Experte in modellbasierter Entwicklung und ISO 26262 soll am Projekt tatkräftig mitwirken und das bestehende Entwicklungsteam unterstützen.

 

Vorgehen

Modellbasierte Funktionsentwicklung, Verifikation und Code Generierung. Beratung bei der Anpassung bestehender Entwicklungsprozesse an die ISO 26262 Anforderungen. Erstellung und Validierung der Anforderungen. Entwicklung kundenspezifischer Funktionen. Umsetzung der Prozessautomatisierung. Komplette Unterstützung eines Teams in allen Belangen rund um modellbasierte Softwareentwicklung:

  • Software Architektur
  • Software Unit Spezifikation
  • Software Design und Simulation
  • Statische Analyse und Review
  • Anforderungsbasierter Unit-Test
  • Strukturelle Testüberdeckung
  • Automatische Code Generierung
  • Problem Handling

 

Nutzen

Risikominimierung bei der modellbasierten Softwareentwicklung mit hohen Anforderungen an die funktionale Sicherheit durch Expertenunterstützung in strategischen Entscheidungen. Schnelle Funktionsentwicklung und Verifikation. Konformität mit ISO 26262, ASIL-C. Termingerechte Auftragsabwicklung und Problem Handling. Kompletter Transfer des Prozess-Knowhows

MATLAB Simulink Stateflow TargetLink EZTEST EZCHECK DOORS C
ISO 26262 IEC 61508
Rietheim-Weilheim
2 Jahre 8 Monate
2014-01 - 2016-08

Optimierung der Softwareentwicklung eines Automobilkonzerns

Prozess-Entwickler ISO-26262
Prozess-Entwickler

Ausgangssituation

Im Rahmen der Optimierungsstrategie eines Automobilkonzerns im Bereich Softwareentwicklung besteht der Bedarf, die Anforderungen an die Softwareentwicklung nach ISO 26262 zu erstellen und alternative Lösungsansätze zu erarbeiten.

 

Lösungsansatz

Anforderungen an die Softwareentwicklung nach ISO 26262 erstellen. Werkzeuge zur Code Generierung und Verification aus Simulink/Stateflow-Modellen in enger Abstimmung mit Zulieferern anpassen und weiterentwickeln. Gesamtprozess, Workflows und Tools in Pilotprojekten erproben und Firmenweit ausrollen. Ansprechpartner für strategische Fragen rund um Model-Based Design involvieren. Direkte Kommunikation mit den Zulieferern der Software für statische und dynamische Verifikation der Simulink/Stateflow-Modelle sowie Code Generierung.

 

Vorgehen

Methoden und Tools in der modellbasierten Funktionsentwicklung sicherheitsrelevanter Systeme an die o.g. Anforderungen anpassen. Entwicklung firmenspezifischer Modellierungsrichtlinien und Werkzeuge zur statischen Modellanalyse. Knowhow-Aufbau durch die intensive Unterstützung und Coaching einzelner Entwickler in Pilot-Projekten:

  • Softwareentwicklung nach ISO 26262
  • Code Generierung & Verifikation
  • Statische Modellanalyse (MISRA)
  • Anforderungsbasierte Verifikation
  • Dokumentation der Artefakte

 

Nutzen

Risikominimierung durch Expertenunterstützung in strategischen Entscheidungen rund um modellbasierte Softwareentwicklung. Einheitliche Entwicklungsstrategie und abgestimmte Basis zum Aufbau der Kernkompetenz. Bereitstellung einer Entwicklungsinfrastruktur für die Modulentwicklung nach ISO26262. Organisierter Wissens- und Knowhow-Transfer zur Bildung der Synergien und Verbesserung der Produktqualität.

MATLAB Simulink Stateflow TargetLink EZCHECK EZTEST
ISO-26262
Ingolstadt
1 Jahr 6 Monate
2012-07 - 2013-12

Modelbasierte Entwicklung Spurhalteassistent ADAS

Software-Entwickler ISO-26262 Automotive SPICE ADAS
Software-Entwickler

Im Rahmen der Elektronikstrategie eines Automobilkonzerns besteht der Bedarf, eine modelbasierte Konzernbibliothek für die Entwicklung der sicherheitsrelevanten Fahrerassistenzsysteme zu erstellen.

 

Lösungsansatz

Konzepte und Rahmenbedingungen für die modellbasierte Software Entwicklung von Funktionen mit Sicherheitseinstufung nach ISO 26262 erstellen und dokumentieren. Testprozess und -methoden der Konzernbibliothek definieren und umsetzen. Gesamtprozess Konzernbibliothek zusammenführen und etablieren.

 

Vorgehen

Definition von Methoden und Tools in der modellbasierten Funktionsentwicklung sicherheitsrelevanter Systeme.. Entwicklung von Methoden und Werkzeugen zur Unit-basierter Spezifikation, Umsetzung, Verifikation und Validierung von Systemen. Entwicklung firmenspezifischer Modellierungsrichtlinien. Beschreibung der Entwicklungsprozesse und Workflow-Dokumentation. Komplette Unterstützung, Training und Coaching eines Entwickler-Teams in allen strategischen Fragen zur effizienten modellbasierten Funktionsentwicklung nach ISO-26262:

  • Software Architektur
  • Software Unit Spezifikation
  • Unit Design und statische Analyse
  • Anforderungsbasierte Unit-Verifikation
  • 100% strukturelle Testüberdeckung
  • Dokumentation der Methoden und Werkzeuge

 

Nutzen

Risikominimierung durch Expertenunterstützung in strategischen Entscheidungen rund um modellbasierte Softwareentwicklung. Einheitliche Entwicklungsstrategie und abgestimmte Funktionsbasis zum Aufbau der Kernkompetenz. Bereitstellung einer Entwicklungsinfrastruktur für die Modulentwicklung nach ISO26262. Geringer Aufwand bei der Funktionsentwicklung durch Mehrfachnutzung und Vermeidung der Doppelarbeit. Organisierter Wissens- und Knowhow-Transfer zur Bildung der Synergien und Verbesserung der Produktqualität.

MATLAB Simulink Stateflow TargetLink Embedded Coder EZTEST DOORS Simulink Verfification & Validation
ISO-26262 Automotive SPICE ADAS
Ingolstadt
6 Monate
2012-01 - 2012-06

Modellbasierte Entwicklung AUTOSAR

Software Entwickler AUTOSAR ISO 26262
Software Entwickler

Ausgangssituation

Im Rahmen der modellbasierten Softwareentwicklung bei einem Automobilhersteller besteht der Bedarf, eine einheitliche Methodik zu etablieren, um verteilte Fahrzeugfunktionen mit einem Höchstmaß an Qualität, termin- und kostengerecht in Produktivsoftware zu überführen.

 

Lösungsansatz

Ein Experte in modellbasierter Softwareentwicklung soll bei der Erarbeitung von Lösungs- und Integrationskonzepten für die modellbasierte Softwareentwicklung mitwirken und einen Leitfaden zum Einstieg in den Themenbereich AUTOSAR erstellen.

 

Vorgehen

Durchführung von mehreren Experten-Interviews und eine systematische Aufbereitung vorhandener Standard- und Werkzeugdokumentation zur Entwicklung von Architekturansätzen. Erstellung eines AUTOSAR Leitfadens und der Workflow-Dokumentation. Unterstützung eines Entwickler-Teams in allen strategischen Fragen zur effizienten modellbasierten Softwareentwicklung:

  • Software Architektur (AUTOSAR)
  • Software Umsetzung (Application Layer in Simulink)
  • Kommunikationsaspekte in AUTOSAR (Client / Server Mapping)
  • Statische und dynamische Verifikationsverfahren

 

Nutzen

Risikominimierung durch Expertenunterstützung in strategischen Entscheidungen rund um modellbasierte Softwareentwicklung. Organisierter Wissens- und Knowhow-Transfer.

MATLAB Simulink Stateflow TargetLink Embedded Coder
AUTOSAR ISO 26262
Gaimersheim
6 Monate
2011-07 - 2011-12

Modellbasierte Entwicklung Elektronische Lenkradverriegelung

Software-Entwickler IEC 61508 Automotive SPICE
Software-Entwickler

Ausgangssituation

Ein Automobilzulieferer benötigt Unterstützung bei dem Umstieg auf modellbasierte Entwicklung gekoppelt mit hohen Anforderungen an funktionale Sicherheit. Bestehende Entwicklungsprozesse sollen an die neue Werkzeugumgebung angepasst werden. Erfahrene Software Ingenieure sollen sowohl Werkzeug- als auch Prozesswissen termingerecht aufbauen.

 

Lösungsansatz

Ein Experte in modellbasierter Entwicklung soll am Projekt mitwirken und seine Kenntnisse an das Entwicklungsteam weitergeben.

 

Vorgehen

Beratung bei der Anpassung bestehender Entwicklungsprozesse an die modellbasierte Werkzeugumgebung. Evaluierung von Werkzeugen und Methoden zur standardkonformen Verifikation. Erstellung und Validierung der Anforderungen. Entwicklung firmenspezifischer Modellierungsrichtlinien. Umsetzung der Prozessautomatisierung. Komplette Unterstützung und Coaching eines Teams in allen Belangen rund um modellbasierte Softwareentwicklung:

  • Software Architektur
  • Software Unit Spezifikation
  • Software Design und Simulation
  • Statische Analyse und Review
  • Anforderungsbasierter Unit-Test
  • Strukturelle Testüberdeckung
  • Automatische Code Generierung

 

Nutzen

Risikominimierung bei der Umstellung auf die modellbasierte Softwareentwicklung durch Expertenunterstützung in strategischen Entscheidungen. Schneller Aufbau und termingerechter Transfer des Prozess-Knowhows.

MATLAB Simulink Stateflow TargetLink TPT C DOORS Simulink Verification & Validation
IEC 61508 Automotive SPICE
Rietheim-Weilheim

Aus- und Weiterbildung

Aus- und Weiterbildung

2005:

Abgeschlossenes Studium der Elektrotechnik und Mathematik (Informationstechnologie)

 

TÜV SÜD:

  • Functional Safety Professional (ISO-26262)

 

Mathworks:

  • MATLAB
  • Simulink
  • Stateflow
  • Fixed-Point Designer
  • Simulink Verification & Validation
  • Design Verifier
  • Embedded Coder

 

dSpace:

  • TargetLink (basic + advanced)

 

Esterel:

  • SCADE (basic + advanced)

 

PikeTec:

  • TPT (basic + advanced)

 

Hitex:

  • Tessy

 

TechCoaching:

  • EverCheck
  • EverTest
  • ISO 26262

Position

Position

  • Experte: Functional Safety nach ISO 26262, ISO 25119 & IEC 61508 (zertifiziert durch TÜV SÜD).
  • Experte: Modellbasierte Entwicklung mit Simulink und Stateflow inkl. Werkzeug-Umgebung.
  • Experte: Automatische C-Code-Generierung mit TargetLink und Embedded Coder.
  • Experte: Verification von Simulink/Stateflow-Modellen und C-Code nach ISO 26262, ISO 25119 & IEC 61508.
  • Experte: Entwicklung und Verifikation von Anforderungen und technischen Spezifikationen.

Kompetenzen

Kompetenzen

Top-Skills

ISO 26262 Simulink Stateflow

Aufgabenbereiche

Modellbasierte Funktionsentwicklung mit MATLAB, Simulink, Stateflow, automatischer C-Code Generierung (TargetLink oder Embedded Coder) und Verifikation nach ISO 26262.

Produkte / Standards / Erfahrungen / Methoden

Automotive SPICE
AUTOSAR
DOORS
Embedded Coder
EZCHECK
EZTEST
IEC 61508
ISO 26262
ISO-26262
Polyspace
Simulink Verfification & Validation
Simulink Verification & Validation
Stateflow
TargetLink
TPT

Modellbasierte hardwarenahe Softwareentwicklung in C und Assembler auf 8/16/32-Bit Controllern

  • Umfassende, detaillierte Kenntnisse im Software-Design von Embedded Systemen und Automotiv-ECUs mit und ohne RTOS
  • Simulation von Multirate & Multitasking Systemen
  • Fixed-Point-Umsetzung für embedded Systeme ohne FPU
  • Integration von legacy C-Code in die Simulink Modelle
  • Modellierung in MATLAB, Simulink und Stateflow
  • Modellbasierter Unit-Testing mit EZTEST nach ISO 26262
  • System-Verifikation and -Validierung durch MIL, SIL, PIL
  • Automatische C-Code Generierung mit Embedded Coder und TargetLink
  • Formale Verifikation mit Polyspace und Design Verifier
  • Integration Modellbasierter Entwürfe in Embedded-Systeme und Automotiv-ECU

 

Design- und Implementierungstechniken:

  • Prozedurales Design in C
  • Design- u. Entwicklungsstrategien für Embedded Systeme
  • Multitasking/Multirating
  • Modelling Guidelines: MAAB, MISRA AC (SLSF, GMG, TL)
  • Modellbasierte Softwareentwicklung in MATLAB/Simulink
  • Implementierung/Portierung von Simulink Modellen auf Embedded Systeme
  • Code Generierung mit Embedded Coder und TargetLink

 

Erfahrungen mit folgenden Tools/Standards:

  • Experte in ISO 26262: Functional Safety Professional
  • Automotive SPICE
  • CMMI
  • Matlab
  • Simulink
  • Stateflow
  • Embedded Coder
  • TargetLink
  • MISRA C

Programmiersprachen

C
MATLAB
Simulink
Statflow

Berechnung / Simulation / Versuch / Validierung

EverCheck
EverTest
Model-in-the-Loop Simulation (MIL)
Processor-in-the-Loop Simulation (PIL)
Software-in-the-Loop Simulation (SIL)

Automatische C-Code Generierung mit:

  • Embedded Coder
  • TargetLink

Design / Entwicklung / Konstruktion

ADAS

Model-Based Design:

  • MATLAB
  • Simulink
  • Stateflow
  • Embedded Coder
  • TargetLink

 

Formale Verifikation:

  • Design Verifier
  • PolySpace

 

Model-Verifikation:

  • EZCHECK
  • EZTEST

 

Versionierung:

  • Git

 

Spezifikation (Requirements Management):

  • DOORS
  • Word
  • Excell

 

Back-to-Back Test:

  • MIL
  • SIL
  • PIL

 

Strukturelle Analyse (Modell & C-Code):

  • Statement Coverage
  • Decision Coverage (Branch Coverage)
  • Condition Coverage
  • Modified Condition Decision Coverage (MCDC)

 

Standards:

  • ISO 26262
  • Automotive SPICE
  • MISRA-C

Branchen

Branchen

Automotive/Automobil Industrie

Machinery/Maschinenbau

Railway/Eisenbahntechnik

Einsatzorte

Einsatzorte

München (+100km) Mindelheim (+100km)
möglich

Projekte

Projekte

4 Jahre 8 Monate
2019-06 - 2024-01

Schulungsprogramm für ISO 26262, ISO 25119 und IEC 61508

Trainer und Entwickler der digitalen Inhalte
Trainer und Entwickler der digitalen Inhalte

Basierend auf langjährigen praktischen Erfahrung auf dem Gebiet der Funktionalen Sicherheit entwickeln und vermitteln wir das nötige Wissen rund um die branchenübergreifende generische Sicherheitsnorm IEC 61508, die Automobilnorm ISO 26262 und die Traktornorm ISO 25119.

TÜV SÜD
Europa
1 Jahr
2018-07 - 2019-06

Modellbasierte Enwicklung eines Stromspeichersystems

Software-Entwickler ISO 26262 IEC 61508
Software-Entwickler

Ausgangssituation

Ein OEM benötigt Unterstützung beim Aufsetzten der Prozesse für ein Projekt im Bereich Energiemanagement (modellbasierte Entwicklung mit Simulink/Stateflow und C-Code-Generierung) gekoppelt mit hohen Anforderungen an die funktionale Sicherheit (IEC 61508 SIL-2). Ein Entwicklerteam soll aufgebaut werden.

Lösungsansatz

Ein Experte in modellbasierter Entwicklung, C-Code und IEC 61508 soll am Projekt tatkräftig mitwirken und das bestehende Entwicklungsteam aufbauen und unterstützen. Die Infrastruktur des Projektes, d.h. Softwarearchitektur, Prozesse und Entwicklungswerkzeuge, soll aufgesetzt und ausgerollt werden.

Vorgehen

Training und Coaching in modellbasierter Funktionsentwicklung, C-Code Generierung bzw. Integration, Software Verifikation nach IEC 61508. Beratung bei der Anpassung bestehender Entwicklungsprozesse an die IEC 61508 Anforderungen. Teilnahme an den strategischen Entscheidungen zur Architektur und Absicherung. Umsetzung der Prozessautomatisierung. Komplette Unterstützung eines Teams in allen Belangen rund um modellbasierte Softwareentwicklung für sicherheitsrelevante Applikationen. Unterstützung bei den Reviews und Assessments.

  • Software Architektur & Software Unit Spezifikation
  • Software Design und Simulation
  • Statische Analyse und Reviews
  • Anforderungsbasierter Unit-Test
  • Strukturelle Testüberdeckung
  • Automatische Code Generierung
  • Reviews

Nutzen

Risikominimierung bei der modellbasierten Softwareentwicklung mit hohen Anforderungen an die funktionale Sicherheit durch Expertenunterstützung in strategischen Entscheidungen. Schnelle Funktionsentwicklung und Verifikation. Konformität mit IEC 61508 SIL-2. Kompletter Transfer des Prozess-Knowhows.

MATLAB Simulink Stateflow EZTEST EZCHECK Embedded Coder Polyspace C
ISO 26262 IEC 61508
München
1 Jahr 10 Monate
2016-09 - 2018-06

Modellbasierte Entwicklung Batteriemanagement

Softwareentwickler Simulink/Stateflow/TargetLink ISO 26262 IEC 61508
Softwareentwickler Simulink/Stateflow/TargetLink

Ausgangssituation

Ein Automobilzulieferer benötigt dringend Unterstützung bei der Überarbeitung eines existierenden Projekts (modellbasierte Entwicklung mit Simulink/Stateflow) gekoppelt mit hohen Anforderungen an die funktionale Sicherheit (ISO 26262, ASIL-C). Bestehende Software Components sollen anforderungsbasiert verifiziert und ggf. angepasst werden.

 

Lösungsansatz

Ein Experte in modellbasierter Entwicklung und ISO 26262 soll am Projekt tatkräftig mitwirken und das bestehende Entwicklungsteam unterstützen.

 

Vorgehen

Modellbasierte Funktionsentwicklung, Verifikation und Code Generierung. Beratung bei der Anpassung bestehender Entwicklungsprozesse an die ISO 26262 Anforderungen. Erstellung und Validierung der Anforderungen. Entwicklung kundenspezifischer Funktionen. Umsetzung der Prozessautomatisierung. Komplette Unterstützung eines Teams in allen Belangen rund um modellbasierte Softwareentwicklung:

  • Software Architektur
  • Software Unit Spezifikation
  • Software Design und Simulation
  • Statische Analyse und Review
  • Anforderungsbasierter Unit-Test
  • Strukturelle Testüberdeckung
  • Automatische Code Generierung
  • Problem Handling

 

Nutzen

Risikominimierung bei der modellbasierten Softwareentwicklung mit hohen Anforderungen an die funktionale Sicherheit durch Expertenunterstützung in strategischen Entscheidungen. Schnelle Funktionsentwicklung und Verifikation. Konformität mit ISO 26262, ASIL-C. Termingerechte Auftragsabwicklung und Problem Handling. Kompletter Transfer des Prozess-Knowhows

MATLAB Simulink Stateflow TargetLink EZTEST EZCHECK DOORS C
ISO 26262 IEC 61508
Rietheim-Weilheim
2 Jahre 8 Monate
2014-01 - 2016-08

Optimierung der Softwareentwicklung eines Automobilkonzerns

Prozess-Entwickler ISO-26262
Prozess-Entwickler

Ausgangssituation

Im Rahmen der Optimierungsstrategie eines Automobilkonzerns im Bereich Softwareentwicklung besteht der Bedarf, die Anforderungen an die Softwareentwicklung nach ISO 26262 zu erstellen und alternative Lösungsansätze zu erarbeiten.

 

Lösungsansatz

Anforderungen an die Softwareentwicklung nach ISO 26262 erstellen. Werkzeuge zur Code Generierung und Verification aus Simulink/Stateflow-Modellen in enger Abstimmung mit Zulieferern anpassen und weiterentwickeln. Gesamtprozess, Workflows und Tools in Pilotprojekten erproben und Firmenweit ausrollen. Ansprechpartner für strategische Fragen rund um Model-Based Design involvieren. Direkte Kommunikation mit den Zulieferern der Software für statische und dynamische Verifikation der Simulink/Stateflow-Modelle sowie Code Generierung.

 

Vorgehen

Methoden und Tools in der modellbasierten Funktionsentwicklung sicherheitsrelevanter Systeme an die o.g. Anforderungen anpassen. Entwicklung firmenspezifischer Modellierungsrichtlinien und Werkzeuge zur statischen Modellanalyse. Knowhow-Aufbau durch die intensive Unterstützung und Coaching einzelner Entwickler in Pilot-Projekten:

  • Softwareentwicklung nach ISO 26262
  • Code Generierung & Verifikation
  • Statische Modellanalyse (MISRA)
  • Anforderungsbasierte Verifikation
  • Dokumentation der Artefakte

 

Nutzen

Risikominimierung durch Expertenunterstützung in strategischen Entscheidungen rund um modellbasierte Softwareentwicklung. Einheitliche Entwicklungsstrategie und abgestimmte Basis zum Aufbau der Kernkompetenz. Bereitstellung einer Entwicklungsinfrastruktur für die Modulentwicklung nach ISO26262. Organisierter Wissens- und Knowhow-Transfer zur Bildung der Synergien und Verbesserung der Produktqualität.

MATLAB Simulink Stateflow TargetLink EZCHECK EZTEST
ISO-26262
Ingolstadt
1 Jahr 6 Monate
2012-07 - 2013-12

Modelbasierte Entwicklung Spurhalteassistent ADAS

Software-Entwickler ISO-26262 Automotive SPICE ADAS
Software-Entwickler

Im Rahmen der Elektronikstrategie eines Automobilkonzerns besteht der Bedarf, eine modelbasierte Konzernbibliothek für die Entwicklung der sicherheitsrelevanten Fahrerassistenzsysteme zu erstellen.

 

Lösungsansatz

Konzepte und Rahmenbedingungen für die modellbasierte Software Entwicklung von Funktionen mit Sicherheitseinstufung nach ISO 26262 erstellen und dokumentieren. Testprozess und -methoden der Konzernbibliothek definieren und umsetzen. Gesamtprozess Konzernbibliothek zusammenführen und etablieren.

 

Vorgehen

Definition von Methoden und Tools in der modellbasierten Funktionsentwicklung sicherheitsrelevanter Systeme.. Entwicklung von Methoden und Werkzeugen zur Unit-basierter Spezifikation, Umsetzung, Verifikation und Validierung von Systemen. Entwicklung firmenspezifischer Modellierungsrichtlinien. Beschreibung der Entwicklungsprozesse und Workflow-Dokumentation. Komplette Unterstützung, Training und Coaching eines Entwickler-Teams in allen strategischen Fragen zur effizienten modellbasierten Funktionsentwicklung nach ISO-26262:

  • Software Architektur
  • Software Unit Spezifikation
  • Unit Design und statische Analyse
  • Anforderungsbasierte Unit-Verifikation
  • 100% strukturelle Testüberdeckung
  • Dokumentation der Methoden und Werkzeuge

 

Nutzen

Risikominimierung durch Expertenunterstützung in strategischen Entscheidungen rund um modellbasierte Softwareentwicklung. Einheitliche Entwicklungsstrategie und abgestimmte Funktionsbasis zum Aufbau der Kernkompetenz. Bereitstellung einer Entwicklungsinfrastruktur für die Modulentwicklung nach ISO26262. Geringer Aufwand bei der Funktionsentwicklung durch Mehrfachnutzung und Vermeidung der Doppelarbeit. Organisierter Wissens- und Knowhow-Transfer zur Bildung der Synergien und Verbesserung der Produktqualität.

MATLAB Simulink Stateflow TargetLink Embedded Coder EZTEST DOORS Simulink Verfification & Validation
ISO-26262 Automotive SPICE ADAS
Ingolstadt
6 Monate
2012-01 - 2012-06

Modellbasierte Entwicklung AUTOSAR

Software Entwickler AUTOSAR ISO 26262
Software Entwickler

Ausgangssituation

Im Rahmen der modellbasierten Softwareentwicklung bei einem Automobilhersteller besteht der Bedarf, eine einheitliche Methodik zu etablieren, um verteilte Fahrzeugfunktionen mit einem Höchstmaß an Qualität, termin- und kostengerecht in Produktivsoftware zu überführen.

 

Lösungsansatz

Ein Experte in modellbasierter Softwareentwicklung soll bei der Erarbeitung von Lösungs- und Integrationskonzepten für die modellbasierte Softwareentwicklung mitwirken und einen Leitfaden zum Einstieg in den Themenbereich AUTOSAR erstellen.

 

Vorgehen

Durchführung von mehreren Experten-Interviews und eine systematische Aufbereitung vorhandener Standard- und Werkzeugdokumentation zur Entwicklung von Architekturansätzen. Erstellung eines AUTOSAR Leitfadens und der Workflow-Dokumentation. Unterstützung eines Entwickler-Teams in allen strategischen Fragen zur effizienten modellbasierten Softwareentwicklung:

  • Software Architektur (AUTOSAR)
  • Software Umsetzung (Application Layer in Simulink)
  • Kommunikationsaspekte in AUTOSAR (Client / Server Mapping)
  • Statische und dynamische Verifikationsverfahren

 

Nutzen

Risikominimierung durch Expertenunterstützung in strategischen Entscheidungen rund um modellbasierte Softwareentwicklung. Organisierter Wissens- und Knowhow-Transfer.

MATLAB Simulink Stateflow TargetLink Embedded Coder
AUTOSAR ISO 26262
Gaimersheim
6 Monate
2011-07 - 2011-12

Modellbasierte Entwicklung Elektronische Lenkradverriegelung

Software-Entwickler IEC 61508 Automotive SPICE
Software-Entwickler

Ausgangssituation

Ein Automobilzulieferer benötigt Unterstützung bei dem Umstieg auf modellbasierte Entwicklung gekoppelt mit hohen Anforderungen an funktionale Sicherheit. Bestehende Entwicklungsprozesse sollen an die neue Werkzeugumgebung angepasst werden. Erfahrene Software Ingenieure sollen sowohl Werkzeug- als auch Prozesswissen termingerecht aufbauen.

 

Lösungsansatz

Ein Experte in modellbasierter Entwicklung soll am Projekt mitwirken und seine Kenntnisse an das Entwicklungsteam weitergeben.

 

Vorgehen

Beratung bei der Anpassung bestehender Entwicklungsprozesse an die modellbasierte Werkzeugumgebung. Evaluierung von Werkzeugen und Methoden zur standardkonformen Verifikation. Erstellung und Validierung der Anforderungen. Entwicklung firmenspezifischer Modellierungsrichtlinien. Umsetzung der Prozessautomatisierung. Komplette Unterstützung und Coaching eines Teams in allen Belangen rund um modellbasierte Softwareentwicklung:

  • Software Architektur
  • Software Unit Spezifikation
  • Software Design und Simulation
  • Statische Analyse und Review
  • Anforderungsbasierter Unit-Test
  • Strukturelle Testüberdeckung
  • Automatische Code Generierung

 

Nutzen

Risikominimierung bei der Umstellung auf die modellbasierte Softwareentwicklung durch Expertenunterstützung in strategischen Entscheidungen. Schneller Aufbau und termingerechter Transfer des Prozess-Knowhows.

MATLAB Simulink Stateflow TargetLink TPT C DOORS Simulink Verification & Validation
IEC 61508 Automotive SPICE
Rietheim-Weilheim

Aus- und Weiterbildung

Aus- und Weiterbildung

2005:

Abgeschlossenes Studium der Elektrotechnik und Mathematik (Informationstechnologie)

 

TÜV SÜD:

  • Functional Safety Professional (ISO-26262)

 

Mathworks:

  • MATLAB
  • Simulink
  • Stateflow
  • Fixed-Point Designer
  • Simulink Verification & Validation
  • Design Verifier
  • Embedded Coder

 

dSpace:

  • TargetLink (basic + advanced)

 

Esterel:

  • SCADE (basic + advanced)

 

PikeTec:

  • TPT (basic + advanced)

 

Hitex:

  • Tessy

 

TechCoaching:

  • EverCheck
  • EverTest
  • ISO 26262

Position

Position

  • Experte: Functional Safety nach ISO 26262, ISO 25119 & IEC 61508 (zertifiziert durch TÜV SÜD).
  • Experte: Modellbasierte Entwicklung mit Simulink und Stateflow inkl. Werkzeug-Umgebung.
  • Experte: Automatische C-Code-Generierung mit TargetLink und Embedded Coder.
  • Experte: Verification von Simulink/Stateflow-Modellen und C-Code nach ISO 26262, ISO 25119 & IEC 61508.
  • Experte: Entwicklung und Verifikation von Anforderungen und technischen Spezifikationen.

Kompetenzen

Kompetenzen

Top-Skills

ISO 26262 Simulink Stateflow

Aufgabenbereiche

Modellbasierte Funktionsentwicklung mit MATLAB, Simulink, Stateflow, automatischer C-Code Generierung (TargetLink oder Embedded Coder) und Verifikation nach ISO 26262.

Produkte / Standards / Erfahrungen / Methoden

Automotive SPICE
AUTOSAR
DOORS
Embedded Coder
EZCHECK
EZTEST
IEC 61508
ISO 26262
ISO-26262
Polyspace
Simulink Verfification & Validation
Simulink Verification & Validation
Stateflow
TargetLink
TPT

Modellbasierte hardwarenahe Softwareentwicklung in C und Assembler auf 8/16/32-Bit Controllern

  • Umfassende, detaillierte Kenntnisse im Software-Design von Embedded Systemen und Automotiv-ECUs mit und ohne RTOS
  • Simulation von Multirate & Multitasking Systemen
  • Fixed-Point-Umsetzung für embedded Systeme ohne FPU
  • Integration von legacy C-Code in die Simulink Modelle
  • Modellierung in MATLAB, Simulink und Stateflow
  • Modellbasierter Unit-Testing mit EZTEST nach ISO 26262
  • System-Verifikation and -Validierung durch MIL, SIL, PIL
  • Automatische C-Code Generierung mit Embedded Coder und TargetLink
  • Formale Verifikation mit Polyspace und Design Verifier
  • Integration Modellbasierter Entwürfe in Embedded-Systeme und Automotiv-ECU

 

Design- und Implementierungstechniken:

  • Prozedurales Design in C
  • Design- u. Entwicklungsstrategien für Embedded Systeme
  • Multitasking/Multirating
  • Modelling Guidelines: MAAB, MISRA AC (SLSF, GMG, TL)
  • Modellbasierte Softwareentwicklung in MATLAB/Simulink
  • Implementierung/Portierung von Simulink Modellen auf Embedded Systeme
  • Code Generierung mit Embedded Coder und TargetLink

 

Erfahrungen mit folgenden Tools/Standards:

  • Experte in ISO 26262: Functional Safety Professional
  • Automotive SPICE
  • CMMI
  • Matlab
  • Simulink
  • Stateflow
  • Embedded Coder
  • TargetLink
  • MISRA C

Programmiersprachen

C
MATLAB
Simulink
Statflow

Berechnung / Simulation / Versuch / Validierung

EverCheck
EverTest
Model-in-the-Loop Simulation (MIL)
Processor-in-the-Loop Simulation (PIL)
Software-in-the-Loop Simulation (SIL)

Automatische C-Code Generierung mit:

  • Embedded Coder
  • TargetLink

Design / Entwicklung / Konstruktion

ADAS

Model-Based Design:

  • MATLAB
  • Simulink
  • Stateflow
  • Embedded Coder
  • TargetLink

 

Formale Verifikation:

  • Design Verifier
  • PolySpace

 

Model-Verifikation:

  • EZCHECK
  • EZTEST

 

Versionierung:

  • Git

 

Spezifikation (Requirements Management):

  • DOORS
  • Word
  • Excell

 

Back-to-Back Test:

  • MIL
  • SIL
  • PIL

 

Strukturelle Analyse (Modell & C-Code):

  • Statement Coverage
  • Decision Coverage (Branch Coverage)
  • Condition Coverage
  • Modified Condition Decision Coverage (MCDC)

 

Standards:

  • ISO 26262
  • Automotive SPICE
  • MISRA-C

Branchen

Branchen

Automotive/Automobil Industrie

Machinery/Maschinenbau

Railway/Eisenbahntechnik

Vertrauen Sie auf GULP

Im Bereich Freelancing
Im Bereich Arbeitnehmerüberlassung / Personalvermittlung

Fragen?

Rufen Sie uns an +49 89 500316-300 oder schreiben Sie uns:

Das GULP Freelancer-Portal

Direktester geht's nicht! Ganz einfach Freelancer finden und direkt Kontakt aufnehmen.