TY - GEN
T1 - Cross-layer analysis, testing and verification of automotive control software
AU - Broy, Manfred
AU - Chakraborty, Samarjit
AU - Goswami, Dip
AU - Ramesh, S.
AU - Satpathy, M.
AU - Resmerita, Stefan
AU - Pree, Wolfgang
N1 - Funding Information:
This work was supported by the Portuguese Foundation for Science and Technology (FCT) in the framework of the Strategic Funding UID/FIS/04650/2013. The authors thank FEDER funds through the COMPETE 2020 Programme and National Funds through FCT under the projects PTDC/CTM-ENE/5387/2014 and UID/CTM/50025/2013 and grants SFRH/BD/98219/2013 (J.O.), SFRH/BD/90313/2012 (A.G.), and SFRH/BPD/112547/2015 (C.M.C.). SLM thanks financial support from the Basque Government Industry Department under the ELKARTEK Program. The authors thank Solvay, Timcal and Phostech for kindly supplying the high quality materials.
PY - 2011
Y1 - 2011
N2 - Automotive architectures today consist of up to 100 electronic control units (ECUs) that communicate via one or more FlexRay and CAN buses. Multiple control applications - like cruise control, brake control, etc. - are specified as Simulink/Stateflow models, from which code is generated and mapped onto the different ECUs. In addition, scheduling policies and parameters, both for the ECUs and the buses, need to be specified. Code generation/optimization from the Simulink/Stateflow models, task partitioning and mapping decisions, as well as the parameters chosen for the schedulers - all of these impact the execution times and timing behaviour of the control tasks and control messages. These in turn affect control performance, such as stability and steady-/transient-state behaviour. This paper discusses different aspects of this multi-layered design flow and the associated research challenges. The emphasis is on modelbased code generation, analysis, testing and verification of control software for automotive architectures, as well as on architecture or platform configuration to ensure that the required control performance requirements are satisfied.
AB - Automotive architectures today consist of up to 100 electronic control units (ECUs) that communicate via one or more FlexRay and CAN buses. Multiple control applications - like cruise control, brake control, etc. - are specified as Simulink/Stateflow models, from which code is generated and mapped onto the different ECUs. In addition, scheduling policies and parameters, both for the ECUs and the buses, need to be specified. Code generation/optimization from the Simulink/Stateflow models, task partitioning and mapping decisions, as well as the parameters chosen for the schedulers - all of these impact the execution times and timing behaviour of the control tasks and control messages. These in turn affect control performance, such as stability and steady-/transient-state behaviour. This paper discusses different aspects of this multi-layered design flow and the associated research challenges. The emphasis is on modelbased code generation, analysis, testing and verification of control software for automotive architectures, as well as on architecture or platform configuration to ensure that the required control performance requirements are satisfied.
KW - Automotive control systems
KW - Model-based code generation
KW - Model-based testing and verification
UR - https://www.scopus.com/pages/publications/80455179700
U2 - 10.1145/2038642.2038683
DO - 10.1145/2038642.2038683
M3 - Conference contribution
AN - SCOPUS:80455179700
SN - 9781450307147
T3 - Embedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th ACM International Conference on Embedded Software, EMSOFT'11
SP - 263
EP - 272
BT - Embedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th ACM International Conference on Embedded Software, EMSOFT'11
T2 - Embedded Systems Week 2011, ESWEEK 2011 - 9th ACM International Conference on Embedded Software, EMSOFT'11
Y2 - 9 October 2011 through 14 October 2011
ER -