Bernhard Hohlfeld

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Steigender Komplexität in Industrie 4.0und Big Data-Themen erfordern neue Lösungskonzepte. So werden Security-Themen normativ größtenteils noch stiefmütterlich behandelt. Der Vortrag beleuchtet Konzepte der IT-Security (Angriffssicherheit) in Abgrenzung zu Safety (Betriebssicherheit). Der Vortrag ist in drei Blöcke strukturiert. Nach einer Motivation mit(More)
Bei modernen Fahrzeugen wird die Funktionalität zunehmend durch Software bereitgestellt. Das Spektrum reicht von der Motorsteuerung bis hin zum Allradantrieb und schon bald zu X-by-Wire-Systemkomponenten. Die zugrundeliegende Rechnerarchitektur ist ein verteiltes System, das je nach Fahrzeugtyp aus 20 – 80 Steuergeräteknoten besteht. Die Knoten sind mit bis(More)
Im Beitrag werden formale Methoden fiir Spezifikation und Verifikation von Software sowie die Implementierung der Methoden in einem Software-Entwicklungswerkzeug PASQUALE beschrieben. Zu den formalen Methoden zählen formale Spezifikation von Programmen und Unterprogrammen, Korrektheitsbeweis von Programmen bezüglich ihrer Spezifikation, Spezifikation der(More)
Bei modernen Fahrzeugen wird die Funktionalität in den Bereichen Antriebstrang, Fahrwerk, Innenraum, aktive und passive Sicherheit sowie Infotainment/Telematik zunehmend durch Software bereitgestellt. Die zugrunde liegende Rechnerarchitektur ist ein verteiltes System, das je nach Fahrzeugtyp aus 20–80 Steuergeräteknoten besteht. Die Knoten sind mit bis zu(More)
Innovationen im Fahrzeug werden mittlerweile zum größten Teil durch Elektronik und Software geprägt. Ebenso steigen der Wert und auch der Entwicklungsanteil von Software im Automobil ständig. Automotive Software Engineering hat sich dadurch zu einem wichtigen Innovationstreiber entwickelt. In heutigen Fahrzeugen sind teilweise mehr als 50 hochgradig(More)
  • 1