Login
- Titel:
Cross-layer analysis, testing and verification of automotive control software
- Autor(en):
- Broy, M.; Chakraborty, S.; Ramesh, S.; Satpathy, M.; Resmerita, S.; Pree, W.
- 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
BibTeX
Vorkommen:
- mediaTUM GesamtbestandHochschulbibliographie2011FakultätenElektrotechnik und InformationstechnikLehrstuhl für Realzeit-Computersysteme (Prof. Chakraborty)