Abstract
Computer-aided development of complex cyber-physical systems usually takes place in engineering teams with several different expert roles using a range of various software tools. This results in numerous artifacts created during this process. However, these artifacts commonly contain plenty of overlapping information. Therefore, the editing of one model by a developer may lead to inconsistencies with other models. Keeping these artifacts manually consistent is time-consuming and error-prone. In this paper, we present an automated strategy to ensure consistency between two widely used categories of software tools in electrical engineering: an electronic design automation application for designing printed circuit boards (PCBs) and an electronic circuit simulator tool to predict system behavior at runtime.
Coupling these two types of tools provides the developers with the ability of efficiently testing and optimizing the behavior of the electric circuit during the PCB design process. For the proper preservation of consistency, assigning the model elements correctly between different tools is required. To avoid the disadvantages of ambiguous heuristic matching methods, we present a strategy based on annotated identifiers in order to ensure a reliable assignment of these model elements. We have implemented the described approach by using Eagle CAD as PCB software and Matlab/Simulink with the Simscape extension as the simulation tool.
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
References
Atkinson, C., Stoll, D., Bostan, P.: Orthographic software modeling: a practical approach to view-based development. In: Maciaszek, L.A., González-Pérez, C., Jablonski, S. (eds.) ENASE 2008. CCIS, vol. 69, pp. 206–219. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-14819-4_15
Broy, M.: Challenges in automotive software engineering. In: Proceedings of the 28th International Conference on Software Engineering, ICSE 2006, pp. 33–42. ACM, New York (2006)
Burger, E.J.: Flexible views for view-based model-driven development. In: Proceedings of the 18th International Doctoral Symposium on Components and Architecture, WCOP 2013, pp. 25–30. ACM, New York (2013)
Diskin, Z., Xiong, Y., Czarnecki, K., Ehrig, H., Hermann, F., Orejas, F.: From state- to delta-based bidirectional model transformations: the symmetric case. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 304–318. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-24485-8_22
Kramer, M.E.: Specification languages for preserving consistency between models of different languages. Ph.D. thesis, Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany (2017)
Langer, P., et al.: A posteriori operation detection in evolving software models. J. Syst. Softw. 86(2), 551–566 (2013)
Neema, H., et al.: Design space exploration and manipulation for cyber physical systems. In: IFIP First International Workshop on Design Space Exploration of Cyber-Physical Systems (IDEAL 2014). Springer, Berlin (2014)
Schmidt, M., Gloetzner, T.: Constructing difference tools for models using the SiDiff framework. In: Companion of the 30th International Conference on Software Engineering, ICSE Companion 2008, pp. 947–948, ACM, New York (2008)
Stephan, M., Cordy, J.R.: A survey of model comparison approaches and applications. In: Modelsward, pp. 265–277 (2013)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Zimmermann, D., Reussner, R.H. (2018). Automated Consistency Preservation in Electronics Development of Cyber-Physical Systems. In: Mazzara, M., Ober, I., Salaün, G. (eds) Software Technologies: Applications and Foundations. STAF 2018. Lecture Notes in Computer Science(), vol 11176. Springer, Cham. https://doi.org/10.1007/978-3-030-04771-9_36
Download citation
DOI: https://doi.org/10.1007/978-3-030-04771-9_36
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-04770-2
Online ISBN: 978-3-030-04771-9
eBook Packages: Computer ScienceComputer Science (R0)