Logo des Repositoriums

Auflistung nach Autor:in "Helke, Steffen"

1 - 8 von 8
  • Conference Program
    16. Workshop Automotive Software Engineering
    (Software Engineering and Software Management 2019, 2019) Helke, Steffen; Schaefer, Ina; Vogelsang, Andreas
  • Konferenzbeitrag
    17. Workshop Automotive Software Engineering
    (Software Engineering 2020, 2020) Ebel, Patrick; Helke, Steffen; Schaefer, Ina; Vogelsang, Andreas
  • ConferencePaper
    18th Workshop on Automotive Software Engineering (ASE’21)
    (Software Engineering 2021, 2021) Ebel, Patrick; Helke, Steffen; Schaefer, Ina; Vogelsang, Andreas
    Software-based systems play an increasingly important role and enable most of the innovations in modern cars. This workshop deals with various topics related to the development of automotive software and discusses suitable methods, techniques, and tools necessary to master the most current challenges researchers and practitioners are facing.
  • Konferenzbeitrag
    19th Workshop on Automotive Software Engineering (ASE'22)
    (Software Engineering 2022 Workshops, 2022) Dörr, Heiko; Helke, Steffen
    Preface of the 19th Workshop on Automotive Software Engineering (ASE'22)
  • Konferenzbeitrag
    19th Workshop on Automotive Software Engineering (ASE'22)
    (Software Engineering 2022, 2022) Dörr, Heiko; Helke, Steffen
    Software based systems play an increasingly important role and enable most of the innovations in modern cars. This workshop deals with various topics related to the development of automotive software and discusses suitable methods, techniques, and tools necessary to master the most current challenges researchers and practitioners are facing.
  • Konferenzbeitrag
    Automatische Verlinkung von Anforderungen und Testfällen-Fallbasierte Filterung
    (INFORMATIK 2015, 2015) Noack, Thomas; Helke, Steffen
  • Konferenzbeitrag
    Ontologiebasierte Abhängigkeitsanalyse im Projektlastenheft
    (Automotive - Safety & Security 2017 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik, 2017) Zichler, Konstantin; Helke, Steffen
    Zu Beginn eines Projekts dokumentieren interdisziplinäre Domänen-Experten die Anforderungen an alle Lebensphasen eines Nutzfahrzeugs und die entsprechenden Realisierungskonzepte im Projektlastenheft. Die Kenntnis der Abhängigkeiten zwischen Anforderungen bietet den Vorteil, fehlerhafte Produktkonzepte bereits in der frühen Projektphase zu vermeiden. Bei der Durchführung von Abhängigkeitsanalysen besteht für die Experten der einzelnen Abteilungen die Schwierigkeit darin, von den dokumentierten Einzelbeiträgen auf domänenübergreifende Abhängigkeiten zwischen den Anforderungen zu schließen. Bisher werden diese Analysen für gewöhnlich manuell durchgeführt, da es dafür kaum Werkzeugunterstützung gibt. Wir stellen ein neuartiges Verfahren vor, bei dem das für die Abhängigkeitsanalyse erforderliche, fachspezifische Wissen zu einer gemeinsamen Wissensbasis in Form einer Ontologie aggregiert wird. Zusammen mit Axiomen, einem Reasoner und Werkzeugen aus dem Natural Language Processing wird eine automatisierte Abhängigkeitsanalyse im Projektlastenheft realisiert, mit der es möglich ist, bisher nicht berücksichtigte Abhängigkeiten zwischen Anforderungen zu identifizieren.
  • Konferenzbeitrag
    Towards static modular software verification
    (Software Engineering 2012. Workshopband, 2012) Mews, Marcus; Helke, Steffen
    The paper presents our first work in progress results of an approach to verify the correct use of software libraries in target projects. Therefor the project's source code is analyzed and checked against the library's behavior specification, called interface grammar. This grammar is formalized using annotated state diagrams, and the verification analysis is based on static control flow, data flow and alias analyses. The paper illustrates the presented approach using a small-sized Java library example. In the end, we give a brief outlook to necessary enhancements.