Validas AG / Fault-Tolerant Systems / ETAS Engineering Tools GmbH / Nuria Mata ETAS Engineering Tools GmbH / Event-Triggered Networks / Robert Bosch GmbH / Technische Universität München Peter Braun Validas AG / ETAS GmbH / BMW AG / Structure Distributed Automotive Embedded Control Software / Reactive Systems / Should Responsive Systems / Dirk Ziegenbein Robert Bosch GmbH / Robert Sandner BMW AG / /
Country
Italy / Portugal / /
IndustryTerm
software system / automotive control software / basic software components / automotive control systems / software implementation / automotive software / actual software components / application software / software part / software implementations / automotive control software design / embedded control systems / design chain / typical automotive software / prototypical tools / embedded software engineering / mechanical/electrical systems / software structures / software architecture / bus systems / communication media / basic software / /
Organization
Federal Aviation Administration / Bernhard Schätz Institut für Informatik / International Congress / Technische Universität München / FDA / U.S. Securities and Exchange Commission / grouping an FDA-level description / /
Person
Grant Martin / Jan Romberg / Bran Selic / Luciano Lavagno / Ulrich Freund / Bernhard Schätz / Manfred Broy / /
Position
VP / editor / systems engineer / generic logic programming language interpreter / engine controller / generic logic programming language interpreter for checking and manipulating specifications / logic language interpreter / controller / engineer / /
05AE-268 AutoMoDe – Notations, Methods, and Tools for Model-Based Development of Automotive Software Andreas Bauer, Manfred Broy, Jan Romberg, Bernhard Schätz Institut für Informatik, Technische Universität Münche