Logo des Repositoriums

Auflistung nach Autor:in "Lipaczewski, Michael"

1 - 2 von 2
  • 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
    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.