Bibliografías temáticas / Embedded software design and verification

Índice

  1. Artículos de revistas

Literatura académica sobre el tema "Embedded software design and verification"

Autor: Grafiati
Publicado: 11 de marzo de 2023

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Embedded software design and verification".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Artículos de revistas sobre el tema "Embedded software design and verification"

1

Geng, Bo, and Qing Hua Cao. "Design and Realization of Simulation Environment of Embedded Software and Hardware Intergration Based on GEF." Advanced Materials Research 756-759 (September 2013): 2226–30. http://dx.doi.org/10.4028/www.scientific.net/amr.756-759.2226.

Texto completo
Resumen
Embedded software and hardware integration simulation platform is developed for simulating the embedded systems design process in current engineering system, which can facilitate finding various problems in system design process. For example, in the system scheme phase, the scheme and design verification are untimely and inadequate. In the early prototype phase, software development lags behind result in deferral of the overall progress of the system. And in the late prototype stage, the problem is lacking configuration item test environment. Embedded software and hardware integration simulati
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Dasgupta, Pallab, Mandayam K. Srivas, and Rajdeep Mukherjee. "Formal Hardware/Software Co-Verification of Embedded Power Controllers." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 33, no. 12 (2014): 2025–29. http://dx.doi.org/10.1109/tcad.2014.2354297.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Chen, Ce, Shao Cai Zhao, Yong Hu, and Guo Kai He. "Design and Realization of Universal Integrated Testing Platform for Equipment-Embedded Software." Applied Mechanics and Materials 635-637 (September 2014): 1175–78. http://dx.doi.org/10.4028/www.scientific.net/amm.635-637.1175.

Texto completo
Resumen
An universal testing platform for equipment-embedded software is designed and realized to support the dynamic verification test of embedded software on CI level and system level. This Platform, based on LAN and USB bus architecture, has provided the function of system interface modelling, test project management, test case script code, test result control and analysis, and test report generation, and is available for real time, closed-loop and non-invasive dynamic testing on the embedded software with the characteristic of portability, easy operation, flexibility in size configuration and univ
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Chen, Xi, Harry Hsieh, Felice Balarin, and Yosinori Watanabe. "Formal Verification for Embedded System Designs." Design Automation for Embedded Systems 8, no. 2/3 (2003): 139–53. http://dx.doi.org/10.1023/b:daem.0000003959.60964.4d.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Chen, Xi, Harry Hsieh, and Felice Balarin. "Verification Approach of Metropolis Design Framework for Embedded Systems." International Journal of Parallel Programming 34, no. 1 (2006): 3–27. http://dx.doi.org/10.1007/s10766-005-0002-x.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Park, Sa-Choun, Gi-Hwon Kwon, and Soon-Hoi Ha. "Automatic Verification of the Control Flow Model for Effective Embedded Software Design." KIPS Transactions:PartA 12A, no. 7 (2005): 563–70. http://dx.doi.org/10.3745/kipsta.2005.12a.7.563.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Dong, Zhijiang, Yujian Fu, and Yue Fu. "Runtime Verification on Robotics Systems." International Journal of Robotics Applications and Technologies 3, no. 1 (2015): 23–40. http://dx.doi.org/10.4018/ijrat.2015010102.

Texto completo
Resumen
Runtime verification is a technique for generating monitors from formal specification of expected behaviors for the underlying system. It can be applied to automatically evaluate system execution, either on-line or off-line, analyzing extracted execution traces; or it can be used online during operation, potentially steering the application back to a safety region if a property is violated. As a so-called light-weighted formal method, runtime verification bridges the gap between system design and implementation and shorten the distance of software quality assurance between the software testing
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Cunning, Steve J., Stephan Schulz, and Jerzy W. Rozenblit. "An Embedded System's Design Verification Using Object-Oriented Simulation." SIMULATION 72, no. 4 (1999): 238–49. http://dx.doi.org/10.1177/003754979907200403.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Cheddadi, Youssef, Fatima Errahimi, and Najia Es-sbai. "Design and verification of photovoltaic MPPT algorithm as an automotive-based embedded software." Solar Energy 171 (September 2018): 414–25. http://dx.doi.org/10.1016/j.solener.2018.06.085.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Júnior, José, Alisson Brito, and Tiago Nascimento. "Verification of Embedded System Designs through Hardware-Software Co-Simulation." International Journal of Information and Electronics Engineering 5, no. 1 (2015): 68–73. http://dx.doi.org/10.7763/ijiee.2015.v5.504.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes
También puede estar interesado en las bibliografías ampliadas sobre el tema "Embedded software design and verification" para tipos de fuentes particulares:
Artículos de revistas
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía