Projects

CONIRAS – Kontinuierliche nicht-intrusive Laufzeitanalyse von SoCs

CONIRAS – Kontinuierliche nicht-intrusive Laufzeitanalyse von SoCsDer Einsatz von Multicore-Prozessoren in eingebetten Systemen erfordert umfassende Beobachtungsmöglichkeiten, um die mit besonderer Wahrscheinlichkeit auftretenden nichtdeterministischen Fehler zu verstehen und die zugrunde liegenden Defekte beseitigen zu können. Die dazu nötige Erfassung von Systemzuständen ist bei bisher verfügbaren Emulationssystemen nur eingeschränkt möglich, da deren Möglichkeiten zur Erfassung und Auswertung von Trace-Daten vielen qualitativen und quantitativen Ansprüchen nicht genügen. Ziel dieses Projektes ist es daher, mit Hilfe eines neuartigen Debugging-Systems Trace-Daten in Echtzeit zu erfassen und im Hinblick auf ausgewählte Fragestellungen auszuwerten. Dazu sollen eine FPGA-Plattform und passende spezialisierte Synthese-Werkzeuge entwickelt werden.

Passat Accommodation Scheduling System

Passat Accommodation Scheduling System The goal of the project Passat was to design and build a ready to use accom- modation scheduling system for the historic ship Passat. Most of the rooms aboard the ship can be rented for events or to stay overnight. The ship is kept by the administration of the city of Lübeck where this was done using pen and paper when this project began. Project Passat started as a masters case study and is currently continued launching and maintaining the software for the administration of the city of Lübeck. In the scope of a bachelor thesis an extended statistics module for the software is being developed.

LamaConv—Logics and Automata Converter Library

LamaConv—Logics and Automata Converter LibraryLamaConv (internal code name RltlConv) is a Java library that is capable of translating expressions in temporal logics into equivalent automata and to generate monitors out of these automata. These monitors can be used for runtime verification and model checking.

Green Navigation

Green Navigation Green Navigation is a prototypic system to compute energy-optimal routes and to predict the remaining crusing range for electric vehicles. It consists of a central server that carries out the computations and various client front-ends accessing the services provided by this server. It uses freely available OpenStreetMap geospatial data and NASA altitude maps.

WS-RV—Runtime Verification for Web Services

WS-RV is a framework to integrate Runtime Monitoring seamlessly into Service Oriented Architectures and other environments using XML Web Services as middleware. WS-RV is based on the Java API for XML Web Services (JAX-WS). The basic concepts of the framework are Interceptors, Monitoring Services and Monitors. Interceptors can be attached to the Java Webservices Stack and send messages to Monitoring Services. Monitoring Services can be deployed to arbitrary Web Service Containers and mangage serveral monitors. Monitors check the observed sequence of messages with respect to some temporal correctness properties. These properties are specified in a high level language based on XML and are automatically synthesised during initialisation of the corresponding monitoring service.

Mufin–Runtime Monitoring with Union-Find Structures

Mufin–Runtime Monitoring with Union-Find StructuresMufin is a tool for runtime verification of object-oriented software system. It uses a novel algorithm for monitoring the individual behaviour and interaction of an unbounded number of runtime objects. This allows for evaluating complex correctness properties that take runtime data in terms of object identities into account. In particular, the underlying formal model can express hierarchical interdependencies of individual objects.

Runtime Reflection

Runtime Reflection The runtime reflection project establishes methods to dynamically analyse reactive distributed systems at runtime. The approach is layered and modular in that we provide the means for first detecting failures of a system by means of runtime verification and secondly, provide means for identifying their causes by means of a detailed diagnosis. As such, diagnoses can be subsequently used in order to trigger recovery measures, or to store detailed log-files for off-line analysis.

SALT – Structured Assertion Language for Temporal Logic

SALT stands for Smart Assertion Language for Temporal Logic. It is a temporal specification language that is similar in spirit to programming languages like C and Java and is therefore well suited for software engineers. Its expressiveness, on the other side, covers LTL, or, when the realtime operators of SALT are used, covers TLTL (Timed LTL).

ZeLiM

The future of energy production lies within the use of renewable energy sources. The storage of such energy can make a big contribution to utilising this renewable energy. The ZeLiM project (Zentralisiertes Lithium-Speicher-Monitoring - Centralised Lithium Storage Monitoring) is aimed at developing a computer supported system for centralised monitoring, configuration and management of decentralised energy storage devices.

SmartCAR – Masters Case Study

In the course of this case study, the challenge was to develop a car computer, that facilitates energy saving, and itself works in a power-efficient way. A framework to link vehicle and external agents (for example smartphones) was developed. This framework is based upon various embedded hardware platforms that are attached to the onboard control units of the car, and it provides services to external and internal agents, such as the on-board computer Interfaces are provided to allow application developers to provide custom, helpful applications

Pages

Subscribe to Projects