Fraunhofer-Institut für Produktionsanlagen und Konstruktionstechnik IPK

Filters

42
1
Reset filters

Settings
Now showing 1 - 10 of 42
  • Publication
    Integrating model checking and model based testing for industrial software development
    ( 2019)
    Villani, E.
    ;
    Pontes, R.P.
    ;
    Coracini, G.K.
    ;
    Ambrosio, A.M.
    With the purpose of making the use of model based techniques in industrial software development more efficient, this work proposes the combined application of two verification techniques: model checking with UPPAAL and CoFI (Conformance and Fault Injection) model based testing with ConData. This combination is supported by ConTEA, a software tool for automatically connecting UPPAAL to ConData, and, therefore, explore both techniques simultaneously. We present the tool and discuss the use of ConTEA in two different development processes. The first process investigates how CoFI can contribute to identify gaps in the specification and implicit assumptions made by engineers when applying model checking. The second process focuses on how model checking can improve the development and verification of the models that are used for model based testing. The proposed processes were applied to three case studies. Based on them, we compare the proposed processes to the traditional CoFI and UPPAAL stand-alone processes. The results indicate that the combined use of the two verification technique contributes to the identification of a large range of diversified errors and problems early in the development cycle.
  • Publication
    Selbstorganisierende Produktion
    ( 2013)
    Uhlmann, E.
    ;
    Hohwieler, E.
    ;
    Kraft, M.
    Zukünftig sollen in der selbstorganisierenden Produktion mit verteilter Intelligenz die Objekte in der Produktion zusätzlich mit eigener Intelligenz ausgestattet werden und so Aufgaben der Koordination und Steuerung von Produktionsabläufen übernehmen können. Diese produktgesteuerte Fertigung sieht statt der bisherigen zentralen Planung und Steuerung ein Multiagentensystem mit der Möglichkeit zu Auktionen durch Verhandlungsmechanismen als Mittel zur Selbstorganisation vor. Der Beitrag gibt einen Überblick über die im Projekt "Selbstorganisierende Produktion - SOPRO" verfolgten Ansätze bei denen Softwareagenten zwischen Aufträgen und Ressourcen zur Festlegung der Bearbeitungsreihenfolge verhandeln.
  • Publication
    Ressourcenschonender Einsatz von (Kühl)schmierstoffen
    ( 2012)
    Spielvogel, A.
    ;
    Langbein, J.E.
    ;
    Oberschmidt, D.
    Das Ziel einer nachhaltigen Produktion kann nur erreicht werden, wenn ganzheitliche Lösungen erzielt werden. Der Beitrag zeigt, wie effektives Fluidmanagement und Anlagendesign eingesetzt werden können, um den Einsatz von Schmierstoffen effizient und nachhaltig zu gestalten.
  • Publication
    Identity recognition-based correction mechanism for face tracking
    ( 2010)
    Stasiak, L.
    ;
    Vicente-Garcia, R.
    A system for parallel face detection, tracking and recognition in real-time video sequences is being developed. The particle filtering is utilized for the purpose of combined and effective detection, tracking and recognition. Temporal information contained in videos is utilized. Fast, skin color-based face extraction and normalization technique is applied. Consequently, real-time processing is achieved. Implementation of face recognition mechanisms within the tracking frame- work is used not only for the purpose of identity recognition, but also to improve the tracking robustness in case of multi-person tracking scenarios. In such scenarios, face-to-track assignment conflicts can often be resolved with the use of motion modeling. However, in case of close trajectories, motio n-based conflict resolution can be erroneous. Identity clue can be used to improve tracking quality in such cases. This paper describes the concept of face tracking corrections with the use of identity recognition mechanism, implemented within a compact particle filtering-based framework for face detection, tracking and recog- nition.
  • Publication
    Benutzernahe Modellierung und Modellaustausch mit UEML
    ( 2004)
    Mertins, K.
    ;
    Knothe, T.
    ;
    Zelm, M.
  • Publication
  • Publication
    On the benchmarking of multiobjective optimization algorithm
    ( 2003)
    Köppen, M.
    The "No Free Lunch" (NFL) theorems state that in average each algorithm has the same performance, when no a priori knowledge of single-objective cost function f is assumed. This paper extends the NFL theorems to the case of multi-objective optimization. Further it is shown that even in cases of a priori knowledge, when the performance measure is related to the set of extrema points sampled so far, the NFL theorems still hold. However, a procedure for obtaining function-dependent algorithm performance can be constructed, the so-called tournament performance, which is able to gain different performance measures for different multiobjective algorithms.
  • Publication
    Temporal dynamical interactions between multiple layers of local image features for event detection in video sequences
    ( 2003)
    Kottow, D.
    ;
    Köppen, M.
    ;
    Ruiz del Solar, J.
    In this paper an approach for storing and employing local image features in video processing is presented. The approach is based on the usage of memory cells representing local image features and (non-fixed) spatial positions, which are organized in memory layers. By assigning frame-based recall function and learning procedure to the cells, the memory layers establish a content-based auto-associative memory. Thus, they can be applied to solve several event detection tasks, as it is exemplified by dynamic background supression in a traffic scene, and counting of persons halting before a shopping window in an indoor scene. The case studies suggest that information gathered from the cells (like cell history based scoring values) can be used in various manners for video processing tasks circumventing the need for object segmentation and tracking, typical in many conventional background-differencing methods.
  • Publication
  • Publication
    New applications of modelling for forming value nets, in resource planning and in distributed simulation
    ( 2002)
    Schallock, B.
    ;
    Jackel, F.W.
    Extended enterprises are gaining importance but software tools to support them in building phases as model based process optimization are still under development. A combination of a logistics indicator graph and process models allows to detect bottleneck resources before accepting orders. Defined functional interfaces between simulation systems enables performance prediction of supply chains using several heterogeneous company internal simulation systems.