Projects

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

Stream-based System Design

Ein Strom modelliert die Geschichte der Kommunikation über einen uni-direktionalen Kanal, d.h. die Sequenz von Nachrichten auf diesem Kanal als einem Teil eines verteilten Systems. Strom-verarbeitende Funktionen, die Eingabe-Ströme auf Ausgabe-Ströme abbilden, modellieren die interaktiven Komponenten eines solchen verteilten Systems. In diesem Umfeld werden Verfeinerungstechniken für den schrittweisen Entwurf von Komponenten entwickelt. Kontakt: Annette Stümpel

REMSO – Re-Engineering monolithischer Softwaresysteme zur Service-orientierten Architektur

Ein Projekt im Kompetenzverbund Software und Systems Engineering In nahezu jedem Unternehmen werden für Geschäftsprozesse Softwaresysteme verwendet, die individuell für einen Anwendungsfall entwickelt und im Laufe der Jahre fortgeschrieben worden sind. Durch Anpassungen an neue Technologien und neue Bedürfnisse wurden aus monolithischen Software-Architekturen sehr komplexe und wenig transparente Softwarekonstrukte. Weitere Anpassungen sind extrem aufwendig und kostspielig.

Flens – Runtime Verification for Clojure

Flens is a runtime verification framework written in the Clojure programming language. Flens is an acronym for "Functional logic evaluation and notification system". With Flens assistance it is possible to specify correctness properties for Clojure programs which are checked at runtime. From a user’s point of view, Flens thus consists of two major functional components

Integration of Runtime Verification into Metamodeling

Runtime verification is an approach growing in popularity to verify the correctness of complex and distributed systems by monitoring their executions. Domain Specific Modeling Languages are a technique used for specifying such systems in an abstract way, but still close to the solution domain. We aim at integrating runtime verification and domain specific modeling into the development process of complex systems. Such integration is achieved by linking the elements of the system model with the atomic propositions of the temporal correctness properties used to specify monitors.

STePr

STePr

Previous to the devolpment of TeSSLa and its compiler, the logfile analysis tool STePr was developed. It is based on a similar modelling approach as TeSSLa but does not support asynchronous streams or coninuous time as first class citizen.

Pages

Subscribe to Projects