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

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 de Certificación ISO 26262
Ofertas de Empleo

Envía tu CV

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

Herramientas de modelado de software y de sistemas

Consideramos que Atego 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 Atego?

Reusabilidad de componentes (ABMD)
Atego 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.
Atego 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.
Atego 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.
Atego Vantage 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
Atego Modeler contiene un simulador del modelo a nivel de sistema, integrado en la herramienta (Atego 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 Atego 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
Atego 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
Atego 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.
Software & Hardware Development Tools
and Professional Services
Doymus distribuye productos de las siguientes compañías:
Requisitos y Modelado
Software y de Sistemas
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
 
©  2016 Doymus Software e Ingeniería  •  Política de Privacidad  •  Política de Cookies
Doymus
Formación
Contactar
+34 911.788.540
info@doymus.com
Trabaja con nosotros
Doymus
@DoymusSI
Tweets