Institute of Software Engineering and Programming Languages

Prof. Dr. Matthias Tichy

My main research focus is on domain specific languages, particularly for mechatronic systems. Mechatronic systems are systems which are jointly developed by mechanical, electrical, control and software engineers, e.g., modern cars. The embedded software is the key driver for innovation in mechatronic systems. I especially focus on self-adaptive software and software in safety-critical systems. I use graph transformations as underlying formal basis in many of these research activities. Furthermore, i employ empirical research methods to understand how humans use software as well as to evaluate technical contributions.

www.tichy.de

Publikationen

2007

29.
Tichy, Matthias; Henkler, S.
Towards a Transformation Language for Component Structures
Proc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, Seite 68-73
Oktober 2007
28.
Gausemeier, J.; Giese, H.; Schäfer, W.; Axenath, B.; Frank, U.; Henkler, S.; Pook, S.; Tichy, Matthias
Towards the Design of Self-Optimizing Mechatronic Systems: Consistency between Domain-Spanning and Domain-Specific Models
Proc. of the 16th International Conference on Engineering Design (ICED), Paris, France
August 2007
27.
Danne, C.; Dück, V.; Klöpper, B.; Brinkmann, J.; Tichy, Matthias
Considering Runtime Restrictions in Self-Healing Distributed Systems
Proceedings of the IEEE 21st International Conference on Advanced Information Networking and Applications (AINA-07), Niagara Falls, Canada
Herausgeber: Computer Society Press
Mai 2007
26.
Burmester, S.; Giese, H.; Henkler, S.; Hirsch, M.; Tichy, Matthias; Gambuzza, A.; Münch, E.; Vöcking, H.
Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View
Proc. of the 29th International Conference on Software Engineering (ICSE), Minneapolis, Minnesota, USA, Seite 801-804
Herausgeber: Computer Society Press
Mai 2007
25.
Frank, U.; Giese, H.; Müller, T.; Oberthür, S.; Romaus, C.; Tichy, Matthias; Vöcking, H.
Potenziale und Risiken der Selbstoptimierung für die Verlässlichkeit mechatronischer Systeme
Proc. of the Fifth Paderborner Workshop Entwurf mechatronischer Systeme
Herausgeber: HNI-Verlagsschriftenreihe
März 2007

2006

