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.

Research Projects as PI

  • ENsurance of Software evolUtion by Run-time cErtification (ENSURE) with Prof. Lars Grunske, HU Berlin, Germany) as part of the German Science Foundation Priority Program 1593 "Design for Future - Managed Software Evolution", 07/2012-12/2018

  • Amalthea4Public, ITEA project, 09/2014-08/2017

  • CRYSTAL - Critical Systems Acceleration, Artemis project, 05/2013-04/2016

    Special Issues

  • Co-Editor of the Special Issue for Rapid Continuous Software Engineering 2, Journal of Systems and Software, 2016

  • Co-Editor of the Special Issue for Rapid Continuous Software Engineering, Journal of Systems and Software, 2015

Organization of Conferences and Workshops

Journal Reviewing

Commitee Membership in Conferences and Workshops

http://www.tichy.de

Publikationen


2008

29.
default
Henke, C.; Tichy, Matthias; Schneider, T.; Böcker, J. und 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
28.
default
Tichy, Matthias; Henkler, S.; Holtmann, J. und 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 , Seite 27-39.
2008

2007

27.
default
Tichy, Matthias und 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
26.
default
Gausemeier, J.; Giese, H.; Schäfer, W.; Axenath, B.; Frank, U.; Henkler, S.; Pook, S. und 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
25.
default
Danne, C.; Dück, V.; Klöpper, B.; Brinkmann, J. und 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

Bemerkung: acceptance rate 30%

24.
default
Burmester, S.; Giese, H.; Henkler, S.; Hirsch, M.; Tichy, Matthias; Gambuzza, A.; Münch, E. und 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
23.
default
Frank, U.; Giese, H.; Müller, T.; Oberthür, S.; Romaus, C.; Tichy, Matthias und 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

22.
default
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
21.
default
Giese, H. und 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, Poland aus Lecture Notes in Computer Science (LNCS) , Seite 156-169.
Herausgeber: Springer Verlag,
September 2006

Bemerkung: acceptance rate 32/101

20.
default
Tichy, Matthias; Giese, H. und 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.
September 2006
19.
default
Tichy, Matthias; Meyer, M. und Giese, H.
On Semantic Issues in Story Diagrams
Dokument Nummer: tr-ri-06-275
University of Paderborn,
September 2006
18.
default
Klein, F. und 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
17.
default
Giese, H.; Henkler, S.; Hirsch, M.; Tichy, Matthias und Vöcking, H.
Modellbasierte Entwicklung vernetzter, mechatronischer Systeme am Beispiel der Konvoifahrt autonom agierender Schienenfahrzeuge
Proc. of the Fourth Paderborner Workshop Entwurf mechatronischer Systeme Band 189 , Seite 457-473.
Herausgeber: HNI-Verlagsschriftenreihe,
Mai 2006

2005

16.
default
Tichy, Matthias und 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
15.
default
Burmester, S.; Giese, H.; Seibel, A. und 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
14.
default
Burmester, S.; Giese, H.; Hirsch, M.; Schilling, D. und 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
13.
default
Gausemeier, J.; Frank, U.; Giese, H.; Klein, F.; Schmidt, A.; Steffen, D. und 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) Band II , Seite 456-479.
Herausgeber: GZVB,
Februar 2005

2004

12.
default
Tichy, Matthias; Schilling, D. und 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
11.
default
Giese, H.; Tichy, Matthias und 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, Germany Band 3219 aus Lecture Notes in Computer Science (LNCS)
Herausgeber: Springer Verlag,
September 2004

Bemerkung: acceptance rate 24/63

10.
default
Steffen, D.; Gehrke, M. und 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.
Herausgeber: Sascha Eysoldt Verlag, Aachen,
September 2004
9.
default
Tichy, Matthias; Becker, B. und 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 Report Band tr-ri-04-253 , Seite 27-30.
September 2004

2003

8.
default
Tichy, Matthias und 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, Luxembourg Band 2952 , Seite 128-138.
Herausgeber: Springer Verlag LNCS,
November 2003
7.
default
Tichy, Matthias und 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 Paderborn Band tr-ri-04-247
Oktober 2003
6.
default
Giese, H.; Tichy, Matthias; Burmester, S.; Schäfer, W. und 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

Bemerkung: acceptance rate 33+9/168

5.
default
Burmester, S.; Giese, H.; Niere, J.; Tichy, Matthias; Wadsack, J. P.; Wagner, R.; Wendehals, L. und 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

Kontakt

  • Institut für Softwaretechnik und Programmiersprachen
  • Universität Ulm
  • D-89069 Ulm
  •  
  • Telefon: +49 (0)731/50-24160
  • Telefax: +49 (0)731/50-24162
  • E-Mail: matthias.tichy (at) uni-ulm.de