Mapping Requirement Models to Mathematical Models in Control System Development

  • Authors:

  • Dominik Schmitz;Ming Zhang;Thomas Rose;Matthias Jarke;Andreas Polzer;Jacob Palczynski;Stefan Kowalewski;Michael Reke

  • Affiliations:

  • Fraunhofer FIT, Sankt Augustin, Germany 53754;Fraunhofer FIT, Sankt Augustin, Germany 53754;Fraunhofer FIT, Sankt Augustin, Germany 53754;Fraunhofer FIT, Sankt Augustin, Germany 53754;RWTH Aachen University, Aachen, Germany 52056;RWTH Aachen University, Aachen, Germany 52056;RWTH Aachen University, Aachen, Germany 52056;VEMAC GmbH & Co. KG, Aachen, Germany 52070

  • Venue:
  • ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

When developing control systems software, mathematically based modelling tools such as Matlab/Simulink are used for design, simulation, and implementation. Thus, a continuous model-based approach does not need to map requirements to, for example, UML class diagrams but to this mathematical representation. In this paper, we build on previous work that has applied the requirements formalism i* to the development of control systems software and present a mapping from i* models to Matlab/Simulink models. During a first manual transformation step, design alternatives are resolved. The second, automated step generates a Matlab/Simulink skeleton model from the i* model. Finally, an interactive step allows incorporating existing hardware and platform components into the skeleton. As a running example, we consider the development of a parking assistant.