@inproceedings{23128,
  author       = {{Kradepohl, Ulrich and Gense, Alexander}},
  booktitle    = {{AUTOREG 2013: Steuerung und Regelung von Fahrzeugen und Motoren}},
  title        = {{{Modellbasierter Entwurf geregelter Federungssysteme fur Laufwerke gepanzerter Kettenfahrzeuge - Anwendungsbeispiele und Potenziale }}},
  year         = {{2013}},
}

@inproceedings{20974,
  abstract     = {{The functionality realized by software in modern cars is increasing and as a result the development artifacts of automotive systems are getting more complex. The existence of traceability along these artifacts is essential, since it allows to monitor the product development from the initial requirements to the final code. However, traceability is established and maintained mostly manually, which is time-consuming and error-prone. A further crucial problem is the assurance of the validity of the trace links, that is, the linked elements are indeed related to each other. In this paper we present a semiautomatic approach to create, check, and update trace links between artifacts along an automotive development process.
}},
  author       = {{Fockel, Markus and Holtmann, Jörg and Meyer, Jan}},
  booktitle    = {{2012 Second International Workshop on Software Engineering for Embedded Systems (SEES)}},
  isbn         = {{9781467318532}},
  title        = {{{Semi-automatic establishment and maintenance of valid traceability in automotive development processes}}},
  doi          = {{10.1109/sees.2012.6225489}},
  year         = {{2012}},
}

@inbook{20914,
  abstract     = {{This chapter summarizes the application and evaluation of the SPES engineering methodology in the automotive domain. After introducing the particular domain characteristics, we state some research questions that we have investigated. Some of the activities that address these research questions are presented in detail. We conclude that the SPES engineering methodology is a good basis for the development of automotive systems, but could be further refined to fit the particular needs of the domain.}},
  author       = {{Fockel, Markus and Heidl, Peter and Höfflinger, Jens and Hönninger, Harald and Holtmann, Jörg and Horn, Wilfried and Meyer, Jan and Meyer, Matthias and Schäuffele, Jörg}},
  booktitle    = {{Model-Based Engineering of Embedded Systems}},
  isbn         = {{9783642346132}},
  title        = {{{Application and Evaluation in the Automotive Domain}}},
  doi          = {{10.1007/978-3-642-34614-9_12}},
  year         = {{2012}},
}

@inproceedings{20915,
  abstract     = {{Durch die immer kuerzer werdenden Entwicklungszyklen und den groeßer werdenden Druck bzgl. Time-to-Market fuer eingebettete Systeme im Automobilsektor steigt der Bedarf, die Systeme bereits zu fruehen Entwicklungszeitpunkten gegenueber den Qualitaetsanforderungen (z. B. Zeitanforderungen und Ressourcenauslastung) zu verifizieren. Wir stellen einen Ansatz vor, der eine formale Spezifikation von Zeitanforderungen und Wirkketten sowie deren fruehzeitige Analyse durch Simulation erlaubt. Verletzungen von Zeitanforderungen werden in den Simulationsergebnissen automatisch erkannt.
}},
  author       = {{Meyer, Jan and Holtmann, Jörg and Meyer, Matthias}},
  booktitle    = {{8. Paderborner Workshop Entwurf mechatronischer Systeme}},
  pages        = {{203--215}},
  publisher    = {{Heinz Nixdorf Institut}},
  title        = {{{Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen}}},
  volume       = {{294}},
  year         = {{2011}},
}

@inproceedings{20916,
  abstract     = {{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. The development process addresses the issues mentioned above by using systematic transitions between different modeling aspects and simulations in early development stages.}},
  author       = {{Holtmann, Jörg and Meyer, Jan and Meyer, Matthias}},
  booktitle    = {{Software Engineering 2011 – Workshopband (inkl. Doktorandensymposium)}},
  pages        = {{79--88}},
  publisher    = {{Bonner Koellen Verlag}},
  title        = {{{A Seamless Model-Based Development Process for Automotive Systems}}},
  volume       = {{P-184}},
  year         = {{2011}},
}