Biblioteca122.739 documentos en línea

Artículo

Modeling a Heterogeneous Embedded System in Coloured Petri NetsModelando un Sistema Embebido Heterogéneo en Redes de Petri de Colores

Resumen

Los dispositivos integrados están en todas partes ahora y, a diferencia de las computadoras personales, sus sistemas difieren en los lenguajes de implementación y comportamientos. Las interacciones entre diferentes dispositivos requieren que los programadores dominen los paradigmas de programación en todos los lenguajes relacionados. Por lo tanto, puede ocurrir un defecto si se ignoran las diferencias en los comportamientos de los sistemas. En este documento, se presenta un sistema heterogéneo compuesto por dos subsistemas y señalamos un posible defecto en este sistema causado por una falta de coincidencia en la interfaz. Luego, se aplica un enfoque basado en estados para verificar nuestro análisis del sistema.

  • Tipo de documento:
  • Formato:pdf
  • Idioma:Inglés
  • Tamaño: Kb

Cómo citar el documento

Esta es una versión de prueba de citación de documentos de la Biblioteca Virtual Pro. Puede contener errores. Lo invitamos a consultar los manuales de citación de las respectivas fuentes.

Este contenido no est� disponible para su tipo de suscripci�n

Información del documento