A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems
This work presents a virtual prototyping methodology for the design and verification of industrial devices in the field level of industrial automation systems. This work demonstrates that virtual prototypes can help increase the confidence in the correctness of a design thanks to a deeper understand...
Saved in:
| Main Author: | |
|---|---|
| Format: | Online |
| Language: | English |
| Published: |
KIT Scientific Publishing
2021
|
| Subjects: | |
| Online Access: | 35547 |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1869519707128725504 |
|---|---|
| author | Mendoza Cervantes, Francisco |
| author_browse | Mendoza Cervantes, Francisco |
| author_facet | Mendoza Cervantes, Francisco |
| author_sort | Mendoza Cervantes, Francisco |
| collection | Directory of Open Access Books |
| description | This work presents a virtual prototyping methodology for the design and verification of industrial devices in the field level of industrial automation systems. This work demonstrates that virtual prototypes can help increase the confidence in the correctness of a design thanks to a deeper understanding of the complex interactions between hardware, software, analog and mixed-signal components of embedded systems and the physical processes they interact with. |
| format | Online |
| id | doab-20.500.12854ir-57021 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2021 |
| publishDateRange | 2021 |
| publishDateSort | 2021 |
| publisher | KIT Scientific Publishing |
| publisherStr | KIT Scientific Publishing |
| record_format | ojs |
| spelling | doab-20.500.12854ir-570212024-04-09T23:16:36Z A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems Mendoza Cervantes, Francisco T1-995 Modeling and Simulation System Level Design Virtual Prototyping thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues This work presents a virtual prototyping methodology for the design and verification of industrial devices in the field level of industrial automation systems. This work demonstrates that virtual prototypes can help increase the confidence in the correctness of a design thanks to a deeper understanding of the complex interactions between hardware, software, analog and mixed-signal components of embedded systems and the physical processes they interact with. 2021-02-11T23:56:15Z 2021-02-11T23:56:15Z 2019-07-30 20:02:02 2013 book 35547 9783731501695 https://directory.doabooks.org/handle/20.500.12854/57021 eng image/jpeg Attribution-ShareAlike 4.0 International https://www.ksp.kit.edu/9783731501695 KIT Scientific Publishing 10.5445/KSP/1000038209 10.5445/KSP/1000038209 68fffc18-8f7b-44fa-ac7e-0b7d7d979bd2 9783731501695 X, 168 p. open access |
| spellingShingle | T1-995 Modeling and Simulation System Level Design Virtual Prototyping thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues Mendoza Cervantes, Francisco A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems |
| title | A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems |
| title_full | A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems |
| title_fullStr | A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems |
| title_full_unstemmed | A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems |
| title_short | A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems |
| title_sort | problem oriented approach for dynamic verification of heterogeneous embedded systems |
| topic | T1-995 Modeling and Simulation System Level Design Virtual Prototyping thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues |
| topic_facet | T1-995 Modeling and Simulation System Level Design Virtual Prototyping thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues |
| url | 35547 |
| work_keys_str_mv | AT mendozacervantesfrancisco aproblemorientedapproachfordynamicverificationofheterogeneousembeddedsystems AT mendozacervantesfrancisco problemorientedapproachfordynamicverificationofheterogeneousembeddedsystems |