Obtenga beneficios adicionales
Aún no tiene una suscripción a Virtual Pro?
Para acceder a este contenido se requiere una suscripción
Obtenga beneficios adicionales
Aún no tiene una suscripción a Virtual Pro?
Para acceder a este contenido se requiere una suscripción
La validación funcional es una tarea importante en sistemas embebidos complejos. El modelado formal del sistema PLC para verificación es una tarea difícil. Un buen modelo de verificación debe ser fiel y conciso. Por un lado, el modelo debe ser consistente con el sistema, por otro lado, el modelo debe tener una escala adecuada debido al problema de explosión de estados de la verificación. En este documento se propone un método sistemático para la construcción de un modelo de verificación. La arquitectura del sistema PLC y las características del PLC se modelan como componentes. Esto es universal para todas las aplicaciones de PLC. Presentamos un método de traducción automática para el modelado de software basado en semántica operacional. Se muestra un pequeño ejemplo de nuestro enfoque.
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.
Artículo:
Reconstrucción bidimensional de la distribución del campo de temperatura mediante el método de los mínimos cuadrados y la aproximación de la función de base radial
Artículo:
El número de ciclos límite de un sistema polinómico en el plano
Artículo:
El uso del análisis matemático en la evaluación del diseño de camas de enfermería.
Artículo:
Mecanismo adaptativo de generación de hojas de prueba mediante algoritmo genético
Artículo:
Resolución de problemas de punto fijo con restricciones de desigualdad e igualdad mediante un método de seguimiento de trayectorias de homotopía de punto no interior
Artículo:
Sistemas de producción y potencial energético de la energía mareomotriz
Artículo:
Creación de empresas y estrategia : reflexiones desde el enfoque de recursos
Artículo:
Análisis teórico e investigación experimental del mecanismo de la pierna del robot-silla andante portador de personas
Artículo:
Mantenimiento de las restricciones de conectividad inalámbrica para enjambres de robots en presencia de obstáculos
Virtual Pro es un portal virtual de formación, investigación y comunicación especializado en procesos industriales.
� 2021, Virtual Pro �, una marca de Grupo INGCO. Todos los derechos reservados
