Seiteninhalt Hauptmenü Portalmenu Seitenmenü Schriftgröße ändern Breadcrump Index Suche
SESC

Sie sind hier:

Seite drucken

Schriftgröße ändern

Seiteninhalt

Projects


 
The following eclectic list shows the variety and diversity of the research projects at the Institutes of Informatics. Information to further projects is available on request at the individual offices.  

 

Software Engineering

Anfang


 
Safe-RTSE
Available2015-2018
Sponsored byFFG, Bridge 1
Cooperation(s)XAutomata and Università Politecnica delle Marche
Contact Univ.-Prof. Dipl.-Ing. Dr. Martin Pinzger
E-Mail
DescriptionSafe Round-Trip Software Engineering for Improving the Maintainability of Legacy Software Systems. In this project we aim at investigating methods and techniques to reverse engineer "formal models" from existing systems based on rewriting logic capturing explicit and implicit aspects of the original system. We claim that by using formal reasoning techniques on top of the extracted models the software engineer can first express a formal property that the system exhibits before re-engineering, and later check it against the re-engineered models representing the system design.
Further Information

Anfang


Allegio
Available2011 - 2015
Sponsored byICTRegie FES COMMIT
Cooperation(s)TU Delft, Embedded Systems Institute (ESI), Philips Healthcare (iXR R&D), the University of Twente (DACS and DE), and the Eindhoven University of Technology (DAS)
ContactUniv.-Prof. Dipl.-Ing. Dr. Martin Pinzger
E-Mail
EmployeesMartin Pinzger, Nicolas Dintzner 
DescriptionComposable Embedded Systems for Healthcare.

Industrial practice shows that it is extremely difficult to keep improving devices by adapting and extending the embedded software. Small changes often lead to unexpected consequences, due to unknown interactions and dependencies between parts of the system. The complexity of millions of lines of legacy code makes it almost impossible to predict the impact of changes. The replacement or integration of new software components often leads to errors that become visible only late in the software development process. This in turn causes a long and unpredictable time to market. Projects can significant exceed their budget and cancelled projects are no exception in the domain of embedded systems.

The objective of this project is to define an integrated set of methods and techniques that supports a systematic “Right by Design” component-based software design approach for complex embedded systems.

Further Information

Anfang


 
 
© 2009 Alpen-Adria-Universität Klagenfurt | Publication details | Contact | Disclaimer
Responsibility for content: TEWI - Web Administrator
Requests to: TEWI - Web Editor

Sprachauswahl