SEMP

Un diseño basado en plataformas respecto al diseño respecto al diseño completo del sistema empotrado permite: Reducir el tiempo de desarrollo. Reducir el Bill of Materials. Reducir el tamaño del sistema empotrado.

El parámetro de configuración configUSE_TICKLESS_IDEL del sistema operativo FreeRTOS permite: Aumentar el número de ticks del sistema para cambiar rápidamente de tarea. Configurar el sistema del reloj(systick) para adecuarlo al planificador. Que la tarea Idle pueda poner al microprocesador en modo de bajo consumo.

¿Qué es CMSIS?. La capa de abstracción hardware implementada por ARM. Un estándard de interfaz software definido por ARM para trabajar con sus microprocesadores. Una librería para utilizar DSPs sobre arquitecturas ARM.

El modo Thumb-2 de los procesadores ARM Cortex M... Mejora el rendimiento para poca memoria. Empeora el rendimiento para poca memoria. Permite utilizar el juego Thumb y ARM simultáneamente.

La ventaja fundamental de la arquitectura MSP430 respecto a una AVR es: MSP430 tiene menor consumo. MSP430 tiene mayor consumo. MSP430 tiene más interfaces.

El NVIC (Nested Vectored Interrupt Controller) de los microcontroladores ARMv7 permite: Utilizar desalojo en las interrupciones. Despertar al microcontrolador de bajo consumo mediante una interrupción. Configurar los temporizadores del microcontrolador.

Respecto de una Flash tipo NOR las Flash tipo NAND. Se suelen usar para almacenar código. Tienen un tiempo de escritura mayor. Tienen celdas de memoria de menor tamaño.

Cuál de las siguientes características se ajusta a la definición de ScratchPad Memory: Se encuntra en un espacio de direcciones distinto al de la memoria externa. Habitualmente es más lenta que la memoria caché. Suele estar implementada con DRAM.

A qué política de emplazamiento de una memoria caché corresponde la arquitectura de la siguiente figura: Asociativa de 2 vías(2-way associative). Asociativa de 4 vías(4-way associative). Completamente asociativa.

Habitualmente un planificador SJF frente a un Round Robin. Tiene mejor tiempo de respuesta. Tiene menor tiempo de retorno (Turnaround). Tiene menor capacidad de ejecución.

Para un sistema de tiempo real, con 4 tareas periódicas con plazos menores o iguales a los periodos, implementado con FreeRTOS, ¿qué criterio de asignación de prioridades es más adecuado?. Más prioridad cuanto más importante sea la tarea. Más prioridad cuánto más tarde la ejecución de la tarea. Más prioridad cuánto más pequeño sea el plazo de la tarea.

Una tarea que no utiliza recursos compartidos, ¿puede sufrir bloqueos?. No, puesto que no necesita adquirir ningún mutex. Sí, en caso de utilizar protocolos de herencia de prioridad para el acceso a recursos compartidos. Sólo si no se modifican las prioridades cuando se accede a recursos compartidos.

El protocolo de techo de prioridad inmediato para el acceso a recursos compartidos. Asegura que el bloqueo máximo de todas las tareas es menor o igual que en el caso de usar herencia de prioridad. Necesita más cambios de contexto que herencia de prioridad y por eso no lo implementa FreeRTOS. Puede generar varios bloqueos en cada activación de una tarea, dependiendo del número de secciones críticas.

¿Que afirmación es incorrecta sobre el diseño de sistemas empotrados basados en máquinas de estados?. Permite la verificación formal del sistema. Permite la planificación automática o semi-automática a partir del modelo. Mejora la seguridad del sistema.

Las máquinas de estados extendidas (con memoria, con variables): Reduce el número de estados necesarios para modelar un comportamiento. No permite la verificación formal de proposiciones LTL. Son más difíciles de implementar en C porque ocupan más memoria y consumen más que las máquinas de estados finitos puras.

Un sistema ciberfísico es: Un robot que contiene un sistema empotrado basado en microprocesador. Un sistema empotrado que interactúa en un proceso físico. Un sistema computacional para evitar ciberataques.

A. B. C.

La función botón_pulsado no puede modificar la variable botón. La función botón_pulsado debería devolver un 0 si boton es mayor que 0. No hay nada incorrecto.

Indique la respuesta verdadera. A. B. C.

¿Qué estrategia de profiling no puede aplicarse sin recompilar el programa?. Instrumentación de funciones (gprof). Instrumentación binaria dinámica con re-optimización (valgrind). Uso de contadores hardware (perf).

1. Un modelado no determinista es útil cuando: Queremos disminuir el número de transiciones entre estados. Queremos modelar aspectos desconocidos del entorno. Queremos realizar una implementación semi-automática.

Teniendo en cuenta el siguiente modelo disparado por tiempo, suponiendo x e y señales discretas. ¿Cuándo ocurre la transición?. Siempre que se produzca una activación. Nunca. Siempre que x esté presente.

3. Una ventaja de la escritura simultánea en la cache y memoria de menor nivel es: a. Escritura a mayor velocidad. b. Se puede usar memoria compartida entre procesos. c. Hardware más sencillo.

En la técnica de verificación Model Checking la Lógica Temporal Lineal se utiliza para. Realizar el modelo del sistema. Describir las propiedades del sistema. Definir la estructura de Kripke.

¿Cuál de las siguientes características NO se ajusta a la definición de una Scratch Pad Memory?. a. Comparte espacio de direcciones con la memoria externa (on-chip). b. Suele estar implementada con SRAM. c. Habitualmente garantiza lectura en un ciclo de reloj.

6. La utilización de un Sistema Operativo en un sistema empotrado: permite acceder a la memoria con mayor seguridad. permite implementar sistemas de tiempo real, que de otra forma no es posible. permite una planificación de procesos eficiente.

7. La ventaja fundamental de una arquitectura MSP430 respecto a una AVR es: MSP430 tiene menor consumo. MSP430 tiene mayor rendimiento. MSP430 tiene más interfaces.

char z; char miFuncion(int a) { char y; uint16_t x; x = 0x20; y = *x+a; return y; } int main(void) { int i=4; z = miFuncion(i); ... } ¿Dónde se guarda z?. a. En una dirección de memoria estática determinada por el compilador. b. En la primera posición del espacio de programa. c. En la pila.

9. ¿Qué se guarda en z?. 4 + el valor almacenado en el registro de I/O 0x0020. El valor almacenado en el registro de I/O 0x0024. Es imposible saberlo con los datos aportados.

10. Cómo reduzco la tasa de fallos de capacidad en una memoria caché. Aumento el tamaño de la caché. Aumento el tamaño del bloque. Aumento la asociatividad.

Cuáles de las siguientes afirmaciones sobre los sistemas empotrados NO es cierta: Siempre están destinados a una aplicación específica. Siempre tienen restricciones de tiempo real. Siempre tienen parte software.

El algoritmo de planificación Shortest-Remaining-Time-First (SRTF) para un conjunto dado de procesos: Proporciona la máxima utilización de la CPU. Proporciona el mínimo tiempo de respuesta. Proporciona el mínimo tiempo medio de espera.

En el mapa de memoria de C, quién tiene la responsabilidad de la gestión del heap: El desarrollador del programa. El compilador. El compilador y el desarrollador del programa.

Para un sistema de tiempo real, con 4 tareas periódicas con plazos menores o iguales a los periodos, implementado sobre FreeRTOS (planificador con prioridades fijas y desalojo), ¿qué criterio de asignación de prioridades es más adecuado?. Más prioridad cuanto más importante sea la tarea. Más prioridad cuanto más tarde la ejecución de la tarea. Más prioridad cuanto más pequeño sea el plazo de la tarea.

La mayor velocidad de procesamiento de los microcontroladores AVR respecto a los PIC se debe a. la utilización de compiladores más eficientes. la arquitectura basada en registros de propósito general. la mayor velocidad del bus de comunicaciones interno.

Una tarea que no utiliza recursos compartidos, ¿puede sufrir bloqueos?. No, puesto que no necesita adquirir ningún mutex. Sí, en caso de utilizar protocolos de herencia de prioridad para el acceso a recursos compartidos. Sólo si no se modifican las prioridades cuando se accede a recursos compartidos.

Indique cuál de las siguientes afirmaciones es correcta: Los procesos y las hebras son igual de ligeros en términos de creación. Cada proceso tiene su propia pila, al igual que las hebras. Los procesos comparten zonas de memoria mientras que las hebras no.

18. ¿Qué afirmación es correcta sobre el diseño de sistemas empotrados basados en máquinas de estados?. Permite la verificación formal del sistema. Permite la implementación óptima en tiempo de ejecución. Mejora el consumo del sistema.

19. Las máquinas de estados extendidas (con memoria, con variables). a. Reducen el número de estados necesarios para modelar un comportamiento. b. No permiten la verificación formal de proposiciones LTL. c. Son más difíciles de implementar en C porque ocupan más memoria y consumen más que las máquinas de estados finitos puras.

A la hora de la elección de un micro, si analizamos los interfaces y comprobamos que se necesita USB: Hay que prestar atención porque el consumo será elevado. Hay que prestar atención porque la huella en la PCB será muy grande. Hay que prestar atención porque el software necesario ocupará más.

Una señal pura es una señal que: En cualquier momento puede tomar el valor true o false. En cualquier momento puede tomar el valor abscent o present. En todo momento tiene que tener uno de los valores abscent o present.

Teniendo en cuenta el siguiente modelo disparado por eventos, suponiendo x e y señales discretas. ¿Cuándo transcurre la transición?. Siempre que se produzca una activación. Nunca. Siempre que x esté ausente.

Respecto al diseño completo del sistema empotrado, un diseño basado en plataformas permite: Reducir la curva de aprendizaje. Reducir el Bill of Materials. Reducir el tamaño del sistema empotrado.

La ventaja fundamental de una arquitectura ARM M0 respecto a una PIC es: El ARM tiene menor consumo. El ARM tiene mayor rendimiento. El ARM tiene mayor modularidad.

¿A qué tipo de memoria caché pertenece este esquema?. Totalmente asociativa. Set-asociativa. Mapeo directo.

Teniendo en cuenta la siguiente máquina de estados: No se cumple la propiedad. Sí se cumple la propiedad. Se cumple si la máquina es determinista.

¿Qué afirmación es incorrecta sobre el diseño de sistemas empotrados basados en máquinas de estados?. Permite la verificación formal del sistema. Permite la implementación automática o semi-automática a partir del modelo. Mejora el consumo del sistema.

A la hora de la elección de un micro, si analizamos los interfaces y comprobamos que se necesita ethernet: Hay que prestar atención porque el consumo será elevado. Hay que prestar atención porque la huella en la PCB será muy grande. Hay que prestar atención porque el software necesario ocupará más.

Un modelo es determinista cuando: Permite la implementación del sistema mediante máquinas de estado. En cada estado, para culaquier valor de entrada, únicamente se habilita una transición. En cada estado, para todos los valores de entrada, únicamente se habilita una transición.

Al compilar el programa hello1.c obtenemos el siguiente error: $ gcc -o hello hello.c hello.c: In function 'main': hello.c:3: error: 'e' undeclared (first use in this function) ¿Qué elemento de la toolchain da el error?. Compilador de C. Preprocesador de C. Enlazador.

DMA es un mecanismo mediante el cual: a Los periféricos pueden modificar la frecuencia de reloj del bus al que están conectados. b La CPU puede modificar la política de reemplazo de la caché. c. Los periféricos pueden escribir y leer en memoria sin intervención de la CPU.

13. El bus SPI en su configuración básica es: a. Síncrono y half-duplex b. Síncrono y full-duplex c. Asíncrono y full-duplex. a. b. c.

¿Cuál es la especificación LTL (Spin) que puede corresponder a la propiedad “en el cruce, en ningún momento puede estar en verde la calle principal y la secundaria”?. <> ( (estado_principal != GREEN) || (estado_secundaria != GREEN) ). [] ( (estado_principal != GREEN) || (estado_secundaria != GREEN) ). (estado_principal != GREEN) || (estado_secundaria != GREEN).

¿Cuál es la especificación LTL (Spin) que puede corresponder a la propiedad “la alarma del reloj se apaga cuando se pulsa el botón”?. [] ( !alarm || !button ). [] ( button -> !alarm ). [] ( button -> <> !alarm ).

¿Cuál de estas propiedades puede corresponder a la especificación LTL siguiente? [] (((alarm_state == 1) && code_ok) -> <> (alarm_state == 0)). No se puede introducir el código si la alarma no está activada. Si la alarma está activada, sólo se puede desactivar introduciendo el código. Si la alarma está activada y se introduce el código correcto, la alarma se desactiva.

4. ¿Cuál de estas máquinas de estados verifica la propiedad “<> [] p”?. a. b. c.

¿Cuál de estas propiedades se verifica en la siguiente máquina de estados?. [] <> p. [] (b U p). [] (b -> X p).

8. ¿Cuál de estas funciones no es válida como condición de guarda en una transición de una máquina de estados?. a. int cond (fsm_t* this) { return 1; }. b. int cond (fsm_t* this) { if (button) { button = 0; return 1; } return 0; }. c. int cond (fsm_t* this) { return button > 0; }.

¿Cuál es una ventaja de un Reactor frente a un planificador FIFO con prioridades fijas y desalojo con protocolo de techo de prioridad inmediato para acceso a recursos compartidos?. Menor consumo total. Menores bloqueos máximos. Mayor flexibilidad.

En un Reactor, una tarea que no usa variables compartidas ni primitivas de comunicación o sincronización, ¿puede sufrir bloqueo?. Solo si se utiliza protocolo de herencia de prioridad o techo de prioridad. Sí, siempre. No, nunca.

¿Cuántos bloqueos puede sufrir una tarea en cada activación si utilizamos herencia de prioridad?. Un bloqueo y al principio. Un bloqueo por cada recurso compartido. Un bloqueo por cada recurso compartido con techo de prioridad mayor o igual que la prioridad de la tarea.

En planificación de threads con prioridades fijas y desalojo, si no hay recursos compartidos en todo el sistema, ¿puede haber bloqueo?. Sí. No. Depende de la utilización del sistema.

En planificación de threads con prioridades fijas y desalojo, una tarea que no utiliza recursos compartidos, ¿puede bloquear a tareas de mayor prioridad?. Solo si se utiliza herencia de prioridad para el acceso a recursos compartidos. Sí, en caso de no utilizar prioridades dinámicas para el acceso a recursos compartidos. No, aunque se utilice herencia de prioridad, puesto que nunca cambia su prioridad.