Modellbasierte Entwicklung und Verifikation mit MATLAB, Simulink, Stateflow, TargetLink, Embedded Coder nach ISO 26262 (ASIL A-D).
Aktualisiert am 19.12.2024
Profil
Referenzen (1)
Freiberufler / Selbstständiger
Remote-Arbeit
Verfügbar ab: 06.01.2025
Verfügbar zu: 100%
davon vor Ort: 50%
Modellbasierte Entwicklung
Simulink
Stateflow
MATLAB
C
Modellbasierte Tests
Embedded Coder
TPT
TargetLink
EverCheck
EverTest
ISO 26262
SOTIF
ISO 25119
IEC 61508
MISRA-C
Batteriemanagement
Elektronischer Lenkradschloss
Elektronischer Spurhalteassistent
Batterie
Lichtfunktionen
Bremsassistenzsystem
Autonomes Fahren
Deutsch
sehr gut
Englisch
sehr gut
Russisch
sehr gut

Einsatzorte

Einsatzorte

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

Projekte

Projekte

5 Jahre 7 Monate
2019-06 - 2024-12

Modellbasierte Entwicklung und Absicherung nach ISO 26262

Entwickler, Trainer und Coach - Modellbasierte Entwicklung nach ISO 26262 C Simulink MATLAB ...
Entwickler, Trainer und Coach - Modellbasierte Entwicklung nach ISO 26262

Basierend auf langjährigen praktischen Erfahrungen auf dem Gebiet der modellbasierten Entwicklung im sicherheitsrelevanten Kontext habe ich das nötige Wissen rund um die branchenübergreifende generische Sicherheitsnorm IEC 61508, die Automobilnorm ISO 26262 und die Traktornorm ISO 25119 ausgebaut, systematisiert, angewendet und vermittelt.

Ich habe unterschiedliche Firmen rund um modellbasierten Entwicklung im sicherheitsrelevanten Kontext beraten. Angefangen mit der Schulung, über Safety-Plan mit der qualifizierter Tool-Chain-Definition bis tatkräftiger Unterstützung in Projekten als Entwickler und Coach. Die Kunden profitierten kurzfristig vom Know-How-Transfer und konnten die Assessments anschließend souverän bestehen.

Simulink MATLAB Stateflow Embedded Coder TargetLink TPT BTC EverTest EverCheck
C Simulink MATLAB Stateflow FTA Fault Tree Analysis FMEA Failure Mode and Efeekt Analysis EverCheck EverTest C-Code Generation Statische Modellanalyse Dynamische Modellanalyse Verifikation Software Test Tool Qualification ISO 26262 IEC 61508
TÜV SÜD Academy
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

Modellbasierte Entwicklung Simulink Stateflow MATLAB C Modellbasierte Tests Embedded Coder TPT TargetLink EverCheck EverTest ISO 26262 SOTIF ISO 25119 IEC 61508 MISRA-C Batteriemanagement Elektronischer Lenkradschloss Elektronischer Spurhalteassistent Batterie Lichtfunktionen Bremsassistenzsystem Autonomes Fahren

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
Experte
AUTOSAR
Basics
DOORS
Fortgeschritten
Embedded Coder
Experte
EverTest
Experte
EverCheck
Experte
IEC 61508
Experte
ISO 26262
Experte
ISO 25119
Experte
Polyspace
Fortgeschritten
Simulink Coverage
Experte
Simulink Verification & Validation
Experte
Stateflow
Experte
TargetLink
Fortgeschritten
TPT
Basics
BTC
Basics

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 Floating-Point-Unit (FPU)
  • Integration und Verifikation von legacy C-Code in Simulink-Modellen
  • Modellierung in MATLAB, Simulink und Stateflow
  • Formale Verifikation mit Polyspace und Design Verifier
  • Statische Verifikation der Modell mit EverCheck/Simulink Checker/Model Examiner nach MISRA
  • Modellbasierter Unit-Test mit EverTest/Simulink Test/TPT nach ISO 26262
  • System-Verifikation and -Validierung durch MIL, SIL, PIL
  • Automatische C-Code Generierung mit Embedded Coder und TargetLink
  • 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: Nachweis der Echtzeitfähigkeit
  • Modelling Guidelines: MAAB, MISRA AC, SLSF, GMG, TL
  • Modellbasierte Softwareentwicklung in MATLAB/Simulink
  • Implementierung/Portierung von Simulink-Modellen auf Embedded Systeme
  • C Code Generierung mit Embedded Coder, QGen und TargetLink

 

