Logo des Repositoriums

Auflistung nach Schlagwort "Validierung"

1 - 4 von 4
  • Konferenzbeitrag
    Formative und summative Usability Evaluationen medizintechnischer Produkte - Menschzentriert entwickeln und dabei die regulatorischen Anforderungen erfüllen
    (Mensch und Computer 2020 - Usability Professionals, 2020) Janny, Benedikt; Pfeffer, Stefan
    Mit Einführung der Medical Device Regulation rückt die Untersuchung der Usability (zu Deutsch: Gebrauchstauglichkeit) für Hersteller von medizintechnischen Produkten in den Fokus. Im Herz des sogenannten Usability beziehungsweise Human Factors Engineering Prozesses stehen User Interface Evaluationen medizinischer Produkte mit medizinischem Fachpersonal. Der folgende Beitrag diskutiert die Einordnung von Usability und User Interface Evaluationen in den medizintechnischen Usability Engineering Prozess und zeigt sowohl regulatorische Anforderungen als auch marktdifferenzierende Potentiale der Gebrauchstauglichkeit auf. Er beinhaltet einen abwägenden Überblick über potentielle Methoden und gibt empirische Handlungsempfehlungen bei der Durchführung von User Interface Evaluationen.
  • Konferenzbeitrag
    Generierung regulärer Ausdrücke zur Prüfung von SQL-Statements
    (Workshops der 21. Fachtagung Bildungstechnologien (DELFI), 2023) Förster, Maximilian; Binkert, Patrick; Rohland, Holger; Leonhardt, Thiemo
    SQL-Ausdrücke sind durch die zugrundeliegenden Grammatiken in einer vielfältigen Art und Weise (optionale Leerzeichen, Umformungen) äquivalent formulierbar. Dies führt in e-Assessment-Szenarien zu Problemen bei der automatisierten Bewertung von SQL-Aufgaben. Dieses Problem wird bereits durch zahlreiche Ansätze auf vielfältigste Weisen gelöst. Allen diesen Ansätzen ist gemein, dass sie mit Umsetzungshürden für Lehrkräfte verbunden sind. In diesem Beitrag wird ein Ansatz über die automatisierte Generierung von Regulären Ausdrücken zur Lösung des Problems gewählt. Somit können vorhandene Fragestellungen ohne Übergangshürde in bereits bekannte digitale Formate überführt werden. Zur Evaluation des Ansatzes wurde ein Tool erstellt, das bei Eingabe einer Musterlösung als SQL-Ausdruck einen regulären Ausdruck automatisch generiert. Da die Bewertung einer korrekten Lösung an die Anforderungen des Lernsettings angepasst werden muss, bietet das Tool, die Möglichkeit den abgedeckten korrekten Lösungsraum einzuschränken. Die Evaluation teilt sich auf in das Testen der Funktionalität des Tools mit Probanden (99 % korrekt validiert) sowie auf die Akzeptanz des Ansatzes bei der Zielgruppe der Lehrpersonen über Interviews.
  • Textdokument
    Identifikation von Fahrszenarien während einer virtuellen Testfahrt
    (INFORMATIK 2017, 2017) King, Christian; Bach, Johannes; Otten, Stefan; Sax, Eric
    In den vergangenen Jahren adressierten zahlreiche Innovationen im Automobil den Bereich Fahrerassistenzsysteme. Die Technologien entwickeln sich zunehmend in Richtung automatisiertes Fahren und bringen eine Zunahme an intelligenten, verknüpften und komplexen Funktionen mit sich. Durch die direkte Interaktion des Ego-Fahrzeuges mit anderen Verkehrsteilnehmern entsteht eine Vielzahl neuartiger Fahrsituationen und Szenarien. Daraus resultiert ein konstant wachsender Raum an Systemzuständen und Variationen, der validiert und verifiziert werden muss. Um diesen Herausforderungen zu begegnen, wird zunehmend auf Virtualisierung und Simulation von gesetzt. In dieser Veröffentlichung stellen wir einen Ansatz vor, Szenarien innerhalb einer virtuellen Testfahrt zu identifizieren. Der Fokus liegt hierbei auf der Abstraktion und Ableitung spezifischer Manöver der einzelnen Fahrzeuge bzw. deren logischen Zusammenhänge in einem komplexen Szenario. Der Ansatz ermöglicht eine Analyse und die Bewertung vollständiger virtueller Testfahrten anhand der erlebten Szenarien. Zusätzlich können Aussagen in Bezug auf die Abdeckung des Systemraumes innerhalb einer virtuellen Testfahrt getroffen werden.
  • Konferenzbeitrag
    Validierung des Zeitverhaltens von kritischer Echtzeit-Software
    (INFORMATIK 2003 – Innovative Informatikanwendungen, Band 1, Beiträge der 33. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2003) Ferdinand, Christian; Kästner, Daniel; Martin, Florian; Langenbach, Marc; Sicks, Martin; Wilhelm, Stephan; Heckmann, Reinhold; Fritz, Nico; Thesing, Stephan; Fontaine, Frank; Theiling, Henrik; Schmidt, Michael; Evstiougov-Babaev, Alexander; Wilhelm, Reinhard
    Zur Validierung des Zeitverhaltens von sicherheitsrelevanten Anwendungen im Rahmen einer Planbarkeitsanalyse werden zuverlässige Abschätzungen von Task-Laufzeiten benötigt. Das automatische Analysewerkzeug aiT bietet eine Alternative zu den oftmals 338 Abbildung 3. aiT f\'