Logo des Repositoriums

Auflistung nach Autor:in "Meyer, Jan"

1 - 2 von 2
  • Konferenzbeitrag
    Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie
    (Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium), 2010) Holtmann, Jörg; Meyer, Jan; Schäfer, Wilhelm; Nickel, Ulrich
    Heutige Transportsysteme, wie z. B. Automobile sind gekennzeichnet durch eine Vielzahl von Funktionalität, die sehr häufig durch Software realisiert wird. Hiermit ist eine Zunahme der Komplexität festzustellen. Zur Beherrschung dieser Komplexität und damit einhergehend die Aufteilung des Systems in verschiedene Komponenten, ist eine Gesamtmodellierung des Systems inklusive des Verhaltens unerlässlich. Ein besonderer Augenmerk liegt, aufgrund der Echtzeitsysteme in dieser Domäne, auf der Modellierung von Zeiten auf Systemebene. Die derzeitigen Modellierungskonzepte, wie beispielsweise die Systems Modeling Language (SysML), sind dafür aber noch nicht ausreichend. In dem hier vorgestellten Ansatz wird eine erweiterte Systemmodellierung vorgestellt, die zusätzlich eine formale Spezifizierung von Zeiten erlaubt. Durch diese Modellierung sind weitere Analysemethoden, wie z. B. Simulationen oder Verifikationen möglich, die zum einen die sicherheitsrelevante Funktionalität sicherstellen und zum anderen die Qualität der Software steigern.
  • Konferenzbeitrag
    A seamless model-based development process for automotive systems
    (Software Engineering 2011 – Workshopband, 2011) Holtmann, Jörg; Meyer, Jan; Meyer, Matthias
    Safety critical functions for embedded systems are increasingly realized with software. Current and future standards and maturity models impose high accuracy and quality for the development process of such software-intensive, embedded systems. But nowadays, there are process and tooling gaps between different modeling aspects for the system under development (SUD). Furthermore, the SUD is usually verified and validated not until it is completely implemented, which leads to expensive corrections. In this paper we present a seamless, model-based development process, which is intended for the automotive supplier domain and conforms to the process reference model of Automotive SPICE®1. The development process addresses the issues mentioned above by using systematic transitions between different modeling aspects and simulations in early development stages.