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
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.
EAST-ADL und AUTOSAR
Timed Rebeca
Ziele des Projekts Analyse und Erweiterung der Modellierungssprachen Rebeca (http://www.rebeca-lang.org) EAST-ADL (http://east-adl.info/) AUTOSAR (www.autosar.org) 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
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