Model Transformations - MOGENTES

Document Sample
Model Transformations - MOGENTES Powered By Docstoc
					                                         
MOdel-based GENeration of Tests for Embedded Systems
       #216679 FP7-ICT-2007-1-3.3 Embedded Systems Design




 Requirement Traceability, Model
 Transformation, Tool Integration

                   D1.2 – BME & ARC
                                                                                                           Requirement Traceability
                                                                                                                         Aspects of requirement handling
                                                                                                                          •    Requirement definition – how to represent
                                                                                                                          •    Requirement management – how to handle
MOdel-based GENeration of Tests for Embedded Systems




                                                                                                                          •    Requirement analysis – how to find
                                                                                                                          •    Requirement traceability – how to follow up
                                                                                                                         Requirement Specification (RS)
                                                       #216679 FP7-ICT-2007-1-3.3 Embedded Systems Design




                                                                                                                         Types of traceability
                                                                                                                          • Pre-RS – what is the origin
                                                                                                                          • Post-RS – what are the consequences
                                                                                                                               – impact analysis of requirements
                                                                                                                                       » requirement validation
                                                                                                                                       » change impact analysis
                                                                                                                               – reasoning of the existence of system artefacts



                                                                                                            Boras, June 2-3 2008                                                  Slide 2
                                                                                                            D1.2 BME & ARC
                                                                                                                                         Budapest University of
                                                                                                                                       Technology and Economics
                                                                                                           Requirement Definition
                                                                                                             Textual – in most cases
                                                                                                                         informal: MS Word
MOdel-based GENeration of Tests for Embedded Systems




                                                                                                                         formal: e.g B language
                                                                                                             Model based
                                                                                                                         UML, Simulink/Stateflow diagrams
                                                       #216679 FP7-ICT-2007-1-3.3 Embedded Systems Design




                                                                                                                          • as extension to text
                                                                                                                         SysML – Systems Modeling Language
                                                                                                                          • textual requirements are part of the model
                                                                                                                               → Requirement diagram
                                                                                                                          • Extension of UML
                                                                                                                          • developed by OMG, INCOSE, and AP233



                                                                                                            Boras, June 2-3 2008                                         Slide 3
                                                                                                            D1.2 BME & ARC
                                                                                                                                        Budapest University of
                                                                                                                                      Technology and Economics
                                                                                                           Requirement Traceability
                                                                                                             Classical representation
                                                                                                                         requirement tree (→refinement)
MOdel-based GENeration of Tests for Embedded Systems




                                                                                                                         traceability matrix
                                                                                                                          • rows: requirements
                                                                                                                          • columns: system artefacts
                                                       #216679 FP7-ICT-2007-1-3.3 Embedded Systems Design




                                                                                                             Model based
                                                                                                                         SysML
                                                                                                                          •    refine
                                                                                                                          •    copy
                                                                                                                          •    derive
                                                                                                                          •    satisfy
                                                                                                                          •    verify
                                                                                                                          •    trace

                                                                                                            Boras, June 2-3 2008                                    Slide 4
                                                                                                            D1.2 BME & ARC
                                                                                                                                           Budapest University of
                                                                                                                                         Technology and Economics
                                                                                                           Model Transformations – Why?
                                                                                                             Model Driven Architecture
MOdel-based GENeration of Tests for Embedded Systems
                                                       #216679 FP7-ICT-2007-1-3.3 Embedded Systems Design




                                                                                                             Model Analysis
                                                                                                                         Engineering models → Mathematical models




                                                                                                            Boras, June 2-3 2008                                     Slide 5
                                                                                                            D1.2 BME & ARC
                                                                                                                                     Budapest University of
                                                                                                                                   Technology and Economics
                                                                                                           Model Transformations – Why?
                                                                                                             Tool Integration
                                                                                                                                                        Eclipse framework
                                                                                                                                               VIATRA Model Transformation Plug-in
                                                                                                                                                                                                   Model
MOdel-based GENeration of Tests for Embedded Systems




                                                                                                                                                                                               transformation
                                                                                                                                                      VIATRA Model Space
                                                                                                                                      Source              Xform. rules            Target
                                                                                                                                     metamodel              (VTCL)               metamodel


                                                                                                                                      Source               Xform engine              Target
                                                       #216679 FP7-ICT-2007-1-3.3 Embedded Systems Design




                                                                                                                                       model              (ASM+GraTra)               model     Code generation
                                                                                                                                                           Meta XForm
                                                                                                                         Import

                                                                                                                                       Native               Native                 Native
                                                                                                                                    Source model          XForm Plugin          Target model
                                                                                                                                                        Vendor’s own tool


                                                                                                                                                   VIATRA framework
                                                                                                                         e.g. from UML to SCADE

                                                                                                             Model to text transformations → code generation
                                                                                                                         can be used for test case generation

                                                                                                            Boras, June 2-3 2008                                                                                Slide 6
                                                                                                            D1.2 BME & ARC
                                                                                                                                      Budapest University of
                                                                                                                                    Technology and Economics
                                                                                                           Tool Integration
                                                                                                             Model driven tool integration: EMF
                                                                                                                         EMF – Eclipse Modeling Framework
                                                                                                                         framework for developing Java-based domain-specific modelling
MOdel-based GENeration of Tests for Embedded Systems




                                                                                                                          tools based on metamodels
                                                                                                                         common representation format for data
                                                                                                             Workflow based tool integration
                                                       #216679 FP7-ICT-2007-1-3.3 Embedded Systems Design




                                                                                                                         tool-chains formed
                                                                                                                         executed by a workflow mechanism
                                                                                                                          •    “traditional” workflow management tools (e.g. Websphere MQ)
                                                                                                                          •    open workflow execution environment (e.g. Enhydra)
                                                                                                                          •    implemented in a programming language (e.g. Java)
                                                                                                                          •    some other standard framework (e.g. BPEL, OSGi)
                                                                                                                         mapping or transforming models between tools
                                                                                                                         modelling workflows: Software & Systems Process Engineering
                                                                                                                          Meta-Model (SPEM) by OMG

                                                                                                            Boras, June 2-3 2008                                                             Slide 7
                                                                                                            D1.2 BME & ARC
                                                                                                                                         Budapest University of
                                                                                                                                       Technology and Economics
                                                                                                               Workflow based Tool Integration in
                                                                                                                DECOS Test Bench
                                                                                                                                                               PIM-validation with Racer
MOdel-based GENeration of Tests for Embedded Systems




                                                Automation                                                                                           Tool Automation Middleware                                   Adapted Tools
                                                  Clients
                                                       #216679 FP7-ICT-2007-1-3.3 Embedded Systems Design




                                                           Job
                                                                                                                                                                                                                     VIATRA2
                                                       Descriptor
                                                       Mail Origin*

                                                                                                                                       SMTP +             2                             4
                                                                                                                                                                 WebSphere V6            7    WebSphere MQ
                                                                                                                                        POP3
                                                                                                                                                                Application Server                V5
                                                                                                                                       server*            13                            8
                                                                                                                                                                                        11
                                                                                                                                                                                                                     RACER

                                                                                                             FTP
                                                                                                            server*
                                                                                                                                                 3
                                                                                                                                                     12                                      PIM to be verified


               * standard compliant, interchangeable parts                                                                                                                           code developed by BUTE

                                                                                                                Boras, June 2-3 2008                                                                                           Slide 8
                                                                                                                D1.2 BME & ARC
                                                                                                                                                   Budapest University of
                                                                                                                                                 Technology and Economics

				
DOCUMENT INFO
Shared By:
Categories:
Tags:
Stats:
views:4
posted:12/29/2012
language:English
pages:8