Logo des Repositoriums

Auflistung nach Autor:in "Heinkel, Ulrich"

1 - 3 von 3
  • Konferenzbeitrag
    Automatic test case generation with NuSMV
    (INFORMATIK 2006 – Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2006) Bunin, Grygoriy; Schneider, Axel; Haubelt, Christian; Langer, Jan; Heinkel, Ulrich
    Formal verification has become a key technology to ensure the quality of complex (hardware/software) systems. Although formal verification is widely used in the hardware design phase, it plays a minor role in software or even system development. In this paper, we describe how we used the model checker NuSMV to automatically generate executable test cases from an abstract system description.
  • Konferenzbeitrag
    Dynamic indoor navigation and orientation system for people with impairments
    (Mensch und Computer 2020 - Tagungsband, 2020) Richter, Julia; Lorenz, Jeanine; Costantino, Maria; Traubinger, Verena; Tauchmann, Nico; Graichen, Thomas; Heinkel, Ulrich
    Assistive technologies play an important role on the way to an inclusive society. At this point, mobile indoor navigation for persons with impairments is a task far from being solved. Existing studies mainly focus on outdoor navigation, are closed source and closed data or are aimed at one single target group only, and consequently represent isolated solutions. Therefore, this study reports a design for an indoor navigation system for persons with different impairments, following the idea of open source and open data to facilitate a long-term and sustainable solution everyone can contribute to. The proposed system components are discussed, which include novel indoor mapping methodologies, user profile-specific indoor extensions for routing, navigation instructions and rendering, as well as an accurate technology for indoor positioning. Both modularity of the proposed system as well as the design-for-all approach allow, for the first time, the general application of mobile navigation addressing a variety of impairments.
  • Textdokument
    Hardwaregestütze Positionsschätzung mit Bayes’schen Filtern auf Basis 3-dimensionaler Umgebungsmodelle für den Innenbereich
    (INFORMATIK 2017, 2017) Schott, Christian; Froß, Daniel; Rößler, Marko; Heinkel, Ulrich
    Die Lage und Position von mobilen Geräten spielt eine zunehmend wichtigere Rolle bei Anwendungen die sowohl im Konsumbereich als auch in Produktion und Logistik liegen. Im Außenbereich bilden globale Positionierungssysteme auf Basis geostationärer Satelliten die Datengrundlage, welche durch weitere Sensorik verfeinert wird. Im Innen-und Nahbereich sind Signallaufzeitmessungen von Radio-oder Radarwellen mit nachgelagerter Triangulation eine wesentliche Grundlage für eine grobe Positionierung und Stand der Technik. Aufgrund der gegebenen Unsicherheit dieser Messverfahren bedarf es robuster Auswertealgorithmen für eine zuverlässige Positionierung, beispielsweise mittels Bayes’scher Filter. Der vorliegende Beitrag befasst sich mit der Erweiterung einer hardware-orientierten Umsetzung eines Partikelfilters, die es erlaubt apriori bekanntes Wissen aus einem 3-dimensionalen Umgebungsmodell mit den Entfernungsmessdaten in Echtzeit zu fusionieren. Vorgestellt wird eine Hardware/Software-Systemarchitektur für einen effektiven Zugriff auf die Modelldaten sowie deren Auswertung innerhalb einer Pipeline-Struktur des Partikelfilters auf Register-Transfer-Ebene. Die prototypenhafte Implementierung erfolgte für einen FPGA-Schaltkreis der ZYNQ-Familie.