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, Page 68-73
October 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
Publisher: Computer Society Press
May 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, Page 801-804
Publisher: Computer Society Press
May 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
Publisher: HNI-Verlagsschriftenreihe
March 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, Page 13-18
Publisher: 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, PolandfromLecture Notes in Computer Science (LNCS), Page 156-169
Publisher: Springer Verlag
September 2006
22.
Tichy, Matthias; Meyer, M.; Giese, H.
On Semantic Issues in Story Diagrams
Document Number: 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, Page 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, Page 51-58
Publisher: ACM Press
May 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 SystemeVolume189, Page 457-473
Publisher: HNI-Verlagsschriftenreihe
May 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, Page 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, Page 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, Page 670-671
Publisher: ACM Press
May 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)VolumeII, Page 456-479
In Gesamtzentrum für Verkehr Braunschweig e.V., Editor
Publisher: GZVB
February 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
October 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 ReportVolumetr-ri-04-253, Page 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, GermanyVolume3219fromLecture Notes in Computer Science (LNCS)
Publisher: 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, Page 1-6
In P. Drews, Editor
Publisher: 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, Page 155-169
In U. Amann, Editor
June 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, LuxembourgVolume2952, Page 128-138
In N. Guelfi and E. Artesiano and G. Reggio, Editor
Publisher: 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), Page 21-32
In Henderson-Sellers, B and Debenham, J, Editor
October 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 PaderbornVolumetr-ri-04-247
In Holger Giese and Albert Zündorf, Editor
October 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, Page 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), Page 38-47
Publisher: ACM Press
September 2003