Towards Automating a Software-Centered Development Process that considers Timing Properties
Raphael Weber, Nico Adler, Thomas E. Wilhelm, Andreas Sailer, Clemens Reichmann · 2022
Software-centered development processes take a more and more prominent place in automotive system design. Accommodating the growing complexities resulting from the increasing heterogeneity in automotive hardware, software, and their collaborative integration requires new workflows. To address this challenge, we propose an approach for system decomposition based on a behavior description integrated with an architecture description language. Additionally, we consider timing validations as a crosscutting concern during different stages of the development and describe an automation concept to support a correct-by-construction development process. Initial user feedback indicates that our concepts together with a proper tool support will help engineers during system design and speed up the process.