Logo des Repositoriums

Auflistung nach Autor:in "Wiesbrock, Hans-Werner"

1 - 5 von 5
  • Konferenzbeitrag
    Ansätze zum Nachweis der Gleichwertigkeit von Software-Komponenten
    (Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium), 2010) Wiesbrock, Hans-Werner
    Wie kann man heute ein bereits seit Jahren im Markt befindlichen System nach einer Änderung effizient rezertifizieren? In diesem Artikel wird ein Lösungsansatz skizziert. Ausgehend von einer Risikoanalyse werden geeignete Vorgehensweisen und Kriterien abgeleitet, mit denen sich operational die Gleichwertigkeit von Software-Komponenten fassen lässt. Ein effizientes Vorgehen sähe dann wie folgt aus: Abgestimmt mit der Zertifizierungsbehörde werden für die zu ersetzenden Komponenten anhand eines Risikomodells die geeigneten Kriterien ihrer Gleichwertigkeit definiert. Der Hersteller weist anschließend nach, dass die geforderte Äquivalenz gilt.
  • Textdokument
    Einsatz von Deep Learning für den Test Eingebetteter Systeme
    (INFORMATIK 2021, 2021) Bielefeldt,Jens; Basener, Kai-Uwe; Khan, Siddique Reza; Massah, Mozhdeh; Wiesbrock, Hans-Werner; Scharoba, Stefan; Hübner, Michael
    Während der Durchführung von Funktions-, Stress- oder Laufzeittests eingebetteter Systeme fallen große Mengen von Testdaten an. Die Testläufe sind in der Regel, wenn auch nicht umfassend, von Testern und/oder Kunden ausgewertet worden, und können somit als Referenz für weitere Testdaten dienen. In dem Forschungsprojekt DeepTest wird versucht, mit Hilfe von Techniken des Deep Learning diese riesigen Datenmengen für das Training neuronaler Netze zu nutzen, um weitere, neue Tests zu generieren und Testmuster in ihnen zu identifizieren. In dem vorliegenden Artikel wird über den derzeitigen Stand der Forschung berichtet.
  • Konferenzbeitrag
    Model Checking im Automotivbereich
    (Informatik bewegt: Informatik 2002 - 32. Jahrestagung der Gesellschaft für Informatik e.v. (GI), 2002) Wiesbrock, Hans-Werner; Dörr, Heiko; Holberg, Hans Jürgen
    Um die hohen Qualitätsansprüche an Software im Fahrzeug zu sichern, wird der Einsatz eines Model Checkers empfohlen. Es werden Erfahrungen aus der Evaluation heute verfügbarer Werkzeuge präsentiert. Der Einsatz dieser Technologie wird durch die inhärente Schwierigkeit, die geforderten Eigenschaften an das Modell mathematisch zu präzisieren, erschwert. Um den Benutzer darin zu unterstützen wird eine Klassifikation geeigneter Mustereigenschaften zusammen mit einem Konzept eines Pattern Wizard vorgestellt, so dass der Anwender nach konkreten Handlungsanweisungen zur geeigneten Formulierung seiner Abfragen kommt.
  • Zeitschriftenartikel
    Standardisierte Prüfungen von Anforderungen bei der Entwicklung von automobilen Steuergeräten
    (Softwaretechnik-Trends Band 35, Heft 1, 2015) Wiesbrock, Hans-Werner; Schmidt, Robert
    In einer verteilten, funktionsorientierten Entwicklung eines Steuergerätes im Bereich Automotive, sind regelmäÿig zahlreiche Lastenhefte auf Konsistenz und Vollständigkeit zu prüfen. Nach einer kurzen Einführung zum Prozesshintergund werden in diesem Artikel zunächst typische, auftretende Probleme beschrieben. Es werden Anforderungen an eine Unterstützungstool abgeleitet und eine technische Lösung vorgestellt. Anschlieÿend wird von den Erfahrungen berichtet, die in jahrelangen Projekten hiermit gemacht wurden. Beendet wird der Artikel mit einem Ausblick auf verschiedene weitere Anwendungsmöglichkeiten dieses Ansatzes.
  • Konferenzbeitrag