Oberseminar Eingebettete Hardware-/Software-Systeme
Im Oberseminar finden Vorträge zu aktuellen Forschungsarbeiten statt. Bei den Forschungsarbeiten kann es sich um Bachelor- oder Masterarbeiten oder angestrebte Promotionen handeln.
Das Oberseminar der Abteilung Eingebettete Hardware-/Software-Systeme findet dienstags ab 14:15 Uhr im Raum F02 (wenn nicht anders angegeben) statt. Der hier zu findende Terminplan wird stetig aktualisiert. Wenn an einem Tag kein Vortrag geplant ist, findet das Oberseminar nicht statt.
Coherent Treatment of Time in the Development of ADAS/AD Systems: Design Approach and Demonstration
"The application of digital control in the automotive domain
clearly follows an evolution with increasing complexity of both
covered functions and their interaction. Advanced Driver As-
sistance Systems (ADAS) and Automated Driving Functions
(AD) comprise modular interacting software components that
typically build upon a layered architecture. As these compo-
nents are generally developed by different teams, using differ-
ent tools for different functional purposes and building upon
different models of computation, an integration of all compo-
nents guaranteeing the satisfaction of all requirements calls for
coherent handling of timing properties.
We propose an approach addressing this major challenge, which
consists of four design paradigms. A compositional semantic
framework – based on a notion of components, their interfaces
and their interaction – provides the common ground. Equipped
with well-defined semantics allowing to express specifications
in terms of contracts, and together with also well-defined oper-
ations (such as decomposition and refinement), the framework
gives means to all typical design steps in the considered appli-
cation domain. The second paradigm consists of a carefully se-
lected set of contract specification patterns covering a multitude
of relevant timing phenomena. The third paradigm concerns the
embedding of different models of computation into the frame-
work, lifting them into a common semantic domain. The fourth
design paradigm provides for integrating models of computa-
tion by means of interaction components. All those paradigms
are well-known in academia or industrial practice. Although we
have extended them where needed in order to fit the particular
needs of ADAS/AD design, it is foremost their interplay which
is the novelty of our approach.
The application of the approach is exemplified by an industrial-
motivated case study of an emergency stop system. In the
course of this demonstration we show that coherent treatment
of time and timing effects in ADAS/AD design is indeed possi-
ble and can be integrated in typical industrial processes."
-- Ehmen, G., Grüttner, K., Koopmann, B., Poppen, F., Reinkemeier, P., & Stierand, I. (2018). Coherent Treatment of Time in the Development of ADAS/AD Systems: Design Approach and Demonstration (No. 2018-01-0592). SAE Technical Paper.
O100 (OFFIS) / 14:30 s.t.!
Erweiterung eins MPSoC Systemmodells um Softwareseitige Datenabhängigkeiten und Implementierung in SystemC
Alexander van Düllen
F02 (OFFIS) / 14:30 s.t.!
Model-Based Distributed Control Design with Contracts for Safety-Critical Cyber-Physical Systems using IEC 61499
Industrial automation and control systems in manufacturing are becoming increasingly complex. That leads to the demands for a new generation of systems that need to meet functional and extra-functional requirement across networked devices, while supporting event based interaction, communicate and data exchange. These properties lift modern automation and control systems into the class of cyber-physical systems (CPSs).
The CPSs are characterized by an integration of computation, physical processes, communication networking and control. They provide and support capabilities to monitor and control entities in the physical world. However, they are also facing several important challenges that must be addressed when developing new approaches for CPS design. Among these challenges are: complexity, independent development, interaction between heterogeneous components, specification and integration testing.
Model-Based Design (MBD) has been identified as a powerful design technique for CPSs due to its capabilities to support early requirement validation and virtual system integration. It can help in separation of concerns, traceability, trace generation, impact analysis, verification, simulation and synthesis. The IEC 61499 standard offers an open, platform-independent framework for designing distributed control systems. Important properties of IEC61499 are for example real object-orientation, event-driven execution behavior, and vendor-independency. Therefore, it fits well with the requirements for modeling and simulation of distributed systems, including CPSs.
The goal of this work is the combination of the IEC 61499 as distributed system component model with a contract based behavior and timing specification and testing approach to enable correct by construction control systems engineering. Furthermore, this work is an important cornerstone to enable run-time verification in a continuous development cycle for future industrial automation and control systems.
Finally, we will demonstrate how our approach can be used to check whether behavioral and timing requirements are met. This can be done during integration testing of an IEC 61499 distributed system model at design-time and, in future work, after deployed on distributed hardware resources at run-time.
Duc Do Tran
F02 (OFFIS) / 14:00 s.t.!