Haga clic para modificar el estilo de subttulo del patrn

9/02/09

LACATRE
Langage d'Aide la Conception d'Applications multitches Temps REel Lenguaje de Asistencia para el Desarrollo de Aplicaciones en Tiempo Real.

Desarrollado en LISPI en el INSA (Lyon, Francia).

9/02/09

Plataformas
El lenguaje LACATRE se puede usar en plataformas como:

VxWorks (creado por Wind River Systems) iRMX (Real-time Multitasking eXecutive intel 8080, 8086)

iRMK (Real-time Multitasking Kernel)

VRTX 32 (Basado en UNIX) OS-9000 Windows

9/02/09

Descripcin

Lenguaje grfico. Facilita el diseo y el desarrollo de aplicaciones basadas en multitareas (multitasking) e interacciones con el medio ambiente en Tiempo Real. Permite expresar el comportamiento dinmico y las relaciones de los componentes de los sistemas de tiempo real o concurrentes que proporcionan un aproximacin estructural y metdico del diseo. Sin embargo, no se adapta para el modelado de datos.

9/02/09

Caractersticas

Alternativa para realizar programacin grfica para STR

Facilidad de uso
Multitasking Sincronizacin de tareas Formulacin grfica de algoritmos Con una gran variedad de plataformas, OS y sus lenguajes de programacin, sta solucin parece darnos un buen trabajo y es flexible. Fue escrito bajo el mbito ventanas para su fcil uso.

Familiar al ambiente Windows 9/02/09

Caractersticas

Prioridad basada en calendarizacin preventiva Comparticin de los recursos de sistema

Comunicacin entre tareas y niveles de interrupcin

Actividades invocadas internamente Facilita la comunicacin entre diseadores Generacin automtica de cdigo En el diseo preliminar, el diseador puede modelar el resultado de la especificacin paso en trminos de actividades que utilizan Cliente/Servidor aplicativo basado en objetos. Aprovecha todas las posibilidades de programacin grfica para modelar y verificar por separado las diferentes fases de funcionamiento de una aplicacin (inicio, final, normal de funcionamiento, manejo de excepciones). 9/02/09

El lenguaje LACATRE cuenta con dos modelos:

Grfico (LACATRE_G) Textual (LACATRE_T)

9/02/09

Modelado LACATRE

Cubre la primera fase en desarrollo de aplicaciones en tiempo real.

Permite realizar programacin grfica en el esquema grfico.

El cdigo de LACATRE es obtenido online mientras se est programando.

Despus de ser suplementado con datos apropiados se convierte en una aplicacin compilable completa escrita en un lenguaje objetivo.

9/02/09

Componentes

El lenguaje LACATRE distingue dos tipos bsicos de entidades: objetos, por ejemplo los componentes estticos de un sistema y las primitivas que describen los mecanismos de comunicacin y sincronizacin. Esos componentes del lenguajes son suplementados por formas de algoritmos que son instrucciones estructurales de lenguajes de alto nivel.

9/02/09

Objetos

Objetos programables Objetos configurables

Barras de progreso y de estado.

Barras de accin y de estado. Semforos, buzones, mensajes, recursos y eventos.

Formas algortmicas

9/02/09

9/02/09

9/02/09

9/02/09

9/02/09

9/02/09

Primitivas

Primitivas de estado Primitivas de accin Primitivas de progreso

9/02/09

Algunas primitivas

Crear (Creat)

Realiza todas las inicializaciones y establece la tarea de estado listo para funcionar. La tarea entonces asigna la CPU y ejecutar sus prioridades si lo permite.
Kill (Matar) Elimina la tarea de un sistema. Delay (Retraso)

Cambia el estado de tareas relativas a los retrasos para un determinado intervalo de tiempo.

9/02/09

Algunas primitivas

Suspend (Suspender)

Cambia el estado de tarea suspendida. Tarea de descanso inactivo hasta que Reanudar se llama.
Resume (Reanudar)

Se restablece el estado anterior de tarea.

Inquire (Preguntar) Obtiene el estado tarea (o cualquier informacin sobre la tarea que pueden ser adquiridos por una meta llamada al sistema)

9/02/09

SOFTWARE PARA EL DISEO

LA4-project: Herramienta para apoyar y complementar a LACATRE, es un programa gratuito y abierto. Est hecho bajo C++ (.NET?) y para la plataforma Windows. YAOC-13 : Software abierto para la arquitectura y estructura de sistemas de control y robtica industrial. Es un sistema que adopta una notacin grfica y basada en LACATRE.

9/02/09

9/02/09

Conclusiones

LACATRE es un lenguaje grfico que facilita el diseo y el desarrollo de aplicaciones basadas en multitareas e interacciones con el medio ambiente en Tiempo Real. Cuenta con dos modalidades:

- Grfica (LACATRE_G): representa cada objeto, llamada y conexin como un 9/02/09 smbolo grfico.

El lenguaje se presenta de una manera muy flexible, capaz de operar bajo diferentes Sistemas operativos, plataformas y lenguajes de programacin, lo que nos abre las puertas para seleccionar la plataforma y herramientas ms adecuadas en la implantacin de una solucin en tiempo real.

Est enfocado para proveer herramientas para el diseo y preparacin de 9/02/09 documentacin. Surge como una

Los componentes del lenguaje son suplementados por formas algortmicas que corresponden a instrucciones estructurales de lenguajes de alto nivel. Entidades Bsicas: Objetos, Primitivas.

Objetos: Barras, Objetos Programables, Configurables.

Primitivas: Estado, Accin, Progreso.

Formas algortmicas: La barra de progreso de cualquier objeto programable puede ser extendida por formas algortmicas .Representan el flujo de control del programa. Corresponden a una construccin de 9/02/09 estructura clsica de lenguaje de alto nivel.

9/02/09

EJEMPLO

Introduccin

Este pequeo ejemplo ilustrar la caracterstica de la generacin del cdigo. Comenzaremos por una explicacin del diagrama del ejemplo, despus el cdigo ser demostrado y acabamos con algunas observaciones.

Diagrama LA4

Este ejemplo tiene dos tareas. LA primera tarea se llama Mother y crea la tarea contraria un MailBox MB. Entonces la madre enva mensajes al MB indefinidamente. La tarea contraria cuenta los mensajes y acaba todos cuando se han recibido 5 mensajes.
9/02/09

Generacin de Cdigo
Generacin de Cdigo

La plataforma que estamos utilizando aqu es VxWorks. Es la nica plataforma apoyada por ahora para la generacin del cdigo.

Esta generacin se hace va dos stylesheets de XSLT que sean procesados por LA4 s mismo con las bibliotecas del libxml y del libxslt. Este mecanismo permite que definamos las 9/02/09 plataformas y la generacin del cdigo

Mother.h

9/02/09

Mother.c

9/02/09

Counter.h

9/02/09

Counter.c

9/02/09

Observaciones del ejemplo

Este cdigo no puede ser compilado directamente. Algunos parmetros todava estn faltando, una o varias llamadas. La razn es que no podemos expresar todos en el diagrama LA4 y el usuario todava tiene que agregar una cierta informacin en el cdigo. Pero, como se puede ver, casi el 90% del cdigo se genera.

9/02/09