The Community for Technology Leaders
Green Image
ABSTRACT
A multilevel testing approach for embedded systems addresses mixed hardware and software implementations. Contrary to conventional approaches, it provides consistent generation of scenarios throughout all levels of testing, an early assessment of alternative design implementations, integrated system and component testing, and performance assessments of design specifications starting from the system level.
INDEX TERMS
hardware-software codesign, embedded systems, program testing, formal verification, formal specification
CITATION

S. Schulz, K. Buchenrieder and J. Rozenblit, "Multilevel testing for design verification of embedded systems," in IEEE Design & Test of Computers, vol. 19, no. 2, pp. 60-69, .
doi:10.1109/54.990443
95 ms
(Ver 3.3 (11022016))