Las tic's

9,67$ 80/ '( 7,(032 5($/ '( 6,67(0$6 ',6(f$'26 %$-2 81$ 0(72'2/2*,$ 25,(17$'$ $ 2%-(726
Por José M. Drake Michael González Harbour Julio L. Medina Grupo de Computadores y Tiempo Real Dpto. de Electrónica y Computadores Universidad de Cantabria

,

,QWURGXFFLyQ

En este trabajo se presenta una metodología de modelado de sistemas de tiempo real formulada en UML y basada en laherramienta abierta de análisis de sistemas de tiempo real MAST desarrollada por nuestro Grupo [1]. Tomando como referencia el método de descripción de sistemas denominado “4+1 view” que se muestra en la figura 1, el modelo que se propone constituye una componente adicional de la Process View. Con ella el diseñador puede construir gradualmente el modelo de tiempo real del sistema, de igual manera a comoconstruye el modelo lógico del sistema. Desde las fases iniciales del desararrollo el diseñador puede verificar de forma cualitativa y cuantitativa las prestaciones temporales y las performances de tiempo real del sistema.

(Functionality) Logical View

(Software management) Component View

Use Case View (Understandability, Usability) Process View Mast Real Time View (RealTime Models)(Performance, Scalability, Throughput) (System distribution) Deployment View

Figure 1: Mast Real Time View in 4+1 view paradigm.

La Mast-RT view está basada en los conceptos y componentes definidos en el entorno MAST (Modeling and Análisis Suite for Real Time Applications). Este es un entorno abierto basado en una descripción textual del modelo del sistema de tiempo real (Mast-File) que se hapropuesto como base a múltiples herramientas de análisis de planificabilidad, análisis de performance,
.

1

diseño, animación, etc. de sistemas de tiempo real. El entorno Mast ofrece componentes conceptuales abstractos para modelar: • • • Recursos hardware (computers, networks, equipos, timers, etc.) y software (threads, procesos, servers, drivers, etc.) que constituyen la plataforma física delsistema. Componentes lógicos (clases, métodos, procedimientos, etc.) y mecanismos de sincronización (mutex, semáforos, monitores, etc.). Escenarios de tiempo real que definen las situaciones de análisis y que se formulan como conjuntos de transacciones concurrentes, de fuentes externas de eventos que las invocan y de las restricciones temporales que se requieren en ellas.

Actualmente en elentorno MAST se han desarrollado los modelos relativos a sistemas monoprocesadores y distribuidos basados en prioridades fijas y con diferentes estrategias de planificación (expulsoras y no expulsoras, servidores esporádicos, polling, etc.) Las herramientas actualmente incorporadas permiten el análisis de sistemas de tiempo real basados en sistemas operativos y lenguajes comerciales de uso frecuentetales como POSIX y Ada. Las herramientas que actualmente ya han sido desarrolladas ([) o que están en fase de desarrollo (!), son: [ [ [ [ [ [ [ ! ! ! ! ! Clasic Rate Monotonic Analysis Varyng Priorities Analysis Multiple Event Analysis Monoprocessor Priority Assignment Linear HOPA Multiple Event HOPA Linear Simulated Annealing Priority Assignement Multiple Event Simulated Annealing PriorityAssignmet Monoprocessor Simulation Utilization Test Check Shared Resources Total Ordering Multiple Event Example Generation

La Mast Real Time View puede utilizarse para representar el comportamiento de tiempo real en cada fase del ciclo de desarrollo del sistema. Puede operara en las fases iniciales con modelos poco detallados basados en estimaciones y de igual modo puede describir el comportamientodetallado del sistema en las fases finales en las que el código ya ha sido generado para validar sus prestaciones. En la Mast RT view se ha establecido una modularidad paralela a la modularidad de la vista lógica. Se dispone tanto de un modelo de tiempo real del sistema completo, como el modelo de cada clase lógica, o incluso el modelo de cada método de su interfaz. Con ello se consigue que los...