Title | ||
---|---|---|
Towards Automating a Software-Centered Development Process that considers Timing Properties |
Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2022 | 10.1109/SOCC56010.2022.9908127 | 2022 IEEE 35th International System-on-Chip Conference (SOCC) |
Keywords | DocType | ISSN |
model-based development,X-by-Construction,behavior modeling,timing validation,automation | Conference | 2164-1676 |
ISBN | Citations | PageRank |
978-1-6654-5986-0 | 0 | 0.34 |
References | Authors | |
0 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Raphael Weber | 1 | 0 | 0.34 |
Nico Adler | 2 | 0 | 0.34 |
Thomas Wilhelm | 3 | 1 | 1.37 |
Andreas Sailer | 4 | 0 | 1.69 |
Clemens Reichmann | 5 | 0 | 0.34 |