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

2010

39.
Tichy, Matthias; Hirsch, Martin; Brink, Christopher; Gerking, Christopher; Hahn, Martin; Schäfer, Wilhelm
Integration hybrider <prt>M</prt>odellierungstechniken in <prt>CAMeL-View</prt>
7. Paderborner Workshop Entwurf mechatronischer Systeme, 18. und 19. März 2010, Paderborn
March 2010
38.
Seebach, Hella; Nafz, Florian; Holtmann, Jörg; Meyer, Jan; Tichy, Matthias; Reif, Wolfgang; Schäfer, Wilhelm
Designing Self-healing in Automotive Systems
In Bing Xie and Jürgen Branke and Seyed Masoud Sadjadi and Daqing Zhang and Xingshe Zhou, Editor, Autonomic and Trusted Computing - 7th International Conference, ATC 2010, Xi'an, China, October 26-29, 2010. ProceedingsVolume6407fromLecture Notes in Computer Science, Page 47-61
In Bing Xie and Jürgen Branke and Seyed Masoud Sadjadi and Daqing Zhang and Xingshe Zhou, Editor
Publisher: Springer
2010
DOI:http://dx.doi.org/10.1007/978-3-642-16576-4_4
37.
Priesterjahn, Claudia; Tichy, Matthias; Henkler, Stefan; Hirsch, Martin; Schäfer, Wihelm
Fujaba4eclipse real-time tool suite
Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systemsfromMBEERTS'07, Page 309--315
Publisher: Springer-Verlag, Berlin, Heidelberg
2010
36.
Klöpper, Benjamin; Honiden, Shinichi; Meyer, Jan; Tichy, Matthias
Planning with Utility and State Trajectory Constraints in Self-Healing Automotive Systems
Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2010, Budapest, Hungary, 27 September - 1 October 2010, Page 74-83
Publisher: IEEE Computer Society
2010
DOI:10.1109/SASO.2010.16

2009

35.
Priesterjahn, C.; Tichy, Matthias
Modeling Safe Reconfiguration with the FUJABA Real-Time Tool Suite
In Pieter van Gorp, Editor, Proceedings of the 7th International Fujaba Days, Eindhoven, The Netherlands, Page 20-24
In Pieter van Gorp, Editor
November 2009

2008

34.
Henke, C.; Tichy, Matthias; Schneider, T.; Böcker, J.; Schäfer, W.
Organization and Control of Autonomous Railway Convoys
Proceedings of the 9th International Symposium on Advanced Vehicle Control, Kobe, Japan
October 2008
33.
Holtmann, J.; Tichy, Matthias
Component Story Diagrams in Fujaba4Eclipse
Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, Page 44-47
September 2008
32.
Tichy, M.; Henkler, S.; Meyer, M.; von Detten, M.
Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse
Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany, Page 1-2
May 2008
31.
Henke, C.; Tichy, Matthias; Schneider, T.; Böcker, J.; Schäfer, W.
System Architecture and Risk Management for Autonomous Railway Convoys
Proceedings of the 2nd Annual IEEE International Systems Conference, Montreal, Canada
April 2008
30.
Tichy, Matthias; Henkler, S.; Holtmann, J.; Oberthür, S.
Towards a Transformation Language for Component Structures
Postproc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, Page 27-39
2008

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