Tesis:
Un enfoque formal de la descripción unificada de sistemas analógicos y digitales
- Autor: MARTINEZ MADRID, Natividad
- Título: Un enfoque formal de la descripción unificada de sistemas analógicos y digitales
- Fecha: 1998
- Materia: CIENCIAS TECNOLOGICAS. Teseo;TECNOLOGIA DE ORDENADORES. Teseo;SISTEMAS EN TIEMPO REAL. Teseo;MATEMATICAS. Teseo;CIENCIAS DE LA COMPUTACION. Teseo;SISTEMAS DE INFORMACION. Teseo
- Escuela: E.T.S. DE INGENIEROS DE TELECOMUNICACION
- Departamentos: INGENIERIA DE SISTEMAS TELEMATICOS
- Acceso electrónico:
- Director/a 1º: DELGADO KLOOS, Carlos
- Resumen: Los sistemas con componentes tanto analógicos como digitales han sido objeto de considerable estudio y formalización en los últimos años. Se encuentran en circuitos electrónicos con componentes mixtos, en sistemas de control discreto con entornos continuos, etc. Mientras que los formalismos de descripción homogéneos de las partes continuas y de las partes discretas existen desde hace tiempo, el énfasis en los recientes desarrollos ha sido abordar la descripción unificada de estos sistemas híbridos. Este interés ha llevado a la definición de lenguajes de descripción de hardware analógico y digital, nacidos como extensiones a lenguajes de descripción de hardware digital, normalizados de gran implantación. VHDL-AMS es una extensión al lenguaje de descripción hardware VHDL, norma del IEEE, para la descripción de sistemas con componentes analógicos y digitales. Esta tesis propone un enfoque formal a la descripción unificada de sistemas analógicos y digitales, concretamente basado en el lenguaje VHDL-AMS, para el que se define una semántica formal aquí. Disponer de una semántica formal para un lenguaje sienta las bases para razonar sobre el lenguaje y por tanto sobre los modelos descritos. La semántica propuesta para VHDL-AMS extiende una semántica de notacional existentes para VHDL. Considera que el tiempo subyacente es continuo e incorpora los nuevos elementos del lenguaje en este dominio, fundamentalmente el núcleo de solución analógica de las ecuaciones diferenciales que describen el comportamiento continuo. En primer lugar se selecciona un núcleo sintáctico del lenguaje, y posteriormente se definen los dominios y las funciones semánticas. La semántica definida se basa en una separación ortogonal entre acciones con duración y acciones en el espacio de estados. Asimismo, una distinción entre una semántica secuencial "terminación" y una semántica de "suspensión" permite separar aspectos internos y externos y controlar la observabilidad del sistema, mientras se mantiene la naturaleza denotacional (no operacional) de la descripción semántica. Finalmente, se ha implementado un prototipo de la semántica del lenguaje, que permite su validación y ha ayudado también a la definición incremental de aquellos aspectos que no habían quedado claros en la primera fase de definición