Erfahrungen mit folgenden Tools/Standards:

  • Experte in ISO 26262: Functional Safety Professional (Zertifiziert von TÜV SÜD)
  • Experte in ISO 26262, IEC 61508, ISO 25119
  • Experte in Automotive SPICE
  • Experte in CMMI
  • Experte in MATLAB
  • Experte in Simulink
  • Experte in Stateflow
  • Experte in Embedded Coder
  • Experte in TargetLink
  • Experte in MISRA C
  • Experte in Tool-Qualification nach ISO 26262

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 > EverCheck
  • EZTEST > EverTest

 

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)
Deutschland
möglich

Projekte

Projekte

5 Jahre 7 Monate
2019-06 - 2024-12

Modellbasierte Entwicklung und Absicherung nach ISO 26262

Entwickler, Trainer und Coach - Modellbasierte Entwicklung nach ISO 26262 C Simulink MATLAB ...
Entwickler, Trainer und Coach - Modellbasierte Entwicklung nach ISO 26262

Basierend auf langjährigen praktischen Erfahrungen auf dem Gebiet der modellbasierten Entwicklung im sicherheitsrelevanten Kontext habe ich das nötige Wissen rund um die branchenübergreifende generische Sicherheitsnorm IEC 61508, die Automobilnorm ISO 26262 und die Traktornorm ISO 25119 ausgebaut, systematisiert, angewendet und vermittelt.

Ich habe unterschiedliche Firmen rund um modellbasierten Entwicklung im sicherheitsrelevanten Kontext beraten. Angefangen mit der Schulung, über Safety-Plan mit der qualifizierter Tool-Chain-Definition bis tatkräftiger Unterstützung in Projekten als Entwickler und Coach. Die Kunden profitierten kurzfristig vom Know-How-Transfer und konnten die Assessments anschließend souverän bestehen.

Simulink MATLAB Stateflow Embedded Coder TargetLink TPT BTC EverTest EverCheck
C Simulink MATLAB Stateflow FTA Fault Tree Analysis FMEA Failure Mode and Efeekt Analysis EverCheck EverTest C-Code Generation Statische Modellanalyse Dynamische Modellanalyse Verifikation Software Test Tool Qualification ISO 26262 IEC 61508
TÜV SÜD Academy
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

Modellbasierte Entwicklung Simulink Stateflow MATLAB C Modellbasierte Tests Embedded Coder TPT TargetLink EverCheck EverTest ISO 26262 SOTIF ISO 25119 IEC 61508 MISRA-C Batteriemanagement Elektronischer Lenkradschloss Elektronischer Spurhalteassistent Batterie Lichtfunktionen Bremsassistenzsystem Autonomes Fahren

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
Experte
AUTOSAR
Basics
DOORS
Fortgeschritten
Embedded Coder
Experte
EverTest
Experte
EverCheck
Experte
IEC 61508
Experte
ISO 26262
Experte
ISO 25119
Experte
Polyspace
Fortgeschritten
Simulink Coverage
Experte
Simulink Verification & Validation
Experte
Stateflow
Experte
TargetLink
Fortgeschritten
TPT
Basics
BTC
Basics

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 Floating-Point-Unit (FPU)
  • Integration und Verifikation von legacy C-Code in Simulink-Modellen
  • Modellierung in MATLAB, Simulink und Stateflow
  • Formale Verifikation mit Polyspace und Design Verifier
  • Statische Verifikation der Modell mit EverCheck/Simulink Checker/Model Examiner nach MISRA
  • Modellbasierter Unit-Test mit EverTest/Simulink Test/TPT nach ISO 26262
  • System-Verifikation and -Validierung durch MIL, SIL, PIL
  • Automatische C-Code Generierung mit Embedded Coder und TargetLink
  • 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: Nachweis der Echtzeitfähigkeit
  • Modelling Guidelines: MAAB, MISRA AC, SLSF, GMG, TL
  • Modellbasierte Softwareentwicklung in MATLAB/Simulink
  • Implementierung/Portierung von Simulink-Modellen auf Embedded Systeme
  • C Code Generierung mit Embedded Coder, QGen und TargetLink

 

Erfahrungen mit folgenden Tools/Standards:

  • Experte in ISO 26262: Functional Safety Professional (Zertifiziert von TÜV SÜD)
  • Experte in ISO 26262, IEC 61508, ISO 25119
  • Experte in Automotive SPICE
  • Experte in CMMI
  • Experte in MATLAB
  • Experte in Simulink
  • Experte in Stateflow
  • Experte in Embedded Coder
  • Experte in TargetLink
  • Experte in MISRA C
  • Experte in Tool-Qualification nach ISO 26262

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 > EverCheck
  • EZTEST > EverTest

 

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 Randstad

Im Bereich Freelancing
Im Bereich Arbeitnehmerüberlassung / Personalvermittlung

Fragen?

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

Das Freelancer-Portal

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