Logo des Repositoriums

Auflistung nach Autor:in "Ortmeier, Frank"

1 - 5 von 5
  • Konferenzbeitrag
    Handlungsadaptive Produktionsassistenz
    (INFORMATIK 2012, 2012) Lipaczewski, Michael; Ortmeier, Frank
    In fast allen Industrienationen stellt der demographische Wandel und die erhöhte Lebenserwartung die Gesellschaftssysteme vor große Herausforderungen. Die Verlängerung des durchschnittlichen Lebensalters führt dazu, dass auch die Arbeits- fähigkeit länger und gesundheitsverträglicher gewährleistet werden muss. Im Besonderen Tätigkeiten in der industriellen Produktion sind hiervon betroffen. Sowohl physisch als auch psychisch sind über lange Zeiträume ausgeführte, monotone Handlungen, wie sie beispielsweise in der Fließbandproduktion üblich sind, extrem belastend. In Zukunft werden die steigende Automatisierung sowie die fortschreitende Mensch-Maschine-Kooperation die wenigen Flexibilitäten und Freiräume der Werker weiter reduzieren. Dies liegt in erster Linie daran, dass heutige Automatisierungssysteme nur äußerst starre Abläufe beherrschen. In diesem Papier diskutieren wir Ansätze und Herausforderungen, wie im Kontext industrieller Produktion einerseits Handlungsflexibilität erhöht werden kann und gleichzeitig Produktivitätssteigerungen durch Automatisierung weiter möglich sind.
  • Konferenzbeitrag
    A pragmatic approach for debugging parameter-driven software
    (Software Engineering 2013, 2013) Ortmeier, Frank; Struck, Simon; Meinicke, Jens
    Debugging a software system is a difficult and time consuming task. This is in particular true for control software in technical systems. Such software typically has a very long life cycle, has been programmed by engineers and not computer scientists, and has been extended numerous times to adapt to a changing environment and new technical products. As a consequence, the software is often not in an ideal condition. Additionally, such software often faces real-time requirements, which often makes it impossible to use dynamic techniques (e. g., single-stepping or tracing). Technically, such software is often realized in C/C++ in a rather imperative programming style. Adaptation and extension is often done by adding configuration parameters. As a consequence, checking for correctness as well as debugging requires to consider the source code as well as its configuration parameters. In this paper, we propose a pragmatic approach to debugging such software. The approach was designed such that (a) it does not require any understanding of the software before starting, and (b) that it can be easily used by programmers and not only by experts. We evaluated the approach on an artificial but realistic case study provided by Robert Bosch GmbH.
  • Konferenzbeitrag
    Quantitative model-based safety analysis: a case study
    (Sicherheit 2010. Sicherheit, Schutz und Zuverlässigkeit, 2010) Güdemann, Matthias; Ortmeier, Frank
    The rising complexity of many safety-critical systems necessitates new analysis methods. Model-based safety analysis approaches aim at finding critical failure combinations by analysis of models of the whole system (i.e. software, hardware, and failure modes). The big advantage of these methods compared to traditional approaches is that the results are of very high significance. Until now, model-based approaches have only to a limited extent been applied to answer quantitative questions in safety analysis. Model-based approaches in this context are often limited to analysis of specific failure propagation models. They do not include system dynamics and behavior. A consequence is, that the methods are very error-prone because of wrong assumptions. New achievements in the domain of (probabilistic) model-checking now allow for overcoming this problem. This paper illustrates how such an approach for quantitative model-based safety analysis is used to model and analyze a real-world case study from the railway domain.
  • Zeitschriftenartikel
    Quantitative Model-Based Safety Analysis: A Case Study
    (FERS-Mitteilungen: Vol. 29, No. 1, 2011) Güdemann, Matthias; Ortmeier, Frank
    The rising complexity of many safety-critical systems necessitates new analysis methods. Model-based safety analysis approaches aim at finding critical failure combinations by analysis of models of the whole system (i.e. software, hardware, and failure modes). The big advantage of these methods compared to traditional approaches is that the results are of very high significance. Until now, model-based approaches have only to a limited extent been applied to answer quantitative questions in safety analysis. Model-based approaches in this context are often limited to analysis of specific failure propagation models. They do not include system dynamics and behavior. A consequence is, that the methods are very error-prone because of wrong assumptions. New achievements in the domain of (probabilistic) model-checking now allow for overcoming this problem. This paper illustrates how such an approach for quantitative model-based safety analysis is used to model and analyze a real-world case study from the railway domain.
  • Konferenzbeitrag
    Using model-based analysis in certification of critical software-intensive systems
    (Software Engineering 2012. Workshopband, 2012) Ortmeier, Frank; Struck, Simon; Lipaczewski, Michael
    Software is taking over more and more functionality in most technical systems, which leads to the term software-intensive or cyber-physical systems. Although this offers many exciting new opportunities, it also makes precise analysis of safety and reliability goals much more complicated. Well-known traditional techniques often reach their limits. Model-based approaches on the other hand can be useful for solving some of these problems. However, in industrial practice answering the question alone is often not sufficient. It is also necessary to explain how answers were found. In this paper, we will show some of the capabilities of modern model-based analysis methods and highlight how they possibly could be used in safety engineering resp. what obstacles need to be avoided.