- Author(s):
- Broy, M.; Chakraborty, S.; Ramesh, S.; Satpathy, M.; Resmerita, S.; Pree, W.
- Title:
- Cross-layer analysis, testing and verification of automotive control software
- 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