Model-checking and Model-based Testing of Automotive Embedded Systems : Starting from the System Architecture
Nowadays, modern vehicles are equipped with electrical and electronic systems that implement highly complex functions such as anti-lock braking or cruise control. The use of such embedded systems in the automotive domain requires a revised development process that addresses their particular features...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
Mälardalens högskola, Inbyggda system
2014
|
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-26501 http://nbn-resolving.de/urn:isbn:978-91-7485-177-9 |