TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES
Transcript of TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES
![Page 1: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/1.jpg)
TEMA II: MODELOS DE ESPECIFICACIÓNY LENGUAJES
Especificaciones
Formato intermedio
Partición HW/SW
Código Implementación HW
Integración
Verificación
UN MODELO DE COMPUTACIÓN ES UNENTORNO DE TRABAJO EN EL QUEEXPRESAR LA SECUENCIA DE ACCIONESQUE DEBEN SER EJECUTADAS PARACOMPLETAR UNA OPERACIÓN
![Page 2: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/2.jpg)
MODELO DE COMPUTACIÓN
BASTANTE PODEROSO EN EL DOMINIO
ALGORITMOS DE SÍNTESIS Y VALIDACIÓN
DE LA APLICACIÓN
APROPIADOS
INTERPRETA DE LA DESCRIPCIÓN
![Page 3: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/3.jpg)
LENGUAJE DE DESCRIPCIÓN
BASTANTE EXPRESIVO EN EL DOMINIO
TENER SENTIDO EN EL MODELO DE
DE LA APLICACIÓN
COMPUTACIÓN
DESCRIBE EL SISTEMA
MODELO DE COMPUTACIÓN
BASTANTE PODEROSO EN EL DOMINIO
ALGORITMOS DE SÍNTESIS Y VALIDACIÓN
DE LA APLICACIÓN
APROPIADOS
INTERPRETA DE LA DESCRIPCIÓN
![Page 4: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/4.jpg)
SEÑALES DE DATO SEÑALES DE CONTROL
ESPECIFICACIÓN DEPENDENCIA FUNCIONAL ENTRE ENTRADAS Y
SALIDAS
RELACIÓN CAUSA/EFECTO
SÍNTESIS EFICIENCIA MEMORIA/TIEMPO (PIPELINE) TIEMPO DE RESPUESTA
VALIDACIÓN TODOS LOS PROCESOS Y EVENTOS SON IGUALES PRIORIDAD ENTRE EVENTOS Y PROCESOS.
SEÑALES
LLEGADA EN BLOQUES REGULARESINDEPENDENCIA DE DATOS
LLEGADA EN TIEMPOS DIFERENTES
![Page 5: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/5.jpg)
PROPIEDADESAFIRMACIÓN DEL COMPORTAMIENTO
CONCURRENCIA TRANSICIONES
JERARQUÍA CONSTRUCCIONES
ACABADO COMUNICACIÓN
SINCRONIZACIÓN TEMPORIZACIÓN
DE ESTADO
DE PROGRAMACIÓN
EJECUCIÓN SIMULTÁNEADE VARIAS TAREAS DIVISIÓN DEL COMPORTAMIENTO
EN ESTADOS
DIVISIÓN DEL SISTEMA ENCOMPONENTES MÁS PEQUEÑOS OPERACIONES IMPLEMENTADAS
VÍA SOFTWARE
CADA COMPONENTE ACABASU OPERACIÓN
MUY RELACIONADA CONLA COMUNICACIÓN
DESINCRONIZADA
LECTURA-MODIFICACIÓN-ESCRITURA
FIFO ILIMITADA
FIFO LIMITADA
RENDEZVOUS
REQUERIDA PARA LAIMPLEMENTACIÓN EN ELMUNDO REAL
![Page 6: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/6.jpg)
MULTIPLICADOR
SUMADOR RESTADOR
SUMADOR
A B C
Q P R
EJEMPLO DE CONCURRENCIA
SUMADOR
MULTIPLICADOR
SUMADOR
R
RESTADOR
MULTIPLICADOR
SUMADOR
R
RESTADOR
SUMADOR
R
SUMADOR
Q
SUMADOR
MULTIPLICADOR
P
RESTADOR
MULTIPLICADOR
P
![Page 7: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/7.jpg)
MULTIPLICADOR
SUMADOR RESTADOR
SUMADOR
A B C
Q P R
EJEMPLO DE TRANSICIONES DE ESTADO Y JERARQUÍA
ESTADOS SUMADOR1MULTIPLICADORRESTADORSUMADOR2
COMPONENTES SUMADORMULTIPLICADORRESTADOR
![Page 8: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/8.jpg)
MULTIPLICADOR
SUMADOR RESTADOR
SUMADOR
A B C
Q P R
EJEMPLO DE COMUNICACIÓN
MULTIPLICADOR
SUMADOR RESTADOR
SUMADOR
A
B
C
Q P R
FIFO
RENDEZVOUS
![Page 9: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/9.jpg)
MODELO TAGGED-SIGNAL
TAG = MARCA TEMPORAL DE UN SISTEMA FÍSICO
EVENTO = PAR VALOR/TAG DENTRO DE UN CONJUNTO DE
SEÑAL = CONJUNTO DE EVENTOS
evento∀ e1→ t v1,( ) e2, t v2,( ) v1⇒ v2= = =
PROCESO = CONJUNTO DE POSIBLES COMPORTAMIENTOS
ENTRE SEÑALES
O UNA RELACIÓN ENTRE SEÑALES DE ENTRADA Y SALIDA
VALORES Y TAGES
SISTEMA TEMPORIZADO => TODOS LOS TAGS ORDENADOS
DOS EVENTOS SÍNCRONOS => TIENEN EL MISMO TAG
DOS SEÑALES SÍNCRONAS => TIENEN LOS MISMOS TAGS
SISTEMA SÍNCRONO => TODAS LAS SEÑALES SÍNCRONAS
SISTEMA NO TEMPORIZADO => NO TODOS TAGS ORDENADOS
A B
C
D
A B
C
D
T1
T2
T3
T4
A
B
C
D
A
B
C
D
T1 T2 T3 T4
A
B
C
D
![Page 10: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/10.jpg)
MODELO DE EVENTOS DISCRETOS (DE)
A
T1 T2 T3 T4 T5A = {(0,0), (1,T1), (0,T2), (1,T3), (0,T4), (1, T5)}
PUEDE EXISTIR UN CAMBIO EN EL
SISTEMA CUANDO CAMBIA
ALGUNA DE SUS SEÑALES
A
B
C
A
B
C
A
B
C
A
B
C
![Page 11: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/11.jpg)
MODELO DE EVENTOS DISCRETOS (DE)
A
T1 T2 T3 T4 T5A = {(0,0), (1,T1), (0,T2), (1,T3), (0,T4), (1, T5)}
PUEDE EXISTIR UN CAMBIO EN EL
SISTEMA CUANDO CAMBIA
ALGUNA DE SUS SEÑALES
A
B
C
A
B
C
A
B
C
A
B
C
A
B
C
TA TC1TB TC2
A
B
C
A
B
C
A
B
C
A
B
C
![Page 12: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/12.jpg)
MODELO DE EVENTOS DISCRETOS (DE)
A
T1 T2 T3 T4 T5A = {(0,0), (1,T1), (0,T2), (1,T3), (0,T4), (1, T5)}
PUEDE EXISTIR UN CAMBIO EN EL
SISTEMA CUANDO CAMBIA
ALGUNA DE SUS SEÑALES
A
B
C
A
B
C
A
B
C
A
B
C
A
B
C
A
B
C
A
B
C
A
B
C
A
B
C
TA TB TC2
![Page 13: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/13.jpg)
MODELO DE EVENTOS DISCRETOS (DE)
A
T1 T2 T3 T4 T5A = {(0,0), (1,T1), (0,T2), (1,T3), (0,T4), (1, T5)}
PUEDE EXISTIR UN CAMBIO EN EL
SISTEMA CUANDO CAMBIA
ALGUNA DE SUS SEÑALES
A
B
C
A
B
C
A
B
C
A
B
C
A
B
C
A
B
C
A
B
C
A
B
C
A
B
C
TATC1
TB TC2
![Page 14: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/14.jpg)
MODELO DE EVENTOS DISCRETOS (DE)
A
T1 T2 T3 T4 T5A = {(0,0), (1,T1), (0,T2), (1,T3), (0,T4), (1, T5)}
PUEDE EXISTIR UN CAMBIO EN EL
SISTEMA CUANDO CAMBIA
ALGUNA DE SUS SEÑALES
A
B
C
A
B
C
A
B
C
A
B
C
A
B
C
A
B
C
A
B
C
A
B
C
A
B
C
TA TC1TB TC2
MODELO UTILIZADO EN SIMULADORES DE VHDL, VERILOG Y PTOLEMY
![Page 15: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/15.jpg)
MODELO DE MÁQUINAS DE ESTADO FINITO (FSM)
S1
S2
S3
S4
(I, O, S, δ, λ) BUENA PARA ESPECIFICAR COMPORTAMIENTO SECUENCIAL
NO FORMAN UN MODELO COMPLETO (TURING)
DOMINIOS TÍPICOS: CONTROL INTENSIVO Y PROTOCOLOS
PROBLEMA CON UN GRANDES
JERARQUÍA
CONCURRENCIA
NO DETERMINISMOS
NECESIDADES DE MEMORIA
![Page 16: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/16.jpg)
MODELO DE REDES DE PROCESO DE FLUJO DE DATOS (DF)
I
C2C1
+
C1·I(N)+C2·I(N-1)
1
0
-1
10
C1
C2
+
![Page 17: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/17.jpg)
MODELO DE REDES DE PROCESO DE FLUJO DE DATOS (DF)
I
C2C1
+
C1·I(N)+C2·I(N-1)
1
0
-1
10
C1
C2
+
![Page 18: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/18.jpg)
MODELO DE REDES DE PROCESO DE FLUJO DE DATOS (DF)
I
C2C1
+
C1·I(N)+C2·I(N-1)
1
0
-1
10
C1
C2
+
![Page 19: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/19.jpg)
MODELO DE REDES DE PROCESO DE FLUJO DE DATOS (DF)
I
C2C1
+
C1·I(N)+C2·I(N-1)
1
0
-1
10
C1
C2
+
![Page 20: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/20.jpg)
MODELO DE REDES DE PROCESO DE FLUJO DE DATOS (DF)
I
C2C1
+
C1·I(N)+C2·I(N-1)
1
0
-1
10
C1
C2
+
![Page 21: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/21.jpg)
MODELO DE REDES DE PROCESO DE FLUJO DE DATOS (DF)
I
C2C1
+
C1·I(N)+C2·I(N-1)
1
0
-1
10
C1
C2
+
![Page 22: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/22.jpg)
MODELO DE REDES DE PROCESO DE FLUJO DE DATOS (DF)
I
C2C1
+
C1·I(N)+C2·I(N-1)
1
0
-1
10
C1
C2
+
FÁCIL DE USAR
ALGORITMOS POTENTES PARA
CONCURRENCIA EXPLÍCITA
VERIFICACIONES Y SÍNTESIS
EFICAZ SÓLO PARA MODELOS RENSTRINGIDOS
NO DESCRIBE CONTROL REACTIVO
![Page 23: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/23.jpg)
MODELO DE REDES DE PETRI (PN)
(1, 1, 0, 0, 0)
P1 P2
P5
P4P3
T1 T2
T4T3
![Page 24: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/24.jpg)
MODELO DE REDES DE PETRI (PN)(1, 1, 0, 0, 0)
P1 P2
P5
P4P3
T1 T2
T4T3
(0, 1, 1, 1, 0)
T1
(1, 0, 0, 0, 1)
T2
(0, 0, 1, 1, 1)
T2 T1
![Page 25: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/25.jpg)
MODELO DE REDES DE PETRI (PN)(1, 1, 0, 0, 0)
P1 P2
P5
P4P3
T1 T2
T4T3
(0, 1, 1, 1, 0)
T1
(1, 0, 0, 0, 1)
T2
(0, 0, 1, 1, 1)
T2 T1
(1, 1, 0, 1, 0)
T3
(1, 0, 0, 1, 1)T3T2
![Page 26: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/26.jpg)
MODELO DE REDES DE PETRI (PN)(1, 1, 0, 0, 0)
P1 P2
P5
P4P3
T1 T2
T4T3
(0, 1, 1, 1, 0)
T1
(1, 0, 0, 0, 1)
T2
(0, 0, 1, 1, 1)
T2 T1
(1, 1, 0, 1, 0)
T3
(1, 0, 0, 1, 1)T3T2
(0, 1, 1, 0, 0)
T4
(1, 1, 0, 0, 0)T4 T3
![Page 27: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/27.jpg)
MODELO DE REDES DE PETRI (PN)(1, 1, 0, 0, 0)
P1 P2
P5
P4P3
T1 T2
T4T3
(0, 1, 1, 1, 0)
T1
(1, 0, 0, 0, 1)
T2
(0, 0, 1, 1, 1)
T2 T1
(1, 1, 0, 1, 0)
T3
(1, 0, 0, 1, 1)T3T2
(0, 1, 1, 0, 0)
T4
(1, 1, 0, 0, 0)T4 T3
LIVENESS
BOUNDNESS
FREECHOICE
![Page 28: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/28.jpg)
MODELO DE REDES DE PETRI (PN)(1, 1, 0, 0, 0)
P1 P2
P5
P4P3
T1 T2
T4T3
(0, 1, 1, 1, 0)
T1
(1, 0, 0, 0, 1)
T2
(0, 0, 1, 1, 1)
T2 T1
(1, 1, 0, 1, 0)
T3
(1, 0, 0, 1, 1)T3T2
(0, 1, 1, 0, 0)
T4
(1, 1, 0, 0, 0)T4 T3
LIVENESS
BOUNDNESS
FREECHOICE
P1 T1 P2 T2
P3 T3
P4
P5
P1 T1 P2 T2
P3 T3
P4
P5
![Page 29: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/29.jpg)
MODELO DE REDES DE PETRI (PN)(1, 1, 0, 0, 0)
P1 P2
P5
P4P3
T1 T2
T4T3
(0, 1, 1, 1, 0)
T1
(1, 0, 0, 0, 1)
T2
(0, 0, 1, 1, 1)
T2 T1
(1, 1, 0, 1, 0)
T3
(1, 0, 0, 1, 1)T3T2
(0, 1, 1, 0, 0)
T4
(1, 1, 0, 0, 0)T4 T3
LIVENESS
BOUNDNESS
FREECHOICE
P1 T1 P2 T2
P3 T3
P4
P5
P1 T1 P2 T2
P3 T3
P4
P5
P1 T1 P2 T2
P3 T3
P4
P5
![Page 30: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/30.jpg)
MODELO DE REDES DE PETRI (PN)(1, 1, 0, 0, 0)
P1 P2
P5
P4P3
T1 T2
T4T3
(0, 1, 1, 1, 0)
T1
(1, 0, 0, 0, 1)
T2
(0, 0, 1, 1, 1)
T2 T1
(1, 1, 0, 1, 0)
T3
(1, 0, 0, 1, 1)T3T2
(0, 1, 1, 0, 0)
T4
(1, 1, 0, 0, 0)T4 T3
LIVENESS
BOUNDNESS
FREECHOICE
P1 T1 P2 T2
P3 T3
P4
P5
P1 T1 P2 T2
P3 T3
P4
P5
P1 T1 P2 T2
P3 T3
P4
P5
P1 T1 P2 T2
P3 T3
P4
P5
![Page 31: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/31.jpg)
MODELO DE REDES DE PETRI (PN)(1, 1, 0, 0, 0)
P1 P2
P5
P4P3
T1 T2
T4T3
(0, 1, 1, 1, 0)
T1
(1, 0, 0, 0, 1)
T2
(0, 0, 1, 1, 1)
T2 T1
(1, 1, 0, 1, 0)
T3
(1, 0, 0, 1, 1)T3T2
(0, 1, 1, 0, 0)
T4
(1, 1, 0, 0, 0)T4 T3
LIVENESS
BOUNDNESS
FREECHOICE
P1 T1 P2 T2
P3 T3
P4
P5
P1 T1 P2 T2
P3 T3
P4
P5
P1 T1 P2 T2
P3 T3
P4
P5
P1 T1 P2 T2
P3 T3
P4
P5
P1 T1 P2 T2
P3 T3
P4
P5
![Page 32: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/32.jpg)
MODELADO DE LA ARQUITECTURA
Nº DE COMPONENTES
TIPO DE COMPONENTES
CONEXIÓN DE COMPONENTES
SISTEMAS BASADO EN MICROPROCESADOR
SISTEMAS BASADO EN COMPONENTES
SISTEMAS BASADO EN MICROCONTROLADOR
SISTEMAS BASADO EN DSP
![Page 33: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/33.jpg)
Sistemas basado en DSP
UN DSP ES UN DISPOSITIVO QUE EJECUTA UN ALGORITMO SOBRE
SEÑALES DIGITALES, Y DEVUELVE LA SEÑAL DIGITAL TRATADA
ALGORITMOS. (DE)CODIFICACIÓN DE VOZ
TASAS DE MUESTREO. DSP MULTITASA
TASA DE RELOJ
REPRESENTACIÓN DE Nº. PUNTO FIJO/FLOTANTE
SISTEMAS DE BAJO COSTE
SISTEMAS DE ALTAS PRESTACIONES
SISTEMAS MULTIMEDIA BASADOS EN PC
![Page 34: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/34.jpg)
Sistemas basado en Microcontrolador (µC)
UNIDAD DE CONTROL
ALU
MEMORIA DE PROGRAMA
MEMORIA DE DATOS
SISTEMA DE MEMORIA CPU
ALTO VOLUMEN DE PRODUCCIÓN
ALTA FIABILIDAD Y CALIDAD
BAJO COSTE Y MANTENIMIENTO
TIEMPO DE SALIDA AL MERCADO REDUCIDO
SOPORTE PARA DIVERSAS VERSIONES DEL SISTEMA
ARQUITECTURA SELECCIONADA PREVIAMENTE
![Page 35: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/35.jpg)
Sistemas basado en Microprocesador (µP)
UNIDAD DE CONTROL
ALU
MEMORIA DE DATOS
SISTEMA DE MEMORIA CPU
CONJUNTO DE INSTRUCCIONES
DATA-PATH
![Page 36: TEMA II: MODELOS DE ESPECIFICACIîN Y LENGUAJES](https://reader036.fdocumento.com/reader036/viewer/2022071405/62ce572fdc1db031225e20ff/html5/thumbnails/36.jpg)
Sistemas basado en componentes
UN COMPONENTE ES UN SUBSISTEMA AUTOCONTENIDO QUE
PUEDE SER UTILIZADO EN UN SISTEMA MAYOR
UNIDAD DE SERVICIO
UNIDAD DE VALIDACIÓN
UNIDAD DE DETECCIÓN DE ERRORES
UNIDAD DE REUSO
UNIDAD DE DISEÑO Y MANTENIMIENTO
TRANSDUCTOR INTELIGENTE
COMPONENTE INTERFACE
COMPONENTE COMPUTACIONAL
COMPONENTE GATEWAY