Benutzer: Gast  Login
Autor(en):
Broy, M.; Chakraborty, S.; Ramesh, S.; Satpathy, M.; Resmerita, S.; Pree, W. 
Titel:
Cross-layer analysis, testing and verification of automotive control software 
Stichworte:
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 
Kongress- / Buchtitel:
Embedded Software (EMSOFT), Proceedings of the International Conference on 
Jahr:
2011 
Monat:
oct. 
Seiten:
263 -272