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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abel, D., Bollig, A.: Rapid Control Prototyping. Springer, Heidelberg (2006)
Biermann, E., Ehrig, K., Köhler, C., Kuhns, G., Taentzer, G., Weiss, E.: Graphical definition of in-place transformations in the Eclipse Modeling Framework. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 425–439. Springer, Heidelberg (2006)
Broy, M.: Challenges in automotive software engineering. In: Int. Conf. on Software Engineering, Shanghai, China, pp. 33–42. ACM, New York (2006)
Cares, C., Franch, X., Perini, A., Susi, A.: iStarML: An XML-based model interchange format for i*. In: Proc. of the 3rd Int. i* Workshop, Recife, Brazil, February 11-12. CEUR Workshop Proceedings, vol. 322, pp. 13–16 (2008)
Graaf, B., Lormans, M., Toetenel, H.: Embedded software engineering: The state of the practice. IEEE Software 20(6), 61–69 (2003)
Horkoff, J., Yu, E.S.K.: Qualitative, interactive, backward analysis of i* models. In: Proc. of the 3rd Int. i* Workshop, Recife, Brazil, February 11-12. CEUR Workshop Proceedings, vol. 322, pp. 43–46 (2008), CEUR-WS.org
Jarke, M., Gallersdörfer, R., Jeusfeld, M.A., Staudt, M.: ConceptBase - a deductive object base for meta data management. Journal of Intelligent Information Systems 4(2), 167–192 (1995)
Lunze, J.: Automatisierungstechnik. Oldenbourg (2003)
Mylopoulos, J., Borgida, A., Jarke, M., Koubarakis, M.: Telos - representing knowledge about information systems. ACM Trans. on Information Systems 8(4), 325–362 (1990)
Schmitz, D., Drews, P., Hesseler, F., Jarke, M., Kowalewski, S., Palczynski, J., Polzer, A., Reke, M., Rose, T.: Modellbasierte Anforderungserfassung für softwarebasierte Regelungen. In: Software Engineering, LNI, Munich, Germany (2008)
Schmitz, D., Nissen, H.W., Jarke, M., Rose, T., Drews, P., Hesseler, F.J., Reke, M.: Requirements engineering for control systems development in small and medium-sized enterprises. In: 16th Int. Requirements Engineering Conf., Barcelona, Spain. IEEE, Los Alamitos (2008)
Yu, E.: Modelling Strategic Relationships for Process Reengineering. Ph.D thesis, University of Toronto (1995)
Zhang, M.: Conception and implementation of the transformation of i* requirements models to mathematical design models in Matlab (in German). Master’s thesis, RWTH Aachen University (to appear)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schmitz, D. et al. (2009). Mapping Requirement Models to Mathematical Models in Control System Development. In: Paige, R.F., Hartman, A., Rensink, A. (eds) Model Driven Architecture - Foundations and Applications. ECMDA-FA 2009. Lecture Notes in Computer Science, vol 5562. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02674-4_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-02674-4_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02673-7
Online ISBN: 978-3-642-02674-4
eBook Packages: Computer ScienceComputer Science (R0)