Projects

Software Development Kit for the Open Surgical Communication Protocol

We are developing a software development kit (SDK) for the Open Surgical Communication Protocol (OSCP) that supports the development of interconnected medical devices according to the recent IEEE 11073 standards for interoperable medical device communication. Our tool, the OSCP Device Modeler, allows the specification of temporal assertions for the respective data streams of the systems and generates automatically corresponding monitors that may be used during testing, but also during the application in field to ensure adherence to the interface specification. A further tool, the OSCP Swiss Army Knife, allows subscribing to the services provided via the interfaces of the system under development and thereby supports its debugging.

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