Modellierung autonomer Fahrzeugsysteme mit Timed Rebeca, EAST-ADL und AUTOSAR Prof. Dr. Ramin Tavakoli Kolagari, TH Nürnberg, Fakultät Informatik Zentrum.

Präsentation zum Thema: "Modellierung autonomer Fahrzeugsysteme mit Timed Rebeca, EAST-ADL und AUTOSAR Prof. Dr. Ramin Tavakoli Kolagari, TH Nürnberg, Fakultät Informatik Zentrum."—  Präsentation transkript:

1 Modellierung autonomer Fahrzeugsysteme mit Timed Rebeca, EAST-ADL und AUTOSAR
Prof. Dr. Ramin Tavakoli Kolagari, TH Nürnberg, Fakultät Informatik Zentrum Digitalisierung.Bayern Prof. Dr. Marjan Sirjani, Reykjavik University, Mälardalen University Sweden

2 Autonomes Fahren Figure 1: Structure of a Human Cyber-Physical System.
denotes environment sensing, HS denotes human sensing, HP denotes human perception, HA denotes human actions, and u denotes the vector of control inputs to the plant.

3 EAST-ADL und AUTOSAR

4 Timed Rebeca

5 Ziele des Projekts Analyse und Erweiterung der Modellierungssprachen
Rebeca ( EAST-ADL ( AUTOSAR ( im Hinblick auf deren Anwendbarkeit für die Modellierung sicherer und zuverlässiger autonomer Fahrzeugsysteme Mapping zum Vergleich der Sprachen Untersuchung auf notwendige Erweiterungen, insbesondere für die Qualitätseigenschaft Echtzeitverhalten Demonstrator eines autonom fahrenden Modellfahrzeugs zur Illustration der Machbarkeit optional: Untersuchung von weiteren Qualitätseigenschaften: Security Safety

6 Voraussetzungen Abschluss als Bachelor of Science (B.Sc) oder Bachelor of Engineering (B.Eng.) in Informatik, Elektrotechnik oder Informationstechnik. Embedded Programmierung Verteilte Systeme, speziell Ad-Hoc Netze Sensorik von Fahrassistenzsystemen, Sensordatenverarbeitung generell Car-to-X Kommunikation Autonome Systeme, insb. autonomes Fahren Automobile Standards, insb. AUTOSAR und EAST-ADL (Semi-)formale Modellierung Fließend in Deutsch und Englisch Reisebereitschaft