TU München - Fakultät für Informatik
Software- and Systems Engineering Research Group

  Home  |  Forschung/Kompetenz  |  Lehre  |  Personen  |  Publikationen  |  Abschlussarbeiten  |  Sonstiges  |  Kontakt  | 

Agenda

Es sprechen Studenten über ihre abgeschlossenen Diplomarbeiten und Systementwicklungsprojekte.

Am Mittwoch, 19.04.17, ab 14:00 Uhr, im Raum Neumann (00.11.038):

Berechnung von Test Gaps in relationalen Datenbanken

In dieser Präsentation werde ich eine Methodik vorschlagen und evaluieren um Test Gap Analyse (Kombination von dynamischer und statischer Analyse) an Stored Procedures in relationalen Datenbanken anzuwenden. Dabei wird das DBMS\_Profiler Package von Oracle mit dem Teamscale Tool von CQSE GmbH kombiniert.

Model-based Development of Automotive Systems Using Service-Oriented Architecture Principles

The thesis evaluated the application of service-oriented principles for the design of automotive systems. The main contribution of this thesis is a formal model for an automotive service architecture which supports the “black-boxing” of implementation details. The architecture considers the pattern of a layered architecture as well as the idea of service kits as a means of structuring services that share strong functional commonalities with each other. The definition of a formal model is done with regard to unambiguity which is considered as necessary in order to design safety critical systems. In addition, a formal notation may favor approaches like model-to-model transformations which are also considered in this thesis.