IBM Rational Statemate ayuda a los ingenieros de sistemas a

Anuncio de software de IBM Europe, Middle East and Africa
ZP09-0207, con fecha 2 de junio de 2009
IBM Rational Statemate ayuda a los ingenieros de
sistemas a enfrentarse a los retos del mercado de
sistemas integrados complejos
Índice
1
1
2
Resumen de características
Visión general
Principales requisitos previos
2
2
4
Fechas de comercialización previstas
Descripción
Información adicional
Resumen de características
El aumento de los contenidos de diseño, el número enorme de características
nuevas, los parámetros de diseño ambiguos y las necesidades cambiantes por parte
de los clientes son algunos de los retos a los que deben enfrentarse los ingenieros
de sistemas para tener éxito en el competitivo mercado de sistemas integrados.
IBM® Rational® Statemate ofrece una solución de simulación y modelado gráfico
integral para el desarrollo de sistemas integrados complejos que permite solucionar
los retos que plantean esos clientes.
Visión general
Con IBM Rational Statemate, se especifican sistemas completos para que los errores
que resultan tan caros debido a requisitos ambiguos puedan detectarse en las fases
iniciales del proceso de diseño y corregirlos. IBM Rational Statemate permite a los
ingenieros de sistemas superar los retos de diseño actuales gracias a su entorno de
diseño gráfico completo e iterativo. La última release de IBM Rational Statemate se
centra en continuar mejorando el flujo de trabajo de los ingenieros de sistemas, la
interfaz gráfica de usuario y el rendimiento global de las herramientas.
Conjunto de funciones actual:
• Entorno de diseño gráfico completo
• Diagramas de casos de uso UML
• Diagramas de secuencias UML
• Diagramas de estado UML
• Diagramas de bloques de flujos funcionales (Gráficos de actividades)
• Diagramas de arquitectura (Gráficos de actividades)
• Diagramas de flujo
• Tablas de verdad
• Prototipos de panel de ingeniería
• Entorno de simulación completa
• Tecnologías de verificación formal: Model Checker y Model C
• Calidad de producción y generación de códigos de prototipo para el entorno y
destino de desarrollo
• Generación automática de documentación
• Generación automática de pruebas
• Intercambio, importación y exportación de datos de modelo, incluidos XMI, XML y
ASCII
Anuncio de software de IBM Europe, Middle
East and Africa
IBM es una marca comercial registrada de
International Business Machines Corporation
1
• Amplia gama de complementos e interfaces, incluida la gestión de requisitos
• Versiones para PC Windows® y UNIX®, disponibles en configuraciones de
licencias flotantes
Principales requisitos previos
Para obtener más detalles, consulte las secciones y .
Fechas de comercialización previstas
2 de junio de 2009 (distribución electrónica de software)
19 de junio de 2009 (medios y documentación)
Descripción
IBM Rational Statemate, que utiliza una combinación de notaciones de diseño gráfico
tradicionales con algunos de los diagramas UML (Unified Modeling Language), es
una solución de simulación y modelado gráfico integral para el desarrollo rápido de
sistemas integrales complejos. IBM Rational Statemate ofrece un enlace formal y
directo entre las necesidades del usuario y la implementación de software al permitir
al usuario crear una especificación completa y ejecutable. En un PC o en una
estación de trabajo de ingeniería, IBM Rational Statemate crea una especificación
visual que representa con claridad y precisión las funciones y el comportamiento
deseados del sistema especificado. Esta especificación puede ejecutarse (simularse
de forma gráfica) para que el ingeniero de sistemas pueda examinar los escenarios
posibles con objeto de determinar si el comportamiento y las interacciones entre los
diferentes elementos del sistema son correctos. Esta especificación ejecutable sirve
también para comunicarse con los clientes o usuarios finales a fin de confirmar que
la especificación satisface sus necesidades.
Por otra parte, IBM Rational Statemate MicroC Code Generator puede generar
de forma automática aplicaciones "micro" C de calidad de producción a partir
de la especificación gráfica, adaptada específicamente para las UCE de los
automóviles. IBM Rational Statemate también ofrece tecnologías avanzadas, incluida
la verificación formal. Este tipo de análisis puede llevarse a cabo para que los
ingenieros puedan validar las especificaciones gráficas de IBM Rational Statemate a
fin de asegurarse de que se guían por las mejores prácticas de diseño y demostrar
que cumplen las propiedades críticas definidas por el usuario, como la seguridad,
por ejemplo. Con la tecnología avanzada ofrecida por IBM Rational Statemate
Automatic Test Generation, los ingenieros pueden generar de forma automática
una gama completa de vectores de prueba a partir de la especificación gráfica que
pueden incluirse en los planes de prueba. Los vectores de prueba generados se
pueden ejecutar en el sistema integrado con un probador hardware in-the-loop para
garantizar que la compilación se ajusta a la especificación.
IBM Rational Statemate Simulator
Un modelo de IBM Rational Statemate es un modelo que puede simularse y
traducirse automáticamente a código. Las capacidades de visualización de
IBM Rational Statemate mejoran enormemente la comunicación entre los miembros
del proyecto, los proveedores y los clientes, lo que permite al ingeniero probar la
especificación para asegurarse de que es correcta.
El simulador resalta los estados, las funciones y los escenarios activos dentro del
modelo a medida que la simulación se realiza para ofrecer feedback a los usuarios.
Además, la interfaz del operador se puede simular mediante paneles falsos. Estos
paneles se pueden ejecutar en IBM Rational Statemate. Este panel falso, que está
vinculado al modelo, es capaz de proporcionar entradas y salidas a la simulación.
Anuncio de software de IBM Europe, Middle
East and Africa
IBM es una marca comercial registrada de
International Business Machines Corporation
2
Otra de las ventajas de IBM Rational Statemate Simulator es su capacidad para
simular un diseño incompleto, lo que permite al usuario construir el modelo y
simularlo con un enfoque iterativo top-down, bottom-up o middle-out.
El entorno del simulador proporciona todos los dispositivos de depuración
tradicionales, como formas de onda, monitores y ventanas de depurador. Esto
permite analizar la especificación con el fin de asegurarse de que se comporta de
forma correcta y capturar los datos de prueba que se utilizarán posteriormente para
probar la implementación.
Tecnologías de verificación formal:
IBM Rational Statemate Model Checker
IBM Rational Statemate Model Checker Plus
IBM Rational Automatic Test Generation
IBM Rational Statemate Model Checker permite a los diseñadores de sistemas
validar sus modelos de IBM Rational Statemate para comprobar que se guían por
buenas prácticas de diseño. IBM Rational Statemate Model Checker Plus se utiliza
para probar que los modelos de IBM Rational Statemate cumplen las propiedades
críticas definidas por los usuarios, como la seguridad, por ejemplo. Permite a los
ingenieros de sistemas asegurarse de que sus diseños funcionan de forma correcta
en todas las circunstancias, incluidas tanto las previstas como las imprevistas.
Estas soluciones no solo reducen el tiempo necesario para desarrollar un modelo de
especificación correcto, que se puede utilizar como "Modelo de referencia, sino que
permiten mejorar de forma significativa su calidad con respecto a los métodos de
validación actuales.
Un nivel más avanzado de las pruebas: IBM Rational Statemate Automatic
Test Generation
Con la ayuda de IBM Rational Statemate Automatic Test Generation (ATG), los
ingenieros pueden reducir de forma significativa el tiempo que lleva elaborar las
pruebas. Gracias a una interfaz de utilización sencilla, ATG produce de forma
automática un conjunto de vectores de prueba que abarcan la totalidad del modelo
de diseño. Los vectores se pueden utilizar para validar el modelo mediante la
ejecución de las pruebas generadas de forma automática con el IBM Rational
Statemate Simulator. Asimismo, se pueden utilizar en la implementación de destino,
y dado que ATG no solo genera vectores de prueba en función de estímulos de
entrada sino también de valores de salida, resulta posible automatizar el proceso de
prueba de manera completa.
Elaboración de prototipos:
IBM Rational Statemate C Code Generator
IBM Rational Statemate Ada Code Generator
IBM Rational Statemate Embedded Rapid Prototyper
IBM Rational Statemate Code Generator permite al usuario convertir de forma
automática el modelo formal de IBM Rational Statemate en código C o Ada de alta
calidad para los desarrolladores de software. El software crea un prototipo virtual
para funcionar en un PC o en una estación de trabajo o código que se ejecuta en el
sistema de banco de prueba de destino. Esto ofrece una vía rápida de creación de
prototipos integrados y virtuales que agiliza de forma extraordinaria el proceso de
elaboración de prototipos. Este proceso mediante pulsación de botones representa
órdenes de magnitud más rápidas que el método tradicional de escritura a mano del
código del prototipo y garantiza que el prototipo se ajuste a la especificación.
Gracias a la creación de prototipos virtuales, el ingeniero puede presentarle el
prototipo al cliente para que lo pruebe. Esto ofrece una forma de comunicación
excelente y garantiza que el diseño refleje lo que el cliente desea. Realizar una
modificación en la especificación y volver a ejecutar el nuevo prototipo actualizado
para el cliente requiere solo unos segundos. Además, IBM Rational Statemate
permite al usuario insertar este prototipo en el entorno de destino para asegurarse
de que la especificación se comporta de forma correcta en las condiciones de
Anuncio de software de IBM Europe, Middle
East and Africa
IBM es una marca comercial registrada de
International Business Machines Corporation
3
funcionamiento real. Para que sirva de ayuda a este proceso, IBM Rational ofrece
Embedded Rapid Prototyper, que permite al usuario generar, compilar, descargar
y ejecutar código que se está ejecutando a su vez en un sistema de destino del
prototipo, al tiempo que muestra información de análisis y de depuración en el
modelo del host.
Generación de código de calidad de producción:
Generador de códigos IBM Rational Statemate MicroC
Como complemento a los generadores de códigos de prototipo de IBM Rational
Statemate, MicroC Code Generator (e IBM Rational Statemate Developer) permite
generar código ANSI C de calidad de producción a partir del modelo de diseño
de IBM Rational Statemate en cualquier fase del desarrollo. La creación de una
Definición de sistema operativo habilita esta capacidad y permite al generador de
códigos encargarse de la codificación repetitiva y propensa a errores necesaria
para pasar de la fase de diseño a la de implementación. Esta Definición de sistema
operativo se crea mediante una solución basada en menús que se incluye con
MicroC Code Generator. Funciona como una abstracción del sistema operativo
o del programador subyacentes y no añade ninguna sobrecarga al tamaño del
código. MicroC Code Generator también incluye Definiciones de sistema operativo
predeterminadas para los estándares OSEK y MicroITRON, junto con ejemplos de
programación de bucle principal. Asimismo, MicroC Code Generator genera de forma
automática el código origen y los archivos de construcción necesarios e incluso
invoca al compilador y al enlazador, lo que permite a los desarrolladores de software
crear el diseño gráfico como una biblioteca completa o un ejecutable.
Generación automática de documentación mediante IBM Rational
Statemate
IBM Rational Statemate Automatic Documentor permite a los ingenieros extraer
todos los datos de modelo, tanto gráficos como de texto, e insertarlos en
documentaciones personalizadas o estándar. Los documentos generados pueden
incluir hiperenlaces XML. De manera similar a la navegación en un sitio web, los
hiperenlaces dentro del documento de IBM Rational Statemate permiten navegar
por el modelo, pero dentro del contexto del documento. Esto resulta ideal en las
comunicaciones con el departamento de Marketing o con un cliente que no está
familiarizado con el propio modelo. Además, estos documentos con hiperenlaces
pueden publicarse de forma sencilla en Internet para permitir colaborar a equipos
situados en diferentes ubicaciones.
IBM Rational Statemate Node Allocator
IBM Rational Statemate Node Allocator automatiza el largo proceso de definición de
interfaces extremadamente complejas con descripciones y documentación claras
y que por lo general realizan los desarrolladores cuando pasan de la arquitectura
funcional a la arquitectura física.
Información adicional
Los enlaces a algunas secciones a las que se hace referencia no están incluidos en
esta versión reducida del anuncio. Si desea obtener más información y acceder a
estas secciones, consulte la carta de anuncio completa (en inglés). ZP09-0207
Condiciones de uso
Pueden solicitarse los servicios y productos de IBM que se anuncian y están
disponibles en su país conforme a los acuerdos estándar, plazos, condiciones
y precios aplicables en vigor en ese momento. IBM se reserva el derecho a
modificar o retirar este anuncio sin previo aviso. Este anuncio tiene carácter
exclusivamente informativo. La referencia a otros productos en este anuncio
no implica necesariamente que dichos productos se anuncien o que se tenga la
intención de anunciarlos en su país. Puede encontrar términos de uso adicionales en
Anuncio de software de IBM Europe, Middle
East and Africa
IBM es una marca comercial registrada de
International Business Machines Corporation
4
http://www.ibm.com/legal/us/en/
Para obtener la información más reciente acerca de los productos de IBM, póngase
en contacto con su representante o distribuidor de IBM, o visite la página de
contactos internacional de IBM
http://www.ibm.com/planetwide/
Anuncio de software ZP09-0207 de IBM Europe, Middle East and Africa 2 de
junio de 2009ÍndiceOpciones del documentoOpciones de contactoLlámeme
ahoraVersión para imprimirArribaAnuncio de software de IBM Europe, Middle East
and AfricaZP09-0207, con fecha 2 de junio de 2009IBM es una marca comercial
registrada de International Business Machines Corporation
Anuncio de software de IBM Europe, Middle
East and Africa
IBM es una marca comercial registrada de
International Business Machines Corporation
5