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

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) Volume II, Page 456-479
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 Report Volume tr-ri-04-253, Page 27-30
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, Germany Volume 3219 from Lecture 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
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
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, Luxembourg Volume 2952, Page 128-138
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
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 Paderborn Volume tr-ri-04-247
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
4.
Tichy, Matthias; Giese, H.
An Architecture for Configurable Dependability of Application Services
In Rogerio de Lemos and Christina Gacek and Alexander Romanowsky, Editor, Proc. of the Workshop on Software Architectures for Dependable Systems (WADS) (International Conference on Software Engineering 2003 Workshop 7), Portland, USA
May 2003

2002

3.
Tichy, Matthias
Eine Laufzeitumgebung für sich spontan vernetzende Komponenten in verteilten Systemen
In Gesellschaft für Informatik, Editor, Bericht Informatiktage 2002, Bad Schussenried, Germany
Publisher: Conradin Verlag, Grasbrunn
November 2002
2.
Gehrke, M.; Giese, H.; Nickel, U. A.; Niere, J.; Tichy, Matthias; Wadsack, J. P.; Zündorf, A.
Reporting about Industrial Strength Software Engineering Courses for Undergraduates
Proc. of the 24th International Conference on Software Engineering (ICSE), Orlando, Florida, USA, Page 395-405
Publisher: ACM Press
May 2002

2001

1.
Tichy, Matthias
A Jini-supported Distributed Version and Configuration Management System
Proc. of the International Symposium on Convergence of IT and communications (ITCom2001), Denver, USA, Page 7-15
Publisher: International Society for Optical Engineering
August 2001