Semi-Automated Formalization and Verification of Automotive Requirements using Simulink Design Verifier
The complexity of embedded software in the automotive domain is ever-increasing due to increase in the no. of features aimed at providing more advanced solutions. This has greatly favored the incorporation of Model Based Design workflow in the software development lifecycle to handle complexities in...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
KTH, Maskinkonstruktion (Inst.)
2015
|
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-182644 |