Introducción de SysML. Matthew Hause, Chief Consulting Engineer de Atego



Documentos relacionados
La ingeniería de sistemas en el siglo XXI

Ingeniería de Software: Parte 2

Introducción a Rational Unified Process (RUP)

CLASE 2: INTRODUCCIÓN A LA ING. DE SOFTWARE. MODELOS DE PROCESOS. MEJORES PRÁCTICAS. USB Ing. De Software. Prof. I. C. Martínez

El Proceso Unificado de Desarrollo de Software

Plan de estudios ISTQB: Nivel Fundamentos

Técnico Certified Software Engineer Professional (CSIP)

PROGRAMACIÓN ORIENTADA A OBJETOS Master de Computación. II MODELOS y HERRAMIENTAS UML. II.1 UML: Introducción

TALLER: CALIFICACIÓN DE EQUIPOS Y SISTEMAS

Interacción Persona - Ordenador

MODELO DE PLAN PRELIMINAR DE VALIDACIÓN Y VERIFICACIÓN PARA EL SISTEMA DE PROTECCIÓN DEL REACTOR CAREM

OMG UML 2.0 Marcando un hito en el desarrollo de software Resumen Keywords Historia del Surgimiento

La Necesidad de Modelar. Diseño de Software Avanzado Departamento de Informática

Curso: Arquitectura Empresarial basado en TOGAF

3. Horario laboral referencial: Lunes Viernes 8:00 a.m. a 6:00 p.m.

Metodologías de Desarrollo de Sistemas de Información

Simo 2003 Gestión Integrada de Requisitos

1 GLOSARIO. Actor: Es un consumidor (usa) del servicio (persona, sistema o servicio).

El Proceso Unificado Rational para el Desarrollo de Software.

Análisis y Diseño de Aplicaciones

Elementos requeridos para crearlos (ejemplo: el compilador)

RUP. Rational Unified Process

Los requisitos, un factor crítico en el éxito de los proyectos

SISTEMAS DE INFORMACIÓN I TEORÍA

Desarrollo de Capacidades para la Gestión de TI - Ing. MBA José Szyman

Universidad Autónoma del Perú Ingeniería de Sistemas. Ing. Heyner Ninaquispe Castro Sesión 1

DISEÑO DE COMPONENTES DE SOFTWARE *

PROCESOS SOFTWARE. Según esta estrategia, todo proceso debe planificarse, implantarse y evaluarse, para luego actuar sobre él.

Proceso Unificado de Rational PROCESO UNIFICADO DE RATIONAL (RUP) El proceso de desarrollo de software tiene cuatro roles importantes:

Tecnologías de componentes y proceso de diseño de aplicaciones basado en componentes

Metodologías de diseño de hardware

IWG-101: Introducción a la Ingeniería. Departamento de Informática, UTFSM 1

Architectural Driven Design - ADD

GenIED. Generación automática de código para Dispositivos Electrónicos Inteligentes bajo IEC Agustin Yagüe Universidad Politécnica de Madrid

Programación orientada a

ANÁLISIS Y DISEÑO DE SISTEMAS DEPARTAMENTO DE CIENCIAS E INGENIERÍA DE LA COMPUTACIÓN

Testing. Tipos, Planificación y Ejecución de Pruebas

SYSTEMIC SOLUTIONS BPM. soluciones integrales.

Guía Docente 2013/2014

INFORMACIÓN ACADÉMICO PROFESIONAL INGENIERÍA DE SOFTWARE CURSO

3.1 INGENIERIA DE SOFTWARE ORIENTADO A OBJETOS OOSE (IVAR JACOBSON)

Figure 9-1: Phase C: Information Systems Architectures

Introducción a los Servicios Web. Ing. José Luis Bugarin ILUMINATIC SAC jbugarin@consultorjava.com

RUP: Disciplina de Manejo de Cambios y Configuraciones

Ingeniería de Software II

Resumen obtenido de: Roger S. Pressman, Ingeniería de Software. Un enfoque práctico, quinta edición, Introducción al Diseño de Software

Calidad. Preparado por: Amelia Soriano. Referencias. Rational Unified Process Version Copyright Rational Software Corporation

Service Oriented Architecture

PRUEBAS DE SOFTWARE TECNICAS DE PRUEBA DE SOFTWARE

CARRERA TITULO DEL TRABAJO CURSO

Presentación. Cómo Aprender UML? Grupo de Ingeniería de Software Centro de Investigación en Matemáticas Guanajuato, México 2007

Dirección General de Educación Superior Tecnológica

Sistema de gestión de procesos institucionales y documental.

Como aporta COBIT 5 y gobernanza de TI a la gobernanza empresarial

Recursos HELP DESK Biblioteca 2012

Anteproyecto Fin de Carrera

Ciclo de vida y Requerimientos de software. Laboratorio de Programación

Enginyeria del Software III

Gestión de Requisitos y Pruebas de Sistema

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

Construcción de sistemas de soporte a la toma de decisiones

UNIDAD 2: Abstracción del Mundo real Al Paradigma Orientado a Objetos

rg.o El l c i c c i l c o l o de d vi v d i a d a cm a l@ rza e de d u n u n si s s i t s e t ma m a de d in i f n or o ma m c a i c ó i n ó b

Modelo para el Aseguramiento de Calidad en el Desarrollo de Software Libre

Tópicos Avanzados de Análisis y Diseño INGENIERIA DE SOFTWARE ING. MA. MARGARITA LABASTIDA ROLDÁN

La interoperabilidad se consigue mediante la adopción de estándares abiertos. Las organizaciones OASIS y W3C son los comités responsables de la

Construcción de una base de datos

Pontificia Universidad Católica del Ecuador

XII JICS 25 y 26 de noviembre de 2010

UN RECORRIDO POR LA FAMILIA ISO

INGENIERÍA EN TECNOLOGÍAS DE LA INFORMACIÓN Y COMUNICACIÓN EN COMPETENCIAS PROFESIONALES ASIGNATURA DE MODELADO DE PROCESOS DE NEGOCIOS

INGENIERÍA DE SOFTWARE ADMINISTRACION DE CONFIGURACIONES Rubby Casallas, Juan Pablo Quiroga, Andrés Yie

Introducción. Conceptos y principios. Introducción. Introducción. Elementos del modelo de análisis. Elementos del modelo de diseño.

Implantación de un Sistema de Control de Versiones de Software para los desarrollos de soluciones (Add-On) en SAP Bussiness One.

Hacer Realidad BPM en su Organización ADOPTAR BPM A PARTIR DE UN PROYECTO O NECESIDAD DE AUTOMATIZACIÓN

CMM - Capability Maturity Model. Estructura de CMM... Componentes de CMM. Estructura de CMM

INGENIERÍA DEL SOFTWARE I. Univ. Cantabria Fac. de Ciencias. Especificación de Requisitos. Práctica 2

Baires. Design - Test - Automate

Workflows? Sí, cuántos quiere?

Unidad II. ERP s Definición de ERP s.

FÁBRICA DE SOFTWARE. Presentado por: Ing. Juan José Montero Román Gerente de Fábrica de Software USMP

INGENIERÍA DE SOFTWARE Rational Unified Process RUP

El impacto del relevamiento y modelado de procesos en la implantación de sistemas informáticos

Administración de Centros de Computo. ITIL. MSG.ING. DARWIN CERCADO B dcercado@primma.com.ec

Gestión de la configuración en el software (SCM) Ingeniería de software Eduardo Ferreira, Martín Solari

Guía Docente Curso

Iniciación y Planificación del Proyecto

Transformación de modelos en el proceso de obtención de Modelos Conceptuales partiendo de BPMN

Calidad de Software - CMM

Oferta tecnológica: Herramienta software y método para modelar aplicaciones web independientes de dispositivo

Ingeniería de Software I

UML El Lenguaje de Modelado Unificado. Maestría en Ingeniería de Software

SOFTWARE & SYSTEMS PROCESS ENGINEERING METAMODEL SPECIFICATION V.20 SPEM 2.0

Modelo de Calidad para herramientas FLOSS que soportan el Modelado de Procesos del Negocio

UNIVERSIDAD UNION BOLIVARIANA CARRERA DE INGENIERIA DE SISTEMAS

Capítulo 4. GESTIÓN DE LA INTEGRACIÓN DEL PROYECTO

Proyectos Informáticos

FORMACION ISO/IEC Fundamentos en Gestión de la Calidad de Servicios TI

El Rol del Arquitecto IT

Seminario MIS - CIMAT

Transcripción:

Introducción de SysML Matthew Hause, Chief Consulting Engineer de Atego 2012 2012 Atego. Atego. All All Rights Rights Reserved. Reserved. 1

Agenda Bienvenida e introducción al webinar Perfil corporativo de Atego La ingeniería de sistemas con SysML Matthew Hause, Chief Consulting Engineer de Atego Introducción a la ingeniería de sistemas Ingeniería dirigida por modelos El SysML (Systems Modeling Language) Sesión de preguntas y respuestas 2

Consejo Internacional en Ingeniería de Sistemas Fundada en 1990 8,000 miembros Certificacion de ingenieros Congreso en Roma (Julio 9-13) Capitulo en Madrid, interes en Mexico Prof. Jose Luis Fernandez Sanchez [joselfernandez@telefonica.net] Prof. Jorge Aguilar Cisneros [jorge.aguilar@upaep.mx] 3

TalentiaTech tiene como objetivo servir de vehículo del liderazgo y la innovación para así ayudar a dinamizar e internacionalizar empresas de habla hispana

Agenda Fundada en 2010 Fusión entre Aonix y Artisan Software Tools Soluciones para el ciclo completo de desarrollo de sistemas embarcados, tiempo real, críticos y complejos Mercados de referencia: defensa, aeroespacial, aviónica, energía, transportes, automobilístico, telecomunicaciones, aplicaciones industriales, sistemas críticos (sistemas médicos, control de tráfico aéreo, etc.) Sedes principales en San Diego, EEUU y Cheltenham, Reino Unido Oficinas directas en Francia, Alemania, Italia Red internacional de representantes y distribuidores Atos Origin en España 5

Code Generation Soluciones de Atego Process Definition, Deployment and Management Requirements Interchange Java Modeling C / C++ IDE Ada Co-Simulation Tool-Chain Collaboration and Hosting Professional Services (tool-dependent AND independent) 6

Introducción a la ingeniería de sistemas La ingeniería de sistemas es considerada frecuentemente como una disciplina emergente Aunque existe desde hace milenios... El término ingeniería de sistemas es muy común pero se presta a interpretaciones erróneas Lo mismo sucede con el concepto de ingeniero de sistemas Existe la necesidad de definir correctamente los conceptos pertenecientes al mundo de la ingeniería de sistemas 7

El manual de ingeniería de sistemas del INCOSE Manual de Mejores Prácticas para la ingeniería de sistemas Basado en ISO 15288 systems engineering systems life cycle processes Versiones previas basadas en EIA 632 Actualmente disponible en su versión 3.2 8

Definir la ingeniería de sistemas No hay una definición única para la ingeniería de sistemas Consultar las definiciones del manual de INCOSE Más otras definiciones adicionales La ingeniería de sistemas implica otras disciplinas Aplicable a todos los dominios No sólo a la ingeniería La ingeniería de sistemas se aplica al ciclo de vida completo de un sistema 9

Algunas definiciones Systems engineering is a discipline that concentrates on the design and application of the whole (system) as distinct from the parts. It involves looking at a problem in its entirety, taking into account all the facets and all the variables relating the social to the technical aspect (Ramo) La ingeniería de sistemas es una disciplina que se focaliza en el diseño y aplicación de un sistema en su totalidad, considerando ésta diferente a sus partes. Implica ver un problema en su totalidad, tomando en cuenta todas las facetas y todas las variables que relacionan el aspecto social al aspecto técnico (Ramo) 10

Otra definición Systems engineering is an iterative process of top-down synthesis, development and operation of a real-world system that satisfies, in a near optimal manner, the full range of requirements for the system (Eisner) La ingeniería de sistemas es un proceso iterativo descendente de síntesis, desarrollo y operación de un sistema del mundo real que satisface, en un modo casi óptimo, el conjunto completo de requisitos de un sistema (Eisner) 11

Y otras más.. Systems engineering is an inter-disciplinary approach and means to enable the realisation of successful systems (INCOSE) La ingeniería de sistemas es un enfoque interdisciplinario y se propone permitir la realización de sistemas... (INCOSE) Systems engineering is the implementation of common sense (Holt) La ingeniería de sistemas es la implementación del sentido común (Holt) 12

La necesidad de una ingeniería de sistemas Las cosas pueden ir mal muy fácilmente... Todos sabemos de proyectos fracasados o cancelados Es esencial inspirar confianza En el propio equipo de trabajo En los clientes Es fundamental demostrar profesionalidad 13

La profesionalidad en la ingeniería de sistemas Las únicas noticias son buenas y malas Esencial para demostrar profesionalidad A nivel de la organización capacidad A nivel individual competencia Capacidad + competencia = confianza 14

Los tres males de la ingeniería Complejidad Subestimada o no suficientemente tomada en consideración Falta de comprensión De las necesidades, del problema y de la solución Problemas de comunicación En el proyecto, entre organizaciones y entre individuos 15

