Projects

In Anlehnung an „Industrie 4.0“ soll die Studie zur Plattform „RoRo-Hafen-4.0“ die Steuerung und Organisation der gesamten Transportketten über einen RoRo-Hafen, der Lübecker Hafengesellschaft mbH, integrieren. Dies betrifft den gesamten Transportlebenszyklus, von der Quelle bis zum Ziel, und orientiert sich an den individuellen Wünschen von Verladern und Empfängern. Zudem soll eine unternehmensübergreifende Vernetzung aller Instanzen stattfinden. Dabei ist über die informationstechnische Vernetzung hinausgehend vor allem eine online basierte, integrierte und kooperative Disposition aller Prozesse angestrebt, die dort mit den internen Produktionslogistikketten verknüpft werden kann.

Within COEMS, a novel platform for online monitoring of multicore systems is developed. It gives insight to the system’s behaviour without affecting it. This insight is crucial to detect non-deterministic failures as for example caused by race conditions and access to inconsistent data.

Das Institut für Softwaretechnik und Programmiersprachen (ISP) der Universität zu Lübeck hat die Hansestadt Lübeck beraten, wie sie als Schulträger ihrer Verpflichtung nachkommen kann, für die Ausstattung und den Unterhalt von pädagogischer IT in den Schulen zu sorgen.

jUnitRV is a tool extending the unit testing framework jUnit by runtime verification capabilities. It provides a new annotation @Monitors listing monitors classes that obseve the test case execution and verify temporal assertions. jUnit’s concept of assert-based verification is extended towards checking properties of complete execution paths.