Frank Ortmeier

Frank Ortmeier
Mail: frank.ortmeier@ovgu.de
Room: G29, R404
Phone: +49 391 67 52804

Since 2013, I am head of the „Chair of Software Engineering (CSE)“ at the Otto-von-Guericke-University Magdeburg. Before that I had been an associate professor for „Computer Systems in Engineering“ and a Post-Doc at Augsburg University.

Currently, I am leading several research projects, coordinating the Bachelor program „Ingenieurinformatik“ and the Master program „Digital Engineering“ and I am a founding member of the university compentence Center for Digital Engineering, Management and Operations.

The leading theme of my research is making advances in Computer Science available for engineering applications – with a special focus on methods from Software Engineering, formal specification techniques and robotics. Lack of Efficiency in developing new, dependable aoftware for almost any Domain of Engineering is – in my opinion – probably the biggest hurdle for new innovations.

In the last years, many new ideas from software engineering research already found their path to industrial practice for „Mainstream“ IT-applications. At the same time, development process, languages and paradigms for robotics, automotive systems or production automation have not changed a lot.

As a consequence software development and maintenance costs explode and software is often becoming a risk factor in engineering. This is in particular important as many new innovations in engineering, production or even the products are based on smart IT.

Research focus:

  • Software engineering for technical applications and embedded systems
  • Model-based approaches for software-intensive systems
  • Self-organization as a new programming paradigm
  • Systems Engineering
  • Design and analysis of highly safety critical applications
  • Techniques for designing an integrated view on dependability covering various facets like safety, reliability, security, transparency and user-trust

 Teaching activities

Up to date information on current lectures may be found in the „For Students“ sections. In general my lectures are organized around the following topics:

  • Software Engineering
  • Clean Code Development
  • Software Engineering for technical applications
  • Software develpoment for industrial robotics
  • Specification methods and model-based approaches
  • Safety critical Systems
  • Mobile devices

 Ongoing activities and projects (excerpt):

  • Project: VIP-MoBaSA – „Validation of model-based approaches for dependable systems“
  • Project: ProMoSA – „Probabilistic Models for Safety Analysis“
  • Project: ViERforES – „Virtuelle und Erweiterte Realitaeten für hoechste Sicherheit und Zuverlaessigkeit von EingebettetenSystemen“
  • Project: TDL – Trajectory Description Language
  • Member of EWICS TC 7: The European Workshop on Industrial Computer Systems, Technical Committee 7, Safety, Reliability and Security
  • Member of „Gesellschaft für Systems Engineering“
  • General Chair and PC Chair of SAFECOMP2012
  • Speaker of regional sub-group „Sachsen-Anhalt“ of the „Gesellschaft für Informatik“
  • Organizer of workshop „Software Engineering for mechatronical systems“ (2007 and 2008)
  • Tutorials on model based safety analysis at the SAFECOMP conference (2008 and 2009)
  • Reviewer and PC member for various international conferences and journal
Frank Ortmeier

Publications

141 Einträge « 3 von 3 »

2013

Trojahn, Matthias; Ortmeier, Frank

Re-Authentication Model for Mobile Đevices Forschungsbericht

GI FG SIDAR Proceedings of the Eight GI SIG SIDAR Graduate Workshop on Reactive Security (SPRING), 2013.

Links | BibTeX

2010

Güdemann, Matthias; Ortmeier, Frank

Quantitative Model-Based Safety Analysis: A Case Study Konferenz

Proceedings of 5th conference for Sicherheit, Schutz und Zuverlaessigkeit (SICHERHEIT 10), Lecture Notes in Informatics (LNI), 2010.

Links | BibTeX

2009

Angerer, Andreas; Hoffmann, Alwin; Ortmeier, Frank; Vistein, Michael

Robotik aus Redmond - eine neue Ära? Konferenz

Computer & Automation 04/2009, WEKA FACHMEDIEN GmbH, 2009.

Abstract | Links | BibTeX

Vistein, Michael; Ortmeier, Frank; Reif, Wolfgang; Huuck, Ralf; Fehnker, Ansgar

An Abstract Specification Language for Static Program Analysis Konferenz

