Registro  
Login

Modelado de Software y Sistemas

Desarrollo de Embedded Software


Pruebas de Software y Sistemas
Consultoría de Certificación Aeronáutica

Formación de Certificación Aeronáutica

Formación de Certificación Ferroviaria


Formación en Certificación ISO 26262

Formación en Ingeniería de Requisitos

Mejore su productivad
Como entorno de modelado de software y sistemas hemos decidido comercializar las herramientas de PTC Integrity.
Reduzca el tiempo de desarrollo

Herramientas de modelado de software y de sistemas

Consideramos que PTC Integrity Modeler es la mejor herramienta de modelado, por las siguientes razones:
Tiene el entorno más completo. Proporciona la visión unificada del proceso, asegurando la adherencia a las normas (ISO 15288 y ISO 26550),  proporciona las herramientas de modelado de sistema (SysML), de línea de productos (Variant Modeling), de software (UML),  las herramientas de simulación del modelo y permite la generación automática de código (C,C++, C#, Ada, Java y .Net).
Facilita la trazabilidad de requisitos con respecto al modelo: interfaz bidireccional con Doors.
Facilita compartir los requisitos y sincronizar los cambios con entidades internas y externas a la compañía.
Facilita compartir el modelo del sistema entre múltiples equipos y dominios con perfiles adaptados a la visibilidad requerida.
El cliente elige hasta dónde quiere extender su modelo. Se puede usar a nivel de sistema de sistemas (SoS), sistema o línea de productos (modelado de variantes) usando SysML. Se puede usar simplemente a nivel de modelado software usando UML. Se puede usar la generación automática de código o generar el código manualmente.
Facilita la reusabilidad de componentes a cualquier nivel (Asset Based Modular Design).
Permite la comprobación temprana del modelo a nivel de consistencia y completitud.
Permite la validación temprana del modelo a nivel funcional y ergonómico con herramientas internas (Atego SySim) y externas (Simulink)
Permite la generación automática de la documentación del modelo para su visualización web (html) o en documentos (word, docbook, etc.).

¿Por qué elegir PTC Integriy Modeler?

Reusabilidad de componentes (ABMD)
PTC Integrity Process Director nos permite definir y parametrizar el proceso de modelado que vamos a seguir, basándonos en el estándar de modelado de sistemas y software (ISO15288), en el estándar de diseño modular basado en componentes (OMG Reusable Asset Specification) y en el estándar de modelado de línea de productos (ISO 26550). Por cada proyecto, basándonos en la biblioteca de procesos estándar, creamos una instancia nueva en la que seleccionamos nuestro punto de partida y fin, definimos las tareas concretas en base a los pasos definidos en el estándar, cómo va a ser el seguimiento (governance) de los hitos del proyecto y de los riesgos definidos y documentamos el grado de avance y los entregables. Este repositorio de información es necesario cuando queremos certificarnos con respecto a diferentes normas de calidad (CMMI, ISO, etc.)
Revisión Automática del Modelo
Definición y seguimiento del proceso
Modelado de Software y Sistemas (MBSE)
Modelado de Líneas de Producto (MB PLE)
Atego Asset Library soporta el diseño modular basado en componentes (ABMD) siguiendo el estándar Reusable Asset Specification definido por OMG. Esta técnica nos permite construir sistemas en base a la reutilización de componentes existentes. La herramienta incorpora la facilidad de crear y mantener un repositorio de componentes. Los componentes soportados, son: bloques y puertos de modelo de sistemas SysML, paquetes e interfaces de modelo de software UML, ficheros de propósito general (.doc, .xls, .pdf, .txt, .html, etc), ficheros IDL. El repositorio mantiene de forma consistente distintas versiones de un mismo componente. La publicación y uso de componentes se realiza de forma muy sencilla mediante mecanismos de copy/paste y drag & drop. El acceso al respositorio se realiza a través de web, contando además con un API basado en web services.
PTC Integrity Modeler incluye, de forma opcional, un módulo de revisión automática que comprueba la consistencia y completitud del modelo. Para ello la herramienta incluye más de 130 revisiones predefinidas. Estas revisiones predefinidas nos aseguran la consistencia de nuestro modelo con respecto a la semántica asociada a la notación UPDM, SysML y UML. Adicionalmente, el usuario puede incluir nuevas revisiones basadas en su propio proceso o modificar algunas de las existentes. De forma instantánea se tiene acceso a todos los problemas potenciales del modelo y con un editor dedicado se pueden solucionar de forma sencilla.Tras la revisión, se generan informes de métricas del modelo donde podemos ver el grado de definición y consistencia.
La herramienta incorpora una API de automatización que nos permite acceder a todos los aspectos y vistas del modelo para poder realizar las comprobaciones que consideremos oportunas.
PTC Integrity Modeler permite modelar un sistema a distintos niveles: a nivel de arquitectura, mediante UPDM v1.1, a nivel de sistema mediante SysML v1.2  y a nivel de software mediante UML v2.3.

Dentro de cada nivel de modelado, la herramienta contempla múltiples puntos de vista (viewpoints) que el usuario puede usar o descartar según su propio esquema de modelado. Los 4 puntos de vista fundamentales, son: los requerimientos del sistema, la estructura del sistema (visión estática), el comportamiento del sistema (visión estática) y la visión paramétrica del sistema. Para cada punto de vista del sistema existen distintos diagramas seleccionables: diagrama de requisitos, de requisitos derivados, definición de paquete, definición de bloques, bloques internos, diagramas de casos de uso, de secuencia, de actividad, máquina de estados, etc.
PTC Integrity Modeler incorpora un componente opcional para el modelado de Líneas de Producto (Model Based Product Line Engineering).  Mediante esta técnica se permite la definición de un único sistema en el que, por medio de decisiones consistentes, obtenemos distintas instancias que son los productos concretos que vamos a generar. Se introducen distintos conjuntos de decisión y un diagrama de variación que nos muestra las distintas opciones del objeto y sus dependencias. Este diagrama se puede enlazar en cualquier parte del modelo raíz: requerimientos, casos de uso, diagrama de secuencia, máquina de estados, etc.
Simulación del modelo
PTC Integrity Modeler contiene un simulador del modelo a nivel de sistema, integrado en la herramienta (PTC Integrity SySim). A través del modelo se genera una interfaz de usuario avanzada, sin tener que introducir prácticamente código de usuario, con la que podemos interactuar para ver el comportamiento del sistema. Actuando sobre los botones del simulador, podemos ver la evolución del estado del sistema simultáneamente en el panel de simulación y en el diagrama de PTC Integrity Modeler.

Para la simulación a bajo nivel de algoritmos y otros componentes, se incorpora una interfaz bidireccional con Matlab / Simulink para completar la simulación del modelo.
Generación automática de código fuente
PTC Integrity Modeler permite, de forma opcional, la generación automática de código fuente a partir del modelo. Se soportan los lenguajes C, C++, C#, Ada, Java y .Net. El código se puede generar de forma continua o bajo demanda, garantizando la sincronización del código fuente con el modelo.  El código fuente funciona sobre Windows, VxWorks y otros sistemas operativos con librería Posix. La herramienta incluye Reverses que permiten incorporar código fuente heredado en el modelo. Esta técnica se utiliza normalmente únicamente al inicio del proyecto.
El código generado es 100% configurable a través de los patrones de generación de código. El algoritmo de generación de código se define en términos de transformaciones que son abstracciones de alto nivel, fáciles de usar y que una vez definidas son faciles de reutilizar con pequeñas modificaciones.
Generación automática de la documentación del modelo
PTC Integrity Modeler permite la generación automática de la documentación del modelo. Se soportan varios tipos de formatos: Word, DocBook (XML) y HTML. El estilo y el contendio de la documentación se definen de forma separada. El contenido es totalmente configurable a través de plantillas de documento y ficheros de definición de documento. El mantenimiento de la configuración de la documentación puede hacerse de forma centralizada.
A través de HTML se pueden hacer repositorios de documentación en Web con plena capacidad de navegación.
Doymus distribuye productos y servicios de las siguientes compañías:
Entornos de Desarrollo Software Embarcado
Placas y Sistemas Hardware
de Alta Disponibilidad
Pruebas dinámicas de Software Embarcado
Análisis Estático de Código Fuente y Binario
Productos
 
©  2017 Doymus Software e Ingeniería  •  Aviso Legal  •   Política de Privacidad  •  Política de Cookies
Servicios
Contactar
+34 911.788.540
info@doymus.com
Software & Hardware Development Tools
and Professional Services
Otros
Referencias

Recursos

Newsletters

Eventos
Doymus
Validación y Simulación
de Requisitos
Pruebas de Integraz Gráfica
de Usuario (GUI)
Formación DO 178/254
Consultoría de Certificación
Medida de Calidad de Proceso, Proyecto y Código Fuente
Especificación y Análisis de Requisitos y Riesgos
Este sitio web usa cookies para recopilar información estadística sobre su navegación. Si continúa navegando, consideramos que acepta su uso. Más información en: Política de Cookies