Cross-layer analysis, testing and verification of automotive control software

Title:: Cross-layer analysis, testing and verification of automotive control software
Author(s):: Broy, M.; Chakraborty, S.; Ramesh, S.; Satpathy, M.; Resmerita, S.; Pree, W.
Keywords:: CAN bus; FlexRay; Simulink model; Stateflow model; automotive architecture; automotive control software cross-layer analysis; automotive control software testing; automotive control software verification; code optimization; electronic control unit; mapping decision; message control; model-based code generation; multilayered design flow; scheduling policy; transient-state behaviour; peripheral interfaces; program compilers; program testing; program verification; traffic control
Book / Congress title:: Embedded Software (EMSOFT), Proceedings of the International Conference on
Year:: 2011
Month:: oct.
Pages:: 263 -272
BibTeX