Formalizing correspondence rules for automotive architectural views
| Autor: | Dajsuren, Y., Gerpheide, C.M., Serebrenik, A., Wijs, A.J., Vasilescu, B.N., Brand, van den, M.G.J., Seinturier, L., Bures, T., McGregor, J.D. |
|---|---|
| Přispěvatelé: | Mathematics and Computer Science, Computational Biology |
| Jazyk: | angličtina |
| Rok vydání: | 2014 |
| Předmět: | |
| Zdroj: | QoSA Tenth International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA 2014, Lille, France, June 30-July 4, 2014), 129-138 STARTPAGE=129;ENDPAGE=138;TITLE=Tenth International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA 2014, Lille, France, June 30-July 4, 2014) |
| Popis: | Architecture views have long been used in software industry to systematically model complex systems by representing them from the perspective of related stakeholder concerns. However, consensus has not been reached for the architecture views between automotive architecture description languages and automotive architecture frameworks. Therefore, this paper presents the automotive architecture views based on an elaborate study of existing automotive architecture description techniques. Furthermore, we propose a method to formalize correspondence rules between architecture views to enforce consistency between architecture views. The approach was implemented in a Java plugin for IBM Rational Rhapsody and evaluated in a case study based on the Adaptive Cruise Control system. The outcome of the evaluation is considered to be a useful approach for formalizing correspondences between different views and a useful tool for automotive architects. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|