7 research outputs found

    Jahresbericht 2007 Institut für Angewandte Informatik

    Get PDF

    Modulare, verteilte Hardware-Software-Architektur für humanoide Roboter

    Get PDF
    Humanoide Roboter sind hochkomplexe Systeme. Sie zeichnen sich durch ein sehr heterogenes Sensor- und Aktorsystem aus, welches wiederum sehr hohe und breit gefächerte Anforderungen an die verwendete Architektur stellt. Es wird sowohl der Entwurf einer funktionalen Steuerungsarchitektur, das verwendete Softwarerahmenwerk als auch die Abbildung auf eine dezidierte Hardwarearchitektur beschrieben

    Modulare, verteilte Hardware-Software-Architektur für humanoide Roboter

    Get PDF
    Humanoide Roboter sind hochkomplexe Systeme. Sie zeichnen sich durch ein sehr heterogenes Sensor- und Aktorsystem aus, welches wiederum sehr hohe und breit gefächerte Anforderungen an die verwendete Architektur stellt. Es wird sowohl der Entwurf einer funktionalen Steuerungsarchitektur, das verwendete Softwarerahmenwerk als auch die Abbildung auf eine dezidierte Hardwarearchitektur beschrieben

    Entwurfsoptimierung von selbst-adaptiven Wartungsmechanismen für software-intensive technische Systeme

    Get PDF
    Diese Arbeit stellt neuartige Konzepte zur effizienten Entscheidungsunterstützung in der Rekonfiguration software-intensiver technischer Systeme mit limitiertem Wartungszugriff vor. Entgegen rein redundanzorientierter Ansätze, basiert die verfolgte Methodik auf der prädiktiven Vorausberechnung adäquater Konfigurationsalternativen im relevanten Lösungsraum. Das Wissen über Konfigurationsbeziehung wird frühzeitig manifestiert und zur autarken kosteneffizienten Abwägung der Alternativen eingesetzt

    Jahresbericht 2009 der Fakultät für Informatik

    Get PDF

    A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems

    Get PDF
    This work presents a virtual prototyping methodology for the design and verification of industrial devices in the field level of industrial automation systems. This work demonstrates that virtual prototypes can help increase the confidence in the correctness of a design thanks to a deeper understanding of the complex interactions between hardware, software, analog and mixed-signal components of embedded systems and the physical processes they interact with
    corecore