IBM Rational Statemate ayuda a los ingenieros de sistemas a enfrentarse a los retos del mercado de sistemas integrados complejos

Transcripción

1 ZP , 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 Resumen de características 2 Fechas de comercialización previstas 1 Visión general 2 Descripción 2 Principales requisitos previos 4 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 1

2 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. 2

3 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 3

4 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). ZP 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 4

5 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 Anuncio de software ZP de IBM Europe, Middle 2 de junio de 2009ÍndiceOpciones del documentoopciones de contactollámeme ahoraversión para imprimirarriba East and AfricaZP , con fecha 2 de junio de 2009IBM es una marca comercial registrada de 5