Fakultät für Informatik

TU München - Fakultät für Informatik
Lehrstuhl IV: Software & Systems Engineering

TUM
 
 

Projekte



InServe III (JUNI 2009 - )
Dienst-basierte Entwicklung von Reaktiven Systemen mit Schwerpunkt nicht nur auf theoretischen Aspekten sondern auch der methodischen Fundierung. Gefördert durch die DFG.

FlaSCo (MAR 2007 - APR 2009)
Service-oriented specification and design of an industrial embedded system from the automation domain. A project with Siemens Industry Automation and Drive.

VEIA (MAY 2006 - DEZ 2008)
The goal of the project is the development of a practical method for distributed engineering and integration of automotive product lines. The method is based on concepts for product line engineering and is geared to concrete requirements of industrial development processes.

Verisoft-Automotive (SEP 2005 - APR 2007)
The main goal of the project is the pervasive formal verification of computer systems. The correct functionality of systems, as they are applied, for example, in automotive engineering, in security technology and in the sector of medical technology, are to be proven in a mathematically founded fashion.

HEALTH
(Integrierte Versorgung)
(AUG 2005 - OCT 2005)
Mit der Einführung der neuen elektronischen Gesundheitskarte (eGesundheitskarte) eröffnen sich ganz neue Potentiale und Möglichkeiten der IT-gestützten Behandlung der Patienten im Gesundheitswesen. Dadurch erlangen auch Anbieter von IT-Lösungen, die bisher nicht im Gesundheitswesen tätig waren, die Chance, weitere Absatzmärkte zu erschließen. Eine Folge ist der erhöhte Wettbewerb, durch den das Gesundheitswesen an Wirtschaftlichkeit und an Qualität gewinnen kann. Ziel des Projektes ist, ein Rahmenwerk für die Erstellung von IT-Lösungen im Gesundheitswesen zu erstellen und anzubieten. Dieses Rahmenwerk soll insbesondere * einen Komponentenkatalog, der bereits in der Gesundheitstelematik vorhandene und bekannte Komponenten beschreibt * Beschreibungen der Nutzung (Schnittstellen) von bereits vorhandenen Komponenten * Referenzen zu Beispiellösungen, welche die im Komponentenkatalog beschriebenen Komponenten enthalten * Referenzen zu den jeweils einzuhaltenden Standards beinhalten. In Zusammenarbeit mit Siemens SBS und Microsoft.

EU-Study: Trends in
Embedded Systems
(JUN 2005 - SEP 2005)
A study of worldwide trends and R&D programmes in the domain of embedded systems in view of maximising the impact of a technology platform in the area. Conducted for the European Commission.


© Lehrstuhl IV: Software & Systems Engineering
Sitemap |  Kontakt/Impressum
Letzte Änderung: 2009-06-16 07:27:24