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 simulation platform can provide verification of hardware and software integration and test development environment. Therefore, the quality of software development in embedded systems can be significantly improved and development cycle can be remarkably shortened by using this simulation platform.
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 universality of protocol description.
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 and model checking and theorem proving. Runtime verification is considered as a highly scalable and automatic technique. Most of current runtime verification research are endeavored on the program context, in other words, on the program side and falls in the implementation level. These applications limited the benefits of runtime verification that bridges the gap among types of applications. With the proliferation of embedded systems and mobile device, dynamically verifying the firmware and mobile apps becomes a new emerging area. Due to the characteristics of runtime verification technique and limitations of the robotics systems, so far, very few research and project are located in the runtime verification on the firmware of embedded systems, which appear in most of robotics systems. Robotics systems are programmed on the firmware and only observed on device. In this paper, the authors first discussed the current runtime verifications on the embedded systems with limitations. After that, a layered runtime verification framework will be presented for the firmware verification. The case study is applied on the commonly recognized educational toolkit – LEGO Mindstorm robotics systems.
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