Simulador de PLC Psim

Descargar

Especificación y verificación con Redes de Petri

Incluye teoría y práctica acerca de grafos de Petri y su aplicación a los sistemas de tiempo real. Contiene ejemplos de problemas básicos (productor-consumidor, lector-escritor, etc.). Hay un capítulo sobre el análisis con matrices de entrada y salida.

Descargar

Simulador Redes de Petri HPSIM

Simulador usado en Laboratorio.

Descargar

Simulador Redes de Petri SIMNET

Programa de simulación para DOS pero con entorno gráfico de tipo Windows.

Descargar

Simulador Redes de Petri PETRISIM

Programa de simulación para DOS.

Descargar

Ada, al igual que Pascal y C, es un lenguaje estructura. Fue desarrollado por iniciativa y bajo la supervisión del Departamento de Defensa (DoD) de EE.UU.

Históricamente, C ha sido la elección preferida para la programación de aplicaciones embebidas, por su independencia del procesador utilizado y lo suficientemente de bajo nivel para permitir al programador manejar el hardware de la máquina. Además puede ser implementado en casi cualquier arquitectura, tiene una performance razonable, es un standard internacional y es familiar a la mayoria de los programadores de sistemas. Sin embargo tiene una seria de desventajas que pueden ser significantes, como por ejemplo la falta de soporte para la concurrencia (multithreading), una omisión importante para los sistemas de tiempo real. Así, el programador requiere usar una insterfaa de programación externa o un sistema operativo de tiempo real (SOTR), comprometiendo así la portabilidad. Los lenguajes con modelos de concurrencia integrada pueden lidiar mejor con estos problemas

Material para Descargar

Características principales del Lenjuaje ADA. Descargar

Exclusión mutua (objetos protegidos). Descargar

Ejemplos en ADA. Descargar

Apuntes Teóricos

Descargar

Apuntes Prácticos

Descargar

Programación del puerto paralelo

Contiene los elementos necesarios para entender y programar su funcionamiento (está en inglés). Todos los ejemplos están realizados en C.

Descargar

Apunte sobre placas de adquisición de datos

Caracteristicas básicas de algunas plcas comerciales: definicines, parámetros, diagramas en bloques, etc.

Descargar

Apunte sobre características básicas del lenguaje

Incluye los elementos básicos necesarios para comenzar a programar, requeridos para realizar las prácticas de entreda/salida.

Descargar