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

2012

54.
Becker, Steffen; Tichy, Matthias
Towards Model-Driven Evolution of Performance Critical Business Information Systems to Cloud Computing Architecture
Proceedings of Modellbasierte und Modellgetriebene Softwaremodernisierung, Workshop at Modellierung 2012
March 2012
53.
Dziwok, Stefan; Bröker, Kathrin; Heinzemann, Christian; Tichy, Matthias
A Catalog of Real-Time Coordination Patterns for Advanced Mechatronic Systems
Document Number: tr-ri-12-319
University of Paderborn
February 2012
52.
Becker, Steffen; Brenner, Christian; Dziwok, Stefan; Gewering, Thomas; Heinzemann, Christian; Pohlmann, Uwe; Priesterjahn, Claudia; Schäfer, Wilhelm; Suck, Julian; Sudmann, Oliver; Tichy, Matthias
The <prt>MechatronicUML</prt> Method - Process, Syntax, and Semantics
Document Number: tr-ri-12-318
University of Paderborn
February 2012
51.
Tichy, Matthias; Klöpper, Benjamin
Planning Self-Adaption with Graph Transformations
In Andy Schürr and Dániel Varró and Gergely Varró, Editor, Applications of Graph Transformation with Industrial Relevance, 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011Volume7233fromLecture Notes in Computer Science
In Andy Schürr and Dániel Varró and Gergely Varró, Editor
Publisher: Springer Verlag
2012
50.
Dziwok, Stefan; Heinzemann, Christian; Tichy, Matthias
Real-Time Coordination Patterns for Advanced Mechatronic Systems
, Proceedings of the 14th International Conference on Coordination Languages and Models (COORDINATION), 2012, Stockholm, SwedenVolume7274fromLecture Notes in Computer Science
Publisher: Springer Verlag
2012
49.
Abdullah Al Mamun, Md; Tichy, Matthias; Hansson, Jörgen
Towards Formalizing Assumptions on Architectural Level: A Proof-of-Concept
from Technical Report
Document Number: 2012:02
Chalmers University of Technology and Gothenburg University, Gothenburg, Sweden
2012

2011

48.
Tichy, Matthias; Oestersötebier, Felix; Schierbaum, Thomas
Entwurfstechnik intelligente Mechatronik
Proc. Internationales Forum Mechatronik 2011, 21. bis 22. September, 2011, Cham, Deutschland
September 2011
47.
Priesterjahn, Claudia; Sondermann-Wölke, Christoph; Tichy, Matthias; Hölscher, Christian
Component-based Hazard Analysis for Mechatronic Systems
Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC), Page 80-87
March 2011
DOI:http://doi.ieeecomputersociety.org/10.1109/ISORCW.2011.19
46.
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, EstoniaVolume2012, 1fromKasseler Informatikschriften
In Ulrich Norbisrath and Ruben Jubeh, Editor
2011
45.
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
44.
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
43.
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
42.
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, 2011Volume56fromLinköping Electronic Conference Proceedings, Page 75-84
In François E. Cellier and David Broman and Peter Fritzson and Edward A. Lee, Editor
Publisher: Linköping University Electronic Press
2011
41.
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

2010

40.
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
March 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