Proceedings of 4th International Workshop on System Software Verification (SSV'09), 2009.

Abstract | Links | BibTeX

Nafz, Florian; Ortmeier, Frank; Seebach, Hella; Steghöfer, Jan-Philipp; Reif, Wolfgang

A Generic Software Framework for Role-Based Organic Computing Systems Inproceedings

SEAMS 2009: ICSE 2009 Workshop Software Engineering for Adaptive and Self-Managing Systems, 2009.

Abstract | Links | BibTeX

Hoffmann, Alwin; Angerer, Andreas; Ortmeier, Frank; Vistein, Michael; Reif, Wolfgang

Hiding Real-Time: A new Approach for the Software Development of Industrial Robots Konferenz

Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2009.

Abstract | Links | BibTeX

Nafz, Florian; Ortmeier, Frank; Seebach, Hella; Steghöfer, Jan-Philipp; Reif, Wolfgang

A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems Konferenz

Proceedings of the 6th International Conference on Autonomic and Trusted Computing (ATC-09), 2009.

Abstract | Links | BibTeX

Angerer, Andreas; Hoffmann, Alwin; Ortmeier, Frank; Vistein, Michael; Reif, Wolfgang

Object-Centric Programming: A New Modeling Paradigm for Robotic Applications Konferenz

Proceedings of IEEE International Conference on Automation and Logistics, 2009.

Abstract | Links | BibTeX

2008

Ortmeier, Frank; Balser, Michael; Dunets, Andriy; Bäumler, Simon

Embedding CTL* in an Extension to Interval Temporal Logic (ITL) Forschungsbericht

Univerity of Augsburg (2008-16), 2008.

Abstract | BibTeX

Güdemann, Matthias; Ortmeier, Frank; Reif, Wolfgang

Developing Safety-critical Mechatronical Systems Buchkapitel mit eigenem Titel

Gausemeier, Jürgen; Rammig, Franz; Schäfer, Wilhelm (Hrsg.): Self-optimizing Mechatronic Systems: Design the Future, 223 , HNI-Verlagsschriftenreihe, 2008.

Abstract | Links | BibTeX

Ortmeier, Frank; Hoffmann, Alwin; Reif, Wolfgang; Huggenberger, Ulrich; Stumpfegger, Thomas

Simulations-basierte Programmierung von Industrierobotern Konferenz

Proceedings of Internationales Forum Mechatronik, 2008.

Links | BibTeX

Hoffmann, Alwin; Nafz, Florian; Ortmeier, Frank; Schierl, Andreas; Reif, Wolfgang

Prototyping Plant Control Software with Microsoft Robotics Studio Konferenz

Proceedings of the 3rd International Workshop on "Software Development and Integration in Robotics" (SDIR-III), IEEE International Conference on Robotics and Automation, 2008.

Abstract | Links | BibTeX

Nafz, Florian; Ortmeier, Frank; Seebach, Hella; Reif, Wolfgang

Organic Computing for Health Care Systems - Possible Benefits and Challenges Konferenz

HEALTHINF (2), 2008.

Links | BibTeX

Nafz, Florian; Ortmeier, Frank; Seebach, Hella; Steghöfer, Jan-Philipp; Reif, Wolfgang

Implementing Organic Systems with AgentService Konferenz

Evaluation of Novel Approaches to Software Engineering ENASE 2008, Springer, 2008.

Abstract | Links | BibTeX

Güdemann, Matthias; Nafz, Florian; Ortmeier, Frank; Seebach, Hella; Reif, Wolfgang

A Specification and Construction Paradigm for Organic Computing Systems Inproceedings

Brückner, Sven; Robertson, Paul; Bellur, Umesh (Hrsg.): Proceedings of the 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems, S. 233-242, IEEE Computer Society Press (2008), 2008.

Abstract | Links | BibTeX

Güdemann, Matthias; Ortmeier, Frank; Reif, Wolfgang

Computing Ordered Minimal Critical Sets Konferenz

Proceedings of the 7th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 08), 2008.

Abstract | Links | BibTeX

2007

Güdemann, Matthias; Angerer, Andreas; Ortmeier, Frank; Reif, Wolfgang

Modeling of Self-Adaptive Systems with SCADE Inproceedings

2007.

Abstract | Links | BibTeX

Güdemann, Matthias; Ortmeier, Frank; Reif, Wolfgang

Using Deductive Cause Consequence Analysis (DCCA) with SCADE Inproceedings

Proceedings of SAFECOMP 2007, Springer LNCS 4680, 2007.

Abstract | Links | BibTeX

Ortmeier, Frank; Güdemann, Matthias; Reif, Wolfgang

Formal Failure Models Konferenz

Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS 07), Elsevier, 2007.

Abstract | Links | BibTeX

Seebach, Hella; Ortmeier, Frank; Reif, Wolfgang

Design and Construction of Organic Computing Systems Konferenz

Proceedings of the IEEE Congress on Evolutionary Computation 2007, IEEE Computer Society Press, 2007.

Abstract | Links | BibTeX

2006

Güdemann, Matthias; Ortmeier, Frank; Reif, Wolfgang

Formal Modeling and Verification of Systems with Self-x Properties Konferenz

Proceedings of the 3rd International Conference on Autonomic and Trusted Computing (ATC-06), 4158 , Lecture Notes in Computer Science Springer, Berlin/Heidelberg, 2006, ISBN: 978-3-540-38619-3.

Abstract | Links | BibTeX

Haneberg, Dominik; Bäumler, Simon; Balser, Michael; Grandy, Holger; Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard; Schmitt, Jonathan; Stenzel, Kurt

The User Interface of the KIV Verification System - A System Description Artikel

Electronic Notes in Theoretical Computer Science UITP special issue, 2006.

