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

2011

46.
Frieben, Jens; Tichy, Matthias
Automatic Deployment of <prt>IEC</prt> 61499 Function Blocks onto Interconnected Devices
Tagungsband: SPS/IPC/DRIVES 2011: Elektrische Automatisierung - Systeme und Komponenten, Fachmesse & Kongress
2011
45.
Priesterjahn, Claudia; Steenken, Dominik; Tichy, Matthias
Component-based Timed Hazard Analysis of Self-healing Systems
Proc. of the Workshop on Assurances for Self-Adaptive Systems at ESEC/FSE 2011, Szeged, Hungary
2011
DOI:http://dx.doi.org/10.1145/2024436.2024444
44.
Becker, Steffen; Dziwok, Stefan; Gewering, Thomas; Heinzemann, Christian; Pohlmann, Uwe; Priesterjahn, Claudia; Schäfer, Wilhelm; Sudmann, Oliver; Tichy, Matthias
Mechatronic<prt>UML</prt> - Syntax and Semantics
Software Engineering Group, Heinz Nixdorf Institute
2011
43.
Pohlmann, Uwe; Tichy, Matthias
Modelica code generation from ModelicaML state machines extended by asynchronous communication
In François E. Cellier and David Broman and Peter Fritzson and Edward A. Lee, Editor, Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2011, Zurich, Switzerland, September 5, 2011Band56ausLinköping Electronic Conference Proceedings, Seite 75-84
In François E. Cellier and David Broman and Peter Fritzson and Edward A. Lee, Editor
Herausgeber: Linköping University Electronic Press
2011
42.
Brink, Christopher; Greenyer, Joel; Schäfer, Wilhelm; Hahn, Martin; Tichy, Matthias
Simulation von hybridem <prt>V</prt>erhalten in <prt>CAMeL-View</prt>
Wissenschaftsforum <prt>I</prt>ntelligente <prt>T</prt>echnische <prt>S</prt>ysteme 2011, Paderborn
2011
41.
Tichy, Matthias
A Master Level Course on Modeling Self-Adaptive Systems with Graph Transformations
In Ulrich Norbisrath and Ruben Jubeh, Editor, Proc. of the 8th International Fujaba Days 2011, Tartu, EstoniaBand2012, 1ausKasseler Informatikschriften
In Ulrich Norbisrath and Ruben Jubeh, Editor
2011

2010

40.
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
März 2010
39.
Schäfer, Wilhelm; Eckardt, Tobias; Henke, Christian; Kaiser, Lydia; Kerstan, Timo; Rieke, Jan; Tichy, Matthias
Der <prt>S</prt>oftwareentwurf im <prt>E</prt>ntwicklungsprozess mechatronischer <prt>S</prt>ysteme
7. Paderborner Workshop Entwurf mechatronischer Systeme, 18. und 19. März 2010, Paderborn
März 2010
38.
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 systemsausMBEERTS'07, Seite 309--315
Herausgeber: Springer-Verlag, Berlin, Heidelberg
2010
37.
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, Seite 74-83
Herausgeber: IEEE Computer Society
2010
DOI:10.1109/SASO.2010.16
36.
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. ProceedingsBand6407ausLecture Notes in Computer Science, Seite 47-61
In Bing Xie and Jürgen Branke and Seyed Masoud Sadjadi and Daqing Zhang and Xingshe Zhou, Editor
Herausgeber: Springer
2010
DOI:http://dx.doi.org/10.1007/978-3-642-16576-4_4

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, Seite 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
Oktober 2008
33.
Holtmann, J.; Tichy, Matthias
Component Story Diagrams in Fujaba4Eclipse
Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, Seite 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, Seite 1-2
Mai 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, Seite 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, 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.
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
22.
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