Perfil
Fundado en el año 2001 y establecido en Paris, Francia, PragmaDev es el proveedor líder de herramientas software para modelamiento basadas en el estándar internacional SDL con su conjunto de utilidades, PragmaDev Studio. Sus principales características son:
- Representar años de experiencia basándose en estándares gráficos de conceptos de tiempo real que a su vez incluya código de herencia.
- Cubrir poco a poco análisis, especificación diseño, simulación, generación de código, integración de SOTR (Sistema Operativo de Tiempo Real) y depuración en un mismo equipo de computo.
PragmaDev ha establecido alianzas con personal clave en el medio de tiempo real y clients que incluyen Airbus, Alcatel, Thomson, el ejército francés (French Army), Nortel Networks, la Agencia Espacial Europea (European Space Agency, Toshiba, Korean Telecom, LG Electronics, and Wipro.
Tecnología
PragmaDev Studio es una herramienta dedicada a la especificación y el diseño de aplicaciones empotradas y de tiempo real, basado en lenguajes gráficos estandarizados y públicos tales como SDL (Specification and Description Language), SDL-RT, and UML (Unified Modeling Language). SDL-RT es una combinación de los estándares UML, SDL, C y C++, dedicado al modelamiento de aplicaciones empotradas y de tiempo real. Es en un perfil UML de tiempo real en el cual cada servicio del sistema operativo de tiempo real tiene una representación gráfica dedicada, tal es el caso de los semáforos, temporizadores, mensajes (algunas veces pueden ser señales o eventos), colas de mensajes, y librerías de clases activas o pasivas, arquitectura de tareas o hilos y maquinas de estado finitas detalladas que integran código en C y C++. Los desarrolladores de sistemas de tiempo real encuentran fácilmente la forma de usar PragmaDev Studio, ya que todos estos conceptos son familiares para ellos.
Visión
El Mercado de software empotrado y de tiempo real es un sector que crece rápidamente donde las más recientes tecnologías pueden ser encontradas. Lenguajes y herramientas han tratado de seducir el mercado por años. El resultado es bastante decepcionante: el 90% de los equipos de desarrollo no han considerado que las herramientas existentes sean lo suficientemente interesantes, y el 10% restante no considera valga la pena divulgar su experiencia.
Además se presenta una constante tendencia donde las herramientas tratan
de revolucionar la forma en que las personas han estado trabajando
por años con éxito. Por qué se da esto?
Consideramos
que es porque las herramientas editoras tienden a responder a especificaciones
estándar en lugar de responder a las necesidades del usuario. Por supuesto
que es importante usar representaciones que otros puedan leer y entender.
Pero para ser realmente útil, estas representaciones deben tomar en consideración
lo que ha sido hecho por años. En este sentido, SDL-RT (una combinación de UML,
SDL, and C/C++) es la representación que más se ajusta al mundo empotrado o de
tiempo real hoy, debido a que es básicamente un conjunto de representaciones
gráficas de conceptos clásicos como tareas, mensajes, estados, temporizadores
y semáforos. Ningún desarrollador de aplicaciones de tiempo real desconocería
estas representaciones y la comprensión de un sistema SDL-RT es enorme.
La introducción de SDL-RT es una oportunidad para desarrolladores de tiempo real de tener finalmente un estándar dedicado donde los conceptos que usan a diario tienen una representación gráfica mientras que mantiene involucrado el tradicional código C. La simplicidad de SDL-RT permite proveer un ambiente de desarrollo a un precio razonable donde las herramientas mas usadas de SDL son muy costosas y de manejo complejo.
SDL-RT es además un lenguaje de modelamiento que permite una aproximación funcional así como orientación a objetos, haciendose perfectamente adaptable al uso y hábitos del equipo de desarrollo.
Desde el punto de vista de la estandarización, la ambigüedad inherente de permitir variaciones semánticas en UML ha alcanzado una creciente necesidad de crear perfiles basados en lenguajes formales como SDL del la Unión Internacional de Telecomuniciaciones (UIT-T) (Z.100). La estandarización por la UIT-T de un perfil UML basado en SDL (Z.109) demuestra esa necesidad mientras converge hacia SDL-RT.