El SysML (System Modeling Language 2012 2012 Atego. Atego. All All Rights Rights Reserved. Reserved. 16

Ingeniería dirigida por modelos El cambio consiste en el pasaje de focalizado en documentos a focalizado en modelos Especificación de requisitos Definición de las interfaces Arquitectura del sistema Funcionalidades del sistema Análisis de alternativas (trade-off) Especificación de tests Enfoque anterior Nuevo enfoque 17

Los beneficios de la ingeniería de sistemas basada en modelos Mejora de comunicación a través del uso de un lenguaje visual estandarizado Contribuye a gestionar el desarrollo de sistemas complejos Separación de problemáticas Modelado jerárquico Desarrollo incremental Mejora en la calidad del diseño Menores errores y ambigüedad Representación más completa y consistente Verificación temprana y validación de actividades en curso para minimizar riesgos 18

Qué es SysML Es un lenguaje de modelado visual para ingenieros de sistemas, derivado de UML Soporta el análisis, la especificación, el diseño, la verificación y la validación de sistemas e incluye aspectos de hardware, software, datos, personal, procedimientos e instalaciones Es independiente del proceso y de la aplicación 19

Reuso de UML 2.0 por parte de SysML UML 2.0 SysML UML no requerido por SysML UML reutilizado por SysML Extensiones del SysML 20

Un lenguaje unificado de sistemas Requisitos de comportamiento Requisitos de performance Start Shift Accelerate Brake Control Input Power Equations Vehicle Dynamics Engine Transmission Drive Shafts Modelo de sistema Mass Properties Model Efficiency Model Safety Model Cost Model Componentes estructurales Otros modelos de análisis en ingeniería El modelo de sistema debe incluir distintos aspectos a considerar 21

Taxonomía de los diagramas de SysML Igual a UML Modificado de UML Nuevo de SysML Diagrama Diagrama de Estructura Diagrama de Requisitos Diagrama de Comportamiento Diagrama de Definición de Bloques[1] Diagrama de Bloques internos[2] Diagrama de Paquetes Diagrama de Actividad Diagrama de Máquinas de Estado Diagrama de Secuencia Diagrama de Caso de Uso Diagrama Paramétrico [1] Diagrama de clase de UML modificado [2] Diagrama de Estructura Compuesta de UML mejorado 22

Las cuatro vistas del SysML (Ejemplo del ABS) 1. Estructura bdd [Package] Vehicle [ABS] «Block» Library:: Electronic Processor «Block» Traction Detector «Block» Anti-Lock Controller d1 m1 «Block» Brake Modulator ibd [Block] Anti-Lock Controller1 «Block» Library:: Electro-Hydraulic Valve c1:modulator interface definición «Block» Anti-Lock Controller «BlockProperty» d1 : Traction Detector «BlockProperty» m1 : Brake Modulator uso act PreventLockup stm Tire [Traction] 2. Comportamiento interaction Detect Loss Of TractionLoss s OfTrac tion/ Modulate Traction Braking Force Gripping Slipping RegainTrac tion/ activity/ state machine function par [constraint] StraightLineVehicleDynamics [Parametric Diagram] {f = (tf*bf)*(1-tl)} {F = ma} : BrakingForceEquation : AccelerationEquation tf f F c tl bf a : DistanceEquation : VelocityEquation x v v req [Package] Vehicle Specifications [Braking] Vehicle System Specification «requirement» Stopping Distance id# 102 txt The vehicle shall stop from 60 mph within 150ft on a clean dry surface. Braking Subsystem Specification 3. Requisitos «requirement» Anti-Lock Performance id# 337 txt The Braking subsystem shall prevent wheel lockup under all braking conditions. {v = dx/dt} {a = dv/dt} a 4. Relaciones paramétricas 23 «derivereqt»

Como se combinan todos los elementos 1. Estructura 2. Comportamiento ibd [block] ibd [block] Anti-LockController satisfies satisfies [Internal [Internal Block Block Diagram] Diagram] «requirement» «requirement» Anti-Lock Anti-Lock Performance Performance ibd [block] Anti-LockController [Internal Block d1:tractiondetector Diagram] allocatedfrom c1:modulator allocatedfrom c1:modulator «activity»detectlos «activity»detectlos d1:traction Interface OfTraction Interface Of Detector c1:modulator interface m1:brakemodulator m1:brakemodulator allocatedfrom Modulator allocatedfrom allocatedfrom allocatedfrom «ObjectNode» «ObjectNode» «activity»modulate «activity»modulate TractionLoss: TractionLoss: BrakingForce BrakingForce values DutyCycle: Percentage satisfy req req req [package] VehicleSpecifications [Requirements Diagram - - - Braking Requirements] act PreventLockup [Swimlane Diagram] «allocate» act PreventLockup :TractionDetector [Activity Diagram] DetectLossOf Traction TractionLoss: par [constraintblock] StraightLineVehicleDynamics [Parametric Diagram] v.chassis.tire. Friction: v.brake.abs.m1. DutyCycle: v.brake.rotor. BrakingForce: «allocate» :BrakeModulator Modulate BrakingForce allocatedto «connector»c1:modulatorinterface v.weight: Vehicle Vehicle System System Specification Specification 3. Requisitos Braking Braking Subsystem Specification Specification «requirement» «requirement» «requirement» «requirement» StoppingDistance Anti-LockPerformance StoppingDistance Anti-LockPerformance id= 102 id= 337" id= 102 text= The vehicle shall stop id= 337" text= Braking subsystem text= The from from 60 60 vehicle mph within shall 150 stop ft ft text= Braking shall prevent subsystem wheel lockup from on on a 60 a mph clean dry within dry surface. 150 ft shall under prevent all braking wheel conditions. lockup on a clean dry surface. under all braking conditions. VerifiedBy SatisfiedBy «interaction»minimumstopp «block»anti-lockcontroller ingdistance «derivereqt» «derivereqt» «derivereqt» par [constraintblock] StraightLineVehicleDynamics [Parametric Diagram] tf: tl: bf: m: tf: tl: bf: c :BrakingForce Equation :BrakingForce [f [f = (tf*bf)*(1-tl)] (tf*bf)*(1-tl)] Equation [f = (tf*bf)*(1-tl)] v: :DistanceEquation v: :DistanceEquation [v dx/dt] [v = dx/dt] :DistanceEquation [v = x: dx/dt] x: v.position: x: v.position: f: f: v: F: F: v: v: :Accelleration Equation :Accelleration [F [F = ma] ma] Equation F: [F = ma] a: a: a: a: a: a: :VelocityEquation :VelocityEquation [a dv/dt] [a = dv/dt] :VelocityEquation v: [a = dv/dt] 4. Relaciones paramétricas 24

La importancia del proceso Construir un sistema sin un modelo es como construir una casa sin los diagramas arquitectónicos El proceso describe qué hacer, cuándo y con qué Establecer los cimientos Agregar las estructuras exteriores Agregar la red de plomería y electricidad Etc. 25

Cumulative Percentage Life Cycle Cost El ciclo de vida del sistema IEC15288 - System Lifecycle Costs 100% Committed Costs 95% 90% 80% 85% Operations Through Disposal 70% 70% 500-1000% 60% 50% 20-100% Prod/Test Phase 100% 40% 30% 20% 3-6% Design Phase Development 50% 10% 0% Concept Phase 8% 15% Full Program Expenditures 20% Time Reference: Defense Systems Management College - 9/1993 26

El ciclo de vida del desarrollo de proyecto Cobertura del ciclo de vida - Fases & Artefactos (el modelo V) Business Case Verification Traceability Architecture Frameworks Release Testing User Requirements System Requirements Validation Traceability Systems Engineering Validation Traceability User Acceptance System Testing Technical Architecture Detailed Design Validation Traceability Software design Verification Traceability Installation Qualification Unit & Integration Testing System Configuration & Development 27

Un proceso NO es un libro de recetas Los proyectos DoDAF/SysML/UML cubren un amplio espectro de aplicaciones Un proceso único no es adecuado para todos Similar a una receta de cocinar comida Las empresas invertirán millones en desarrollar sus procesos durante varios años Procesos existentes deben ser : Personalizados para DoDAF/SysML/UML Prototipados y testeados en proyectos reales Actualizados para hacer un mejor uso de MBE (Model-Based Engineering) (Repetir al infinito) 28

Atego Academic Resource Kit - SysML Programa académico de Atego Material para preparar cursos sobre SysML en la universidad Guía para el profesor Guía para los estudiantes Licencias de Artisan Studio Modelos de ejemplo Material adicional Para mayores informaciones: http://www.atego.com/community/university-program/university-program http://www.atego.com/downloads/arks/atego-academic-resource-kit-for- SysML.pdf 29

Programa académico de Atego Socios de programa académico de Atego Artisan Studio Cornell University New York, USA Indiana University-Purdue University Indiana, USA Johns Hopkins University Maryland, USA Missouri University of Science and Technology Missouri, USA Royal Military College of Canada Ontario, Canada University of Central Florida Florida, USA University of South Australia (UNISA) Politecnico di Milano Universidad de Málaga (Spain) Para más detalles visite: http://www.atego.com/community/university-program/universityprogram 30

Resumen SysML es patrocinado por INCOSE / OMG con la industria y la participación amplia de proveedores de herramientas SysML proporciona un lenguaje de modelado de propósito general para apoyar la especificación, análisis, diseño y verificación de los sistemas complejos Subconjunto de UML 2 con extensiones 4 pilares de SysML incluyen el modelado de los requisitos, el comportamiento, la estructura y paramétricos OMG SysML fue originalmente aprobado en Mayo de 2006 Enfoque de modelado basada en las normas para la SE intenta mejorar las comunicaciones, la interoperabilidad de herramientas, y la calidad de diseño 31

Discusión y comentarios 32

Próximos Pasos Obtenga más información en http://www.atego.com/products/artisan-studio/ http://www.atego.com/community/standards/sysml/ Pruébelo usted mismo http://www.atego.com/download-center/product/artisan-studio/ Atego Global Services http://www.atego.com/services/training-courses/ Contáctenos Matthew.Hause@Atego.com Andrea.Sanchez@Atego.com Info@Atego.com 33