24.
Tichy, Matthias
Pattern-Based Synthesis of Fault-Tolerant Embedded Systems
Proc. of the Doctoral Symposium of the Fourteenth ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE), Portland, Oregon, USA, Seite 13-18
Herausgeber: ACM Press
November 2006
23.
Giese, H.; Tichy, Matthias
Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration
Proc. of the 25th International Conference on Computer Safety, Security and Reliability (SAFECOMP), Gdansk, PolandausLecture Notes in Computer Science (LNCS), Seite 156-169
Herausgeber: Springer Verlag
September 2006
22.
Tichy, Matthias; Meyer, M.; Giese, H.
On Semantic Issues in Story Diagrams
Dokument Nummer: tr-ri-06-275
University of Paderborn
Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany
September 2006
21.
Tichy, Matthias; Giese, H.; Seibel, A.
Story Diagrams in Real-Time Software
In Holger Giese and Bernhard Westfechtel, Editor, Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, Technical Report, Seite 15-22
In Holger Giese and Bernhard Westfechtel, Editor
September 2006
20.
Klein, F.; Tichy, Matthias
Building Reliable Systems based on Self-Organizing Multi-Agent Systems
Proc. of the 5th ICSE 2006 Workshop on Software Engineering for Large-scale Multi-Agent Systems (SELMAS'06), Shanghai, China, Seite 51-58
Herausgeber: ACM Press
Mai 2006
19.
Giese, H.; Henkler, S.; Hirsch, M.; Tichy, Matthias; Vöcking, H.
Modellbasierte Entwicklung vernetzter, mechatronischer Systeme am Beispiel der Konvoifahrt autonom agierender Schienenfahrzeuge
, Proc. of the Fourth Paderborner Workshop Entwurf mechatronischer SystemeBand189, Seite 457-473
Herausgeber: HNI-Verlagsschriftenreihe
Mai 2006

2005

18.
Tichy, Matthias; Giese, H.
Extending Fault Tolerance Patterns by Visual Degradation Rules
Proc. of the Workshop on Visual Modeling for Software Intensive Systems (VMSIS) at the the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, USA, Seite 67-74
September 2005
17.
Burmester, S.; Giese, H.; Seibel, A.; Tichy, Matthias
Worst-Case Execution Time Optimization of Story Patterns for Hard Real-Time Systems
Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, Seite 71-78
September 2005
16.
Burmester, S.; Giese, H.; Hirsch, M.; Schilling, D.; Tichy, Matthias
The Fujaba Real-Time Tool Suite: Model-Driven Development of Safety-Critical, Real-Time Systems
Proc. of the 27th International Conference on Software Engineering (ICSE), St. Louis, Missouri, USA, Seite 670-671
Herausgeber: ACM Press
Mai 2005
15.
Gausemeier, J.; Frank, U.; Giese, H.; Klein, F.; Schmidt, A.; Steffen, D.; Tichy, Matthias
A Design Methodology for Self-Optimizing Systems
In Gesamtzentrum für Verkehr Braunschweig e.V., Editor, Contributions to the 6th Braunschweig conference of Automation, Assistance and Embedded Real Time Platforms for Transportation - Air-planes, Vehicles, Trains - (AAET2005)BandII, Seite 456-479
In Gesamtzentrum für Verkehr Braunschweig e.V., Editor
Herausgeber: GZVB
Februar 2005

2004

14.
Tichy, Matthias; Schilling, D.; Giese, H.
Design of Self-Managing Dependable Systems with UML and Fault Tolerance Patterns
Proc. of the Workshop on Self-Managed Systems (WOSS) 2004, FSE 2004 Workshop, Newport Beach, USA
Oktober 2004
13.
Tichy, Matthias; Becker, B.; Giese, H.
Component Templates for Dependable Real-Time Systems
In Andy Schürr and Albert Zündorf, Editor, Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany, Technical ReportBandtr-ri-04-253, Seite 27-30
In Andy Schürr and Albert Zündorf, Editor
September 2004
12.
Giese, H.; Tichy, Matthias; Schilling, D.
Compositional Hazard Analysis of UML Components and Deployment Models
, Proc. of the 23rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), Potsdam, GermanyBand3219ausLecture Notes in Computer Science (LNCS)
Herausgeber: Springer Verlag
September 2004
11.
Steffen, D.; Gehrke, M.; Tichy, Matthias
Developing an Optimized Principle Solution for Mechatronic Systems
In P. Drews, Editor, Proc. of Mechatronics and Robotics 2004, Aachen, Germany, Seite 1-6
In P. Drews, Editor
Herausgeber: Sascha Eysoldt Verlag, Aachen
September 2004
10.
Burmester, S.; Tichy, M.; Giese, H.
Modeling Reconfigurable Mechatronic Systems with Mechatronic UML
In U. Amann, Editor, Proc. of Model Driven Architecture: Foundations and Applications (MDAFA 2004), Linköping, Sweden, Seite 155-169
In U. Amann, Editor
Juni 2004

2003

9.
Tichy, Matthias; Giese, H.
Seamless UML Support for Service-based Software Architectures
In N. Guelfi and E. Artesiano and G. Reggio, Editor, Proc. of the International Workshop on scientiFic engineering of Distributed Java applIcations (FIDJI) 2003, LuxembourgBand2952, Seite 128-138
In N. Guelfi and E. Artesiano and G. Reggio, Editor
Herausgeber: Springer Verlag LNCS
November 2003
8.
Giese, H.; Burmester, S.; Klein, F.; Schilling, D.; Tichy, M.
Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML
In Henderson-Sellers, B and Debenham, J, Editor, OOPSLA 2003 - Second International Workshop on Agent-Oriented Methodologies (Anaheim, CA, USA, Center for Object Technology Applications and Research (COTAR), University of Technology, Sydney, Australia), Seite 21-32
In Henderson-Sellers, B and Debenham, J, Editor
Oktober 2003
7.
Tichy, Matthias; Kudak, M.
Visualization of the execution of Real-Time Statecharts
In Holger Giese and Albert Zündorf, Editor, Proc. of the first International Fujaba Days 2003, Kassel, Germany, Technical Report, University of PaderbornBandtr-ri-04-247
In Holger Giese and Albert Zündorf, Editor
Oktober 2003
6.
Burmester, S.; Giese, H.; Niere, J.; Tichy, Matthias; Wadsack, J. P.; Wagner, R.; Wendehals, L.; Zündorf, A.
Tool Integration at the Meta-Model Level within the FUJABA Tool Suite
Proc. of the Workshop on Tool-Integration in System Development (TIS), Helsinki, Finland, Satellite Event of the joint Conferences ESEC/FSE 2003, Seite 51-56
September 2003
5.
Giese, H.; Tichy, Matthias; Burmester, S.; Schäfer, W.; Flake, S.
Towards the Compositional Verification of Real-Time UML Designs
Proc. of the 9th European Software Engineering Conference held jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE-11), Seite 38-47
Herausgeber: ACM Press
September 2003