Abstract | Links | BibTeX

Ortmeier, Frank

Formale Sicherheitsanalyse Buch

Logos Verlag Berlin, 2006.

Links | BibTeX

Güdemann, Matthias; Ortmeier, Frank; Reif, Wolfgang

Safety and Dependability Analysis of Self-Adaptive Systems Konferenz

Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 06), IEEE CS Press, 2006.

Abstract | Links | BibTeX

Ortmeier, Frank; Schellhorn, Gerhard

Formal Fault Tree Analysis - Practical Experiences Konferenz

Proceedings of 6th International Workshop On Automated Verification of Critical Systems (AVoCS 06), 2006.

Links | BibTeX

2005

Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard

Formal Safety Analysis of a Radio-Based Railroad Crossing using Deductive Cause-Consequence Analysis (DCCA) Inproceedings

Proceedings of 5th European Dependable Computing Conference (EDCC 05), Springer, 2005.

Abstract | Links | BibTeX

Haneberg, Dominik; Bäumler, Simon; Balser, Michael; Grandy, Holger; Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard; Schmitt, Jonathan; Stenzel, Kurt

The User Interface of the KIV Verification System --- A System Description Konferenz

Proceedings of UITP 05, 2005.

Links | BibTeX

Ortmeier, Frank; Reif, Wolfgang

Formal Safety Analysis of Transportation Control Systems Konferenz

Workshop at SEFM 2005, 2005.

Links | BibTeX

Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard

Deductive Cause-Consequence Analysis (DCCA) Konferenz

Proceedings of the 16th IFAC World Congress, Elsevier, 2005, ISBN: 978-3-902661-75-3.

Links | BibTeX

Ortmeier, Frank; Schellhorn, Gerhard; Thums, Andreas; Reif, Wolfgang

Formale Sicherheitsanalyse - Eine Anwendungsfallstudie: Das Höhenkontrollsystem des Elbtunnels in Hamburg Artikel

atp - Automatisierungstechnische Praxis, 2 , S. 52-59, 2005.

Links | BibTeX

2004

Ortmeier, Frank; Thums, Andreas; Schellhorn, Gerhard; Reif, Wolfgang

Combining Formal Methods and Safety Analysis -- The ForMoSA Approach Buchkapitel mit eigenem Titel

Integration of Software Specification Techniques for Applications in Engineering (INT 04), Springer LNCS 3147, 2004.

Abstract | Links | BibTeX

Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard

Introduction to Subject Area "Verification" Buchkapitel mit eigenem Titel

Integration of Software Specification Techniques for Applications in Engineering, Springer LNCS 3147, 2004.

Abstract | Links | BibTeX

Ortmeier, Frank; Reif, Wolfgang

Failure-Sensitive Specification: A Formal Method for Finding Failure Modes Forschungsbericht

Institut f (3), 2004.

Links | BibTeX

Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard; Thums, Andreas

Integrated Formal Methods for safety analysis of train systems Konferenz

Kluwer Academic Press, 2004, ISBN: 1-4020-8156-1.

Links | BibTeX

Thums, Andreas; Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard

Interactive Verification of Statecharts Inproceedings

Ehrig, Hartmut (Hrsg.): Integration of Software Specification Techniques for Applications in Engineering, S. 355 – 373, Springer LNCS 3147, 2004.

Abstract | Links | BibTeX

Ortmeier, Frank; Schellhorn, Gerhard; Reif, Wolfgang

Safety Optimization of a radio-based railroad crossing Konferenz

Proceedings of Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2004), 2004, ISBN: 3-9803363-8-7.

Links | BibTeX

Ortmeier, Frank; Reif, Wolfgang

Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques Konferenz

Proceedings of the Conference on Dependable Systems and Networks (DSN 04), IEEE Computer Society, Florence, 2004, ISBN: 0-7695-2052-9.

Links | BibTeX

2003

Thums, Andreas; Ortmeier, Frank

Formal Safety Analysis in Ŧransportation Control Konferenz

International Workshop on Software Specification of Safety Relevant Transportation Control Tasks, 12 (no. 535) , VDI Fortschritt-Berichte VDI Verlag GmbH, 2003.

BibTeX

Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard; Thums, Andreas; Hering, Bernhard; Trappschuh, Helmut

Safety Analysis of the Ħeight Control System for the Elbtunnel Artikel

Reliability Engineering and System Safety, 81 (3), S. 259–268, 2003.

Abstract | Links | BibTeX

2002

Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard; Thums, Andreas; Hering, Bernhard; Trappschuh, Helmut

Safety Analysis of the Height Control System for the Elbtunnel Konferenz

SafeComp 2002, Springer LNCS 2434, Catania, Italy, 2002.

Links | BibTeX

Ortmeier, Frank; Thums, Andreas

Formale Methoden und Sicherheitsanalyse Forschungsbericht

Universit (15), 2002, ((in German)).

Links | BibTeX

141 Einträge « 3 von 3 »