2012 Atego. All Rights Reserved. Introduccin de SysML Matthew Hause, Chief Consulting Engineer de Atego 2 2012 Atego. All Rights Reserved. Agenda Bienvenida e introduccin al webinar Perfil corporativo de Atego La ingeniera de sistemas con SysML Matthew Hause, Chief Consulting Engineer de Atego Introduccin a la ingeniera de sistemas Ingeniera dirigida por modelos El SysML (Systems Modeling Language) Sesin de preguntas y respuestas
3 2012 Atego. All Rights Reserved. Consejo Internacional en Ingeniera 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] TalentiaTech tiene como objetivo servir de vehculo del liderazgo y la innovacin para as ayudar a dinamizar e internacionalizar empresas de habla hispana 5 2012 Atego. All Rights Reserved. Agenda Fundada en 2010 Fusin entre Aonix y Artisan Software Tools Soluciones para el ciclo completo de desarrollo de sistemas embarcados, tiempo real, crticos y complejos Mercados de referencia: defensa, aeroespacial, avinica, energa, transportes, automobilstico, telecomunicaciones, aplicaciones industriales, sistemas crticos (sistemas mdicos, control de trfico areo, 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 Espaa
6 2012 Atego. All Rights Reserved. Soluciones de Atego Process Definition, Deployment and Management Requirements Interchange Modeling Co-Simulation Tool-Chain Collaboration and Hosting Professional Services (tool-dependent AND independent) Java Ada C / C++ IDE C o d e
G e n e r a t i o n
7 2012 Atego. All Rights Reserved. Introduccin a la ingeniera de sistemas La ingeniera de sistemas es considerada frecuentemente como una disciplina emergente Aunque existe desde hace milenios... El trmino ingeniera de sistemas es muy comn pero se presta a interpretaciones errneas Lo mismo sucede con el concepto de ingeniero de sistemas Existe la necesidad de definir correctamente los conceptos pertenecientes al mundo de la ingeniera de sistemas
8 2012 Atego. All Rights Reserved. El manual de ingeniera de sistemas del INCOSE Manual de Mejores Prcticas para la ingeniera de sistemas Basado en ISO 15288 systems engineering systems life cycle processes Versiones previas basadas en EIA 632 Actualmente disponible en su versin 3.2 9 2012 Atego. All Rights Reserved. Definir la ingeniera de sistemas No hay una definicin nica para la ingeniera de sistemas Consultar las definiciones del manual de INCOSE Ms otras definiciones adicionales La ingeniera de sistemas implica otras disciplinas Aplicable a todos los dominios No slo a la ingeniera La ingeniera de sistemas se aplica al ciclo de vida completo de un sistema 10 2012 Atego. All Rights Reserved. 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 ingeniera de sistemas es una disciplina que se focaliza en el diseo y aplicacin 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 tcnico (Ramo) 11 2012 Atego. All Rights Reserved. Otra definicin 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 ingeniera de sistemas es un proceso iterativo descendente de sntesis, desarrollo y operacin de un sistema del mundo real que satisface, en un modo casi ptimo, el conjunto completo de requisitos de un sistema (Eisner) 12 2012 Atego. All Rights Reserved. Y otras ms.. Systems engineering is an inter-disciplinary approach and means to enable the realisation of successful systems (INCOSE) La ingeniera de sistemas es un enfoque interdisciplinario y se propone permitir la realizacin de sistemas ... (INCOSE) Systems engineering is the implementation of common sense (Holt) La ingeniera de sistemas es la implementacin del sentido comn (Holt) 13 2012 Atego. All Rights Reserved. La necesidad de una ingeniera de sistemas Las cosas pueden ir mal muy fcilmente... Todos sabemos de proyectos fracasados o cancelados Es esencial inspirar confianza En el propio equipo de trabajo En los clientes Es fundamental demostrar profesionalidad 14 2012 Atego. All Rights Reserved. La profesionalidad en la ingeniera de sistemas Las nicas noticias son buenas y malas Esencial para demostrar profesionalidad A nivel de la organizacin capacidad A nivel individual competencia Capacidad + competencia = confianza 15 2012 Atego. All Rights Reserved. Los tres males de la ingeniera Complejidad Subestimada o no suficientemente tomada en consideracin Falta de comprensin De las necesidades, del problema y de la solucin Problemas de comunicacin En el proyecto, entre organizaciones y entre individuos 16 2012 Atego. All Rights Reserved. 2012 Atego. All Rights Reserved. El SysML (System Modeling Language 17 2012 Atego. All Rights Reserved. Ingeniera dirigida por modelos El cambio consiste en el pasaje de focalizado en documentosa focalizado en modelos Enfoque anterior Nuevo enfoque Especificacin de requisitos Definicin de las interfaces Arquitectura del sistema Funcionalidades del sistema Anlisis de alternativas (trade-off) Especificacin de tests 18 2012 Atego. All Rights Reserved. Los beneficios de la ingeniera de sistemas basada en modelos Mejora de comunicacin a travs del uso de un lenguaje visual estandarizado Contribuye a gestionar el desarrollo de sistemas complejos Separacin de problemticas Modelado jerrquico Desarrollo incremental Mejora en la calidad del diseo Menores errores y ambigedad Representacin ms completa y consistente Verificacin temprana y validacin de actividades en curso para minimizar riesgos 19 2012 Atego. All Rights Reserved. Qu es SysML Es un lenguaje de modelado visual para ingenieros de sistemas, derivado de UML Soporta el anlisis, la especificacin, el diseo, la verificacin y la validacin de sistemas e incluye aspectos de hardware, software, datos, personal, procedimientos e instalaciones Es independiente del proceso y de la aplicacin 20 2012 Atego. All Rights Reserved. Reuso de UML 2.0 por parte de SysML UML 2.0 SysML UML no requerido por SysML Extensiones del SysML UML reutilizado por SysML 21 2012 Atego. All Rights Reserved. El modelo de sistema debe incluir distintos aspectos a considerar Start Shift Accelerate Brake Engine Transmission Drive Shafts Control Input Requisitos de comportamiento Componentes estructurales Requisitos de performance Mass Properties Model Efficiency Model Safety Model Otros modelos de anlisis en ingeniera Cost Model Modelo de sistema Vehicle Dynamics Power Equations
Un lenguaje unificado de sistemas 22 2012 Atego. All Rights Reserved. Taxonoma de los diagramas de SysML Diagrama Diagrama de Estructura Diagrama de Comportamiento Diagrama de Definicin de Bloques[1] Diagrama de Bloques internos[2] Diagrama de Paquetes Diagrama de Actividad Diagrama de Caso de Uso Diagrama de Mquinas de Estado Diagrama de Secuencia Nuevo de SysML Diagrama de Requisitos Diagrama Paramtrico Modificado de UML Igual a UML [1] Diagrama de clase de UML modificado [2] Diagrama de Estructura Compuesta de UML mejorado 23 2012 Atego. All Rights Reserved. ibd [Block] Anti-Lock Controller1 Block Anti-Lock Controller BlockProperty d1 : Traction Detector BlockProperty m1 : Brake Modulator BlockProperty d1 : Traction Detector BlockProperty m1 : Brake Modulator c1:modulator interface uso interaction par [constraint] StraightLineVehicleDynamics [Parametric Diagram] : AccelerationEquation F c a : BrakingForceEquation tf tl bf f : DistanceEquation v x : VelocityEquation a v {f = (tf*bf)*(1-tl)} {F = ma} {v = dx/dt} {a = dv/dt} Las cuatro vistas del SysML (Ejemplo del ABS) 4. Relaciones paramtricas 2. Comportamiento Vehicle System Specification Braking Subsystem Specification requirement id# 102 txt The vehicle shall stop from 60 mph within 150ft on a clean dry surface. Stopping Distance requirement id# 337 txt The Braking subsystem shall prevent wheel lockup under all braking conditions. Anti-Lock Performance req [Package] Vehicle Specifications [Braking] deriveReqt 3. Requisitos bdd [Package] Vehicle [ABS] Block Library:: Electronic Processor Block Anti-Lock Controller Block Library:: Electro-Hydraulic Valve Block Traction Detector Block Brake Modulator d1 m1 definicin Gripping Slipping LossOfTraction/ RegainTraction/ stm Tire [Traction] state machine Detect Loss Of Traction TractionLoss Modulate Braking Force act PreventLockup activity/ function 1. Estructura 24 2012 Atego. All Rights Reserved. ibd [block] Anti-LockController [Internal Block Diagram] d1:Traction Detector m1:Brake Modulator c1:modulator interface ibd [block] Anti-LockController [Internal Block Diagram] allocatedFrom activityDetectLos OfTraction d1:TractionDetector allocatedFrom activityModulate BrakingForce m1:BrakeModulator allocatedFrom ObjectNode TractionLoss: c1:modulator Interface act PreventLockup [Activity Diagram] DetectLossOf Traction Modulate BrakingForce TractionLoss: par [constraintBlock] StraightLineVehicleDynamics [Parametric Diagram] :Accelleration Equation [F = ma] :VelocityEquation [a = dv/dt] :DistanceEquation [v = dx/dt] :BrakingForce Equation [f = (tf*bf)*(1-tl)] tf: bf: tl: f: F: c a: a: v: v: x: 1. Estructura 2. Comportamiento act PreventLockup [Swimlane Diagram] allocate :TractionDetector allocate :BrakeModulator allocatedTo connectorc1:modulatorInterface DetectLossOf Traction Modulate BrakingForce TractionLoss: req [package] VehicleSpecifications [Requirements Diagram - Braking Requirements] Braking Subsystem Specification Vehicle System Specification id=102 text=The vehicle shall stop from 60 mph within 150 ft on a clean dry surface. requirement StoppingDistance id=337" text=Braking subsystem shall prevent wheel lockup under all braking conditions. requirement Anti-LockPerformance deriveReqt ibd [block] Anti-LockController [Internal Block Diagram] allocatedFrom activityDetectLos OfTraction d1:TractionDetector allocatedFrom activityModulate BrakingForce m1:BrakeModulator allocatedFrom ObjectNode TractionLoss: c1:modulator Interface satisfies requirement Anti-Lock Performance req [package] VehicleSpecifications [Requirements Diagram - Braking Requirements] Braking Subsystem Specification Vehicle System Specification id=102 text=The vehicle shall stop from 60 mph within 150 ft on a clean dry surface. requirement StoppingDistance SatisfiedBy blockAnti-LockController id=337" text=Braking subsystem shall prevent wheel lockup under all braking conditions. requirement Anti-LockPerformance deriveReqt ibd [block] Anti-LockController [Internal Block Diagram] allocatedFrom activityDetectLos Of Traction d1:TractionDetector values DutyCycle: Percentage allocatedFrom activityModulate BrakingForce m1:BrakeModulator allocatedFrom ObjectNode TractionLoss: c1:modulator Interface satisfies requirement Anti-Lock Performance par [constraintBlock] StraightLineVehicleDynamics [Parametric Diagram] :Accelleration Equation [F = ma] :VelocityEquation [a = dv/dt] :DistanceEquation [v = dx/dt] :BrakingForce Equation [f = (tf*bf)*(1-tl)] tf: bf: tl: f: F: m: a: a: v: v: x: v.Position: v.Weight: v.chassis.tire. Friction: v.brake.abs.m1. DutyCycle: v.brake.rotor. BrakingForce: par [constraintBlock] StraightLineVehicleDynamics [Parametric Diagram] :Accelleration Equation [F = ma] :VelocityEquation [a = dv/dt] :DistanceEquation [v = dx/dt] :BrakingForce Equation [f = (tf*bf)*(1-tl)] tf: bf: tl: f: F: m: a: a: v: v: x: v.Position: v.Weight: v.chassis.tire. Friction: v.brake.abs.m1. DutyCycle: v.brake.rotor. BrakingForce: req [package] VehicleSpecifications [Requirements Diagram - Braking Requirements] Braking Subsystem Specification Vehicle System Specification VerifiedBy interactionMinimumStopp ingDistance id=102 text=The vehicle shall stop from 60 mph within 150 ft on a clean dry surface. requirement StoppingDistance SatisfiedBy blockAnti-LockController id=337" text=Braking subsystem shall prevent wheel lockup under all braking conditions. requirement Anti-LockPerformance deriveReqt satisfy 3. Requisitos
Como se combinan todos los elementos 4. Relaciones paramtricas 25 2012 Atego. All Rights Reserved. La importancia del proceso Construir un sistema sin un modelo es como construir una casa sin los diagramas arquitectnicos El proceso describe qu hacer, cundo y con qu Establecer los cimientos Agregar las estructuras exteriores Agregar la red de plomera y electricidad Etc.
26 2012 Atego. All Rights Reserved. El ciclo de vida del sistema IEC15288 - System Lifecycle Costs 8% 15% 20% 50% 100% Concept Phase Design Phase Development Prod/Test Phase Operations Through Disposal C u m u l a t i v e
P e r c e n t a g e
L i f e
C y c l e
C o s t
Time Committed Costs 70% 85% 95% 3-6% 20-100% 500-1000% Full Program Expenditures Reference: Defense Systems Management College - 9/1993 100% 90% 80% 70% 60% 50% 40% 30% 20% 10% 0% 27 2012 Atego. All Rights Reserved. El ciclo de vida del desarrollo de proyecto Cobertura del ciclo de vida - Fases & Artefactos (el modelo V) Architecture Frameworks Systems Engineering Software design Release Testing Business Case Verification Traceability User Acceptance User Requirements System Testing System Requirements Validation Traceability Validation Traceability Installation Qualification Technical Architecture Unit & Integration Testing Detailed Design Validation Traceability Verification Traceability System Configuration & Development 28 2012 Atego. All Rights Reserved. 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 invertirn millones en desarrollar sus procesos durante varios aos 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) Un proceso NO es un libro de recetas 29 2012 Atego. All Rights Reserved. Atego Academic Resource Kit - SysML Programa acadmico de Atego Material para preparar cursos sobre SysML en la universidad Gua para el profesor Gua 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
30 2012 Atego. All Rights Reserved. Programa acadmico de Atego Socios de programa acadmico 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 Mlaga (Spain) Para ms detalles visite: http://www.atego.com/community/university-program/university- program
31 2012 Atego. All Rights Reserved. Resumen SysML es patrocinado por INCOSE / OMG con la industria y la participacin amplia de proveedores de herramientas SysML proporciona un lenguaje de modelado de propsito general para apoyar la especificacin, anlisis, diseo y verificacin 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 paramtricos 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 diseo 32 2012 Atego. All Rights Reserved. Discusin y comentarios 33 2012 Atego. All Rights Reserved. Obtenga ms informacin en http://www.atego.com/products/artisan-studio/ http://www.atego.com/community/standards/sysml/ Prubelo usted mismo http://www.atego.com/download-center/product/artisan-studio/ Atego Global Services http://www.atego.com/services/training-courses/ Contctenos Matthew.Hause@Atego.com Andrea.Sanchez@Atego.com Info@Atego.com Prximos Pasos