Ÿ
                                                     Ÿ
                                                     Ÿ
                                                     Ÿ
                                                     Ÿ
                                                     Ÿ
                                                     Ÿ
                                                     Ÿ
                                                     Ÿ
                                                     Ÿ
                                                     Ÿ
                                                     Ÿ
                                                     Ÿ
                                                     Ÿ
                                                     Ÿ
                                                     Ÿ
                                                     Ÿ
                                                     Ÿ
                                                     Ÿ
                                                     Ÿ
 Bridging the gap between textual requirements       Ÿ
                                                     Ÿ
 and model based software development                Ÿ
                                                     Ÿ
                                                     Ÿ
 Mark Brörkens | Eclipse IDD | 30.05.2012 | Berlin   Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
© itemis AG
Agenda
                                                                           Ÿ
                                                                           Ÿ
                                                                           Ÿ
§  Motivation                                                             Ÿ
                                                                           Ÿ
                                                                           Ÿ
                                                                           Ÿ
§  Bring textual requirements into Eclipse                                Ÿ
                                                                           Ÿ
                                                                           Ÿ
    §  OMG Requirements Interchange Format (ReqIF)                        Ÿ
                                                                           Ÿ
    §  Eclipse Requirements Modeling Framework (RMF)                      Ÿ
                                                                           Ÿ
    §  Demo                                                               Ÿ
                                                                           Ÿ
                                                                           Ÿ
                                                                           Ÿ
§  Connecting Models with Requirements                                    Ÿ
                                                                           Ÿ
    §  Traceability                                                       Ÿ
                                                                           Ÿ
    §  Textual DSLs as part of textual requirements                       Ÿ
                                                                           Ÿ
    §  Demo                                                               Ÿ
                                                                           Ÿ
                                                                           2
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
© itemis AG                                             Eclipse IDD 2012
Requirements and Traceability
Motivation                                                                                   Ÿ
                                                                                             Ÿ
                                                                                             Ÿ
                                                                                             Ÿ
                                                                                             Ÿ
                                                                                             Ÿ
•      Standish Group study (1994):                                                          Ÿ
                                                                                             Ÿ
     •  31 percent of software projects failed                                               Ÿ
                                                                                             Ÿ
     •  53 percent challenged by extreme budget overruns                                     Ÿ
                                                                                             Ÿ
                                                                                             Ÿ
                                                                                             Ÿ
•      As a response: Industry process standards                                             Ÿ
                                                                                             Ÿ
     •  e.g. CMMI, ISO 26262, Do-178b                                                        Ÿ
                                                                                             Ÿ
     •  documented best practices in order to improve development processes.                 Ÿ
                                                                                             Ÿ
                                                                                             Ÿ
                                                                                             Ÿ
         Best practice standards have in common:                                             Ÿ
         Requirements management and traceability                                            Ÿ
                                                                                             Ÿ
         between development artifacts                                                       Ÿ
                                                                                             3
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
© itemis AG                                                               Eclipse IDD 2012
Bring requirements into Eclipse
Bridging the gap between requirements management tools



                                                         Ÿ
                                                         Ÿ
                                                         Ÿ
                                                         Ÿ
                                                         Ÿ
                                                         Ÿ
                                                         Ÿ
                                                         Ÿ
                                                         Ÿ
                                                         Ÿ
                                                         Ÿ
                                                         Ÿ
                                                         Ÿ
                                                         Ÿ
                                                         Ÿ
                                                         Ÿ
                                                         Ÿ
                                                         Ÿ
                                                         Ÿ
                                                         Ÿ
                                                         Ÿ
                                                         Ÿ
                                                         Ÿ
                                                         Ÿ
                                                         Ÿ
                                                         Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
  Ÿ
 © itemis AG
Ÿ
              Ÿ




© itemis AG
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
                   ReqIF
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
Requirements Interchange Format (ReqIF)
Overview                                                                        Ÿ
                                                                                Ÿ
                                                                                Ÿ
                                                                                Ÿ
                                                                                Ÿ
                                                                                Ÿ
•     Format to exchange requirements                                           Ÿ
                                                                                Ÿ
•     Developed by the German Automotive Industry                               Ÿ
                                                                                Ÿ
•     First version in 2004                                                     Ÿ
                                                                                Ÿ
•     Now OMG standard                                                          Ÿ
                                                                                Ÿ
•     Much more than a file format: a data model                                Ÿ
                                                                                Ÿ
                                                                                Ÿ
                                                                                Ÿ
                                                                                Ÿ
                                                                                Ÿ
                                                                                Ÿ
                                                                                Ÿ
                        ReqIF … the “UML” for Requirements                      Ÿ
                                                                                Ÿ
                                                                                Ÿ
                                                                                Ÿ
                                                                                7
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
© itemis AG                                                  Eclipse IDD 2012
ReqIF – Top Level Structure
                                                 Ÿ
                                                 Ÿ
                                                 Ÿ
                                                 Ÿ
                                                 Ÿ
                                                 Ÿ
                                                 Ÿ
                                                 Ÿ
                                                 Ÿ
                                                 Ÿ
                                                 Ÿ
                                                 Ÿ
                                                 Ÿ
                                                 Ÿ
                                                 Ÿ
                                                 Ÿ
                                                 Ÿ
                                                 Ÿ
                                                 Ÿ
                                                 Ÿ
                                                 Ÿ
                                                 Ÿ
                                                 Ÿ
                                                 Ÿ
                                                 Ÿ
                                                 Ÿ
                                                 8
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
© itemis AG                   Eclipse IDD 2012
ReqIF – Core Content
                                                                                     Ÿ
                                                                                     Ÿ
                                                                                     Ÿ
                                                                                     Ÿ
                                                                                     Ÿ
                                                                                     Ÿ
                                                                                     Ÿ
                                                                                     Ÿ
                                                                                     Ÿ
                                                                                     Ÿ
                                                                                     Ÿ
                                                                                     Ÿ
                                                                                     Ÿ
                                                                                     Ÿ
                                                                                     Ÿ
                                                                                     Ÿ
                                                                                     Ÿ
                                                                                     Ÿ
                                                                                     Ÿ
                                                                                     Ÿ
                                                                                     Ÿ
                                                                                     Ÿ
(1)                    (2)                (3)              (4)                       Ÿ
Pool of Requirements   „Specifications“   Linkage          Meta data                 Ÿ
„SpecObjects“          with hierarchy     „SpecRelation“   about Structure           Ÿ
                                                                                     Ÿ
                                                                                     9
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
© itemis AG                                                       Eclipse IDD 2012
Eclipse Requirements Modeling Framework (RMF)
The Open Source Implementation of the OMG ReqIF standard                           Ÿ
                                                                                   Ÿ
                                                                                   Ÿ
                                                                                   Ÿ
                                                                                   Ÿ
                                             Requirements Capturing UI             Ÿ
                                                 (RMF ReqIF ProR)                  Ÿ
                                                                                   Ÿ
                                                                                   Ÿ
        .reqif                                                                     Ÿ
                                         Implementation of ReqIF Metamodel         Ÿ
      Exchange             Persistence
                                                  (RMF ReqIf Core)                 Ÿ
       Format                                                                      Ÿ
                                                                                   Ÿ
                                                                                   Ÿ
                                                                                   Ÿ
                                            Eclipse Modeling Framework             Ÿ
                                                                                   Ÿ
                                                                                   Ÿ
                                                                                   Ÿ
                                                                                   Ÿ
                                                                                   Ÿ
                                                                                   Ÿ
              3rd Party Standard (OMG)     Eclipse RMF            Eclipse Platform Ÿ
                                                                                   Ÿ
                                                                                   Ÿ
                                                                                             10
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
© itemis AG                                                               Eclipse IDD 2012
erde


www.itea-verde.org   www.deploy-project.eu



Core
Traceability
Advantages – Process Visibility                                           Ÿ
                                                                          Ÿ
                                                                          Ÿ
                                                                          Ÿ
                                                                          Ÿ
                                                                          Ÿ
 •  Engineer                                                              Ÿ
                                                                          Ÿ
      •  access to contextual information. E.g.
                                                                          Ÿ
                                                                          Ÿ
              •  Intention of user for having a given feature
                                                                          Ÿ
              •  tests that were used to verify the functionality         Ÿ
                                                                          Ÿ
              •  related artifacts                                        Ÿ
                                                                          Ÿ
              •  avoid adding unneeded enhancements                       Ÿ
                                                                          Ÿ
                                                                          Ÿ
                                                                          Ÿ
 •  Customer / Accessor                                                   Ÿ
                                                                          Ÿ
      •  Demonstrate that a requirement is implemented and tested         Ÿ
                                                                          Ÿ
                                                                          Ÿ
                                                                          Ÿ
                                                                          Ÿ
                                                                          12
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
© itemis AG                                                         NXP
Traceability
Advantages – Verification & Validation                                                                                                                                                          Ÿ
                                                                                                                                                                                                Ÿ
                                                                                                                                                                                                Ÿ
                                                                                                                                                                                                Ÿ
                                                                     Customer
                                                                    Requirements
                                                                                                                                                                                                Ÿ
                                                                                                                                                                                                Ÿ
 •  Documentation of test coverage e.g.                                      ENG.2.BP6


                                                                                                                                                                                                Ÿ
                                                                                                                               ENG.10.BP5

                                                                                                                                                                                                Ÿ
                                                                             System                                                                                              System Test
                                                                           Requirements                                                                                          Specification



     •  System requirement are validated by system tests
                                                                                                                                                                                                Ÿ
                                                                                           ENG.3.BP6




                                                                                                                                                                                                Ÿ
                                                                                            System                                                                         System
                                                                                                                               ENG.9.BP7


     •  Software Requirements are vaidated by software test
                                                                                          Architectural                                                                Integration Test
                                                                                            Design                                                                       Specification
                                                                             ENG.4.BP6

                                                                                                   ENG.4.BP7                                                                                    Ÿ
     •  Architecture and Design is validated by integration tests                           Software
                                                                                          Requirements
                                                                                                                               ENG.8.BP5                        Software Test
                                                                                                                                                                Specification
                                                                                                                                                                                                Ÿ
                                                                                                                                                                                                Ÿ
                                                                                                           ENG.5.BP9

                                                                                                                Software
                                                                                                               Architectural



     •  Code units are validated by unit tests
                                                                                                                 Design


                                                                                                                  ENG.5.BP10
                                                                                                                                      ENG.7.BP7                                                 Ÿ
                                                                                                                                                                                                Ÿ
                                                                                            ENG.6.BP9
                                                                                                                Software                              Software
                                                                                                                Detailed                          Integration Test


                                                                                                                                                                                                Ÿ
                                                                                                                 Design                             Specification




                                                                                                                                                                                                Ÿ
                                                                                                                      ENG.6.BP8


                                                                                                                                                Test


                                                                                                                                                                                                Ÿ
                                                                                                                Software       ENG.6.BP10   Specification
                                                                                                                 Units                      of Software



 •  Documenation of requirements coverage
                                                                                                                                               Units




                                                                                                                                                                                                Ÿ
                                                                                                                                                                                                Ÿ
     •  Are all requirements implemented and tested?                                                                                                                                            Ÿ
                                                                                                                                                                                                Ÿ
                                                                                                                                                                                                Ÿ
                                                                                                                                                                                                Ÿ
                                                                                                                                                                                                Ÿ
                                                                                                                                                                                                Ÿ
                                                                                                                                                                                                13
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
© itemis AG                                                                                                                                                                               NXP
Traceability
Advantages – Maintenance                                                                             Ÿ
                                                                                                     Ÿ
                                                                                                     Ÿ
                                                                                                     Ÿ
                                                                                                     Ÿ
                                                                                                     Ÿ
 •  Determine impact of change                                                                       Ÿ
                                                                                                     Ÿ
     •  Which artifacts need to be updated, retested, recertified, etc.
                                                                                                     Ÿ
                                                                                                     Ÿ
                                                                                                     Ÿ
                                                                                                     Ÿ
 •  In case a system contains a bug                                                                  Ÿ
                                                                                                     Ÿ
     •  Allow finding related artifacts which might be involved in producing the error               Ÿ
                                                                                                     Ÿ
     •  Assist while identifying the source (implementation, design, architecture, requirement)?     Ÿ
                                                                                                     Ÿ
                                                                                                     Ÿ
                     change                                                                          Ÿ
                                                                                                     Ÿ
                                                                                                     Ÿ
                                                                                                     Ÿ
                                                                                                     Ÿ
                                                                                                     Ÿ
                                                                                                     Ÿ
                                                                                                     14
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
© itemis AG                                                                                    NXP
Connecting Models with Requirements using Traceability
Method: Documentation of Traces between Requirements and Models                      Ÿ
                                                                                     Ÿ
                                                                                     Ÿ
                                                                                     Ÿ
•      Direct tool-based links                                                       Ÿ
                                                                                     Ÿ
      (e.g. SysML)
                                                                                     Ÿ
                                                                                     Ÿ
•      Naming conventions                                                            Ÿ
                                                                                     Ÿ
•      Implicit                                                                      Ÿ
      (e.g. model based development, code generation)                                Ÿ
                                                                                     Ÿ
•      Traces in artifacts                                                           Ÿ
      (e.g. in comments of C-Code)                                                   Ÿ
                                                                                     Ÿ
                                                                                     Ÿ
•      Traceability matrices                                                         Ÿ
                                                                                     Ÿ
•      Specialized tool that manages trace dependencies                              Ÿ
                                                                                     Ÿ
                                                                                     Ÿ
                                                                                     Ÿ
              Creation and maintenance should be as easy as possible                 Ÿ
                                                                                     Ÿ
                                                                                     Ÿ
                                                                                     15
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
© itemis AG                                                       Eclipse IDD 2012
Connecting Models with Requirements using Traceability
YAKINDU CReMa                                                                                       Ÿ
                                                                                                    Ÿ
                                                                                                    Ÿ
                                                                                                    Ÿ
                                                                                                    Ÿ
                                                                                                    Ÿ
Traceability support deeply integrated into Eclipse                                                 Ÿ
                                                                                                    Ÿ
•     Simple trace creation
                                                                                                    Ÿ
                                                                                                    Ÿ
•     Interactive navigation of traces including opening of traced artifacts
                                                                                                    Ÿ
•     immediate feedback if modification in model will break or modify a trace                      Ÿ
                                                                                                    Ÿ
•     Automated trace updates in case of renaming, etc.                                             Ÿ
                                                                                                    Ÿ
•     Supports Eclipse based and non-Eclipse based Tools                                            Ÿ
                                                                                                    Ÿ
                                                                                                    Ÿ
                                                                                                    Ÿ
Support for Report Generation                                                                       Ÿ
                                                                                                    Ÿ
                                                                                                    Ÿ
                                                                                                    Ÿ
                                                                                                    Ÿ
                                                                                                    Ÿ
                                                                                                    Ÿ
                                                                                                    16
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
© itemis AG                                                                      Eclipse IDD 2012
Connecting Models with Requirements using Traceability
YAKINDU CReMa Architecture                                                  Ÿ
                                                                            Ÿ
                                                                            Ÿ
                                                                            Ÿ
                                                                            Ÿ
                                                                            Ÿ
Integration of Eclipse editors and (external) tools                         Ÿ
                                                                            Ÿ
                                                                            Ÿ
                                                                            Ÿ
                                                                            Ÿ
                                                                            Ÿ
                                                                            Ÿ
                                                                            Ÿ
                                                                            Ÿ
                                                                            Ÿ
                                                                            Ÿ
                                                                            Ÿ
                                                                            Ÿ
                                                                            Ÿ
                                                                            Ÿ
                                                                            Ÿ
                                                                            Ÿ
                                                                            Ÿ
                                                                            Ÿ
                                                                            Ÿ
                                                                            17
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
© itemis AG                                              Eclipse IDD 2012
Connecting Models with Requirements
Method: Integrate Models into Requirements                                                               Ÿ
                                                                                                         Ÿ
                                                                                                         Ÿ
                                                                                                         Ÿ
                                                                                                         Ÿ
                                                                                                         Ÿ
•     Most Requirements Management Tools are great for managing requirements.                            Ÿ
                                                                                                         Ÿ
•     However, the requirements text often only is a “text blob”                                         Ÿ
                                                                                                         Ÿ
     •  Little support for ensuring the consistency of requirements.                                     Ÿ
                                                                                                         Ÿ
•     E.g.:                                                                                              Ÿ
                                                                                                         Ÿ
              •  “The wiper washer control shall enable the front wiper if it is raining”                Ÿ
                                                                                                         Ÿ
•     Textual DSL can assist creating consistent specifications using custom editors                     Ÿ
                                                                                                         Ÿ
      with syntax highlighting, tab completion, …                                                        Ÿ
                                                                                                         Ÿ
•     E.g:                                                                                               Ÿ
                                                                                                         Ÿ
                                                                                                         Ÿ
                                                                                                         Ÿ
                                                                                                         Ÿ
                                                                                                         Ÿ
                                                                                                         18
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
© itemis AG                                                                           Eclipse IDD 2012
Connecting Models with Requirements
RMF Extension: Xtext Integration                                              Ÿ
                                                                              Ÿ
                                                                              Ÿ
                                                                              Ÿ
                                                                              Ÿ
                                                                              Ÿ
•     RMF ProR is highly extensible by “presentations”                        Ÿ
                                                                              Ÿ
     •  Each cell can have a custom editor                                    Ÿ
                                                                              Ÿ
     •  E.g Xtext editors for one or more DSLs                                Ÿ
                                                                              Ÿ
                                                                              Ÿ
                                                                              Ÿ
•     Requirements Management Tool becomes modeling tool                      Ÿ
                                                                              Ÿ
                                                                              Ÿ
                                                                              Ÿ
                                                                              Ÿ
                                                                              Ÿ
                                                                              Ÿ
                                                                              Ÿ
                                                                              Ÿ
                                                                              Ÿ
                                                                              Ÿ
                                                                              Ÿ
                                                                              19
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
© itemis AG                                                Eclipse IDD 2012
Ÿ
                             Ÿ



                  Demo:
                             Ÿ
                             Ÿ
                             Ÿ
                             Ÿ
                             Ÿ


              YAKINDU RMF
                             Ÿ
                             Ÿ
                             Ÿ
                             Ÿ
                             Ÿ


                Extensions   Ÿ
                             Ÿ
                             Ÿ
                             Ÿ
                             Ÿ
                             Ÿ
                             Ÿ
                             Ÿ
                             Ÿ
                             Ÿ
                             Ÿ
                             Ÿ
                             Ÿ
                             Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
© itemis AG
References
                                                                   Ÿ
                                                                   Ÿ
                                                                   Ÿ
                                                                   Ÿ
                                                                   Ÿ
l    OMG ReqIF specification                                      Ÿ
      http://www.omg.org/spec/ReqIF/                               Ÿ
                                                                   Ÿ
                                                                   Ÿ
l    Eclipse Requirements Modeling Framework                      Ÿ
      http://www.eclipse.org/rmf                                   Ÿ
                                                                   Ÿ
l    YAKINDU Tools                                                Ÿ
      http://www.yakindu.com                                       Ÿ
                                                                   Ÿ
                                                                   Ÿ
l    Xtext                                                        Ÿ
      http://www.eclipse.org/Xtext/                                Ÿ
                                                                   Ÿ
                                                                   Ÿ
                                                                   Ÿ
                                                                   Ÿ
l    Follow me on Twitter                                         Ÿ
      http://twitter.com/MarkBroerkens                             Ÿ
                                                                   Ÿ
                                                                   Ÿ
                                                                   21
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
 Ÿ
© itemis AG                                     Eclipse IDD 2012
Ÿ
              Ÿ




© itemis AG
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
                   Questions ?


              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
              Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
                   Ÿ
Ÿ
                                                                               Ÿ
                 Mark Brörkens                                                 Ÿ
                 Itemis AG                                                     Ÿ
                                                                               Ÿ
                 Ohlauer Straße 43                                             Ÿ
                 10999 Berlin                                                  Ÿ
                                                                               Ÿ
                 Mark.Broerkens@itemis.de                                      Ÿ
                                                                               Ÿ
                                                                               Ÿ
                                                                               Ÿ
              itemis AG | Am Brambusch 15-24 | D-44536 Lünen | www.itemis.de   Ÿ
                                                                               Ÿ
                                                                               Ÿ
                                                                               Ÿ
                                                                               Ÿ
                                                                               Ÿ
                                                                               Ÿ
                                                                               Ÿ
                                                                               Ÿ
                                                                               Ÿ
                                                                               Ÿ
                                                                               Ÿ
                                                                               Ÿ
                                                                               Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
Ÿ
© itemis AG

More Related Content

PDF
ESE2008 Automotive Symposium Broerkens
PDF
Eclipse RMF - Requirements Modeling Framework - ReqIF in der Open Source
PDF
Eclipse democamp2012 broerkens_requirementsmanagementwitheclipse
PDF
Value for defence
PDF
Primitives And Design Patterns for Top-Down SOA Implementations
PDF
Ethier Associates Calgary CIO Forum June 509
PDF
Trahan stuart
PDF
REST: putting the web back in to web services
ESE2008 Automotive Symposium Broerkens
Eclipse RMF - Requirements Modeling Framework - ReqIF in der Open Source
Eclipse democamp2012 broerkens_requirementsmanagementwitheclipse
Value for defence
Primitives And Design Patterns for Top-Down SOA Implementations
Ethier Associates Calgary CIO Forum June 509
Trahan stuart
REST: putting the web back in to web services

Similar to Eclipse idd2012 broerkens_bridgingthegapbetweentextualrequirementsandmodelbasedsoftwaredevelopmentwitheclipse (20)

PDF
080811
PDF
[D1]deview 2012 nvidia
PDF
Security Visualization - Let's Take A Step Back
PPTX
Business plan final et new
PDF
Cisco career certification paths
PDF
Data quality practical guide
PDF
Digital Mailrooms: Fixing Your Weakest Link in the Customer Value Chain
PDF
Poster EWEA "Damping Estimation of an Offshore Wind Turbine on a Monopile Fou...
PDF
120606 Contract Management Skill Checklist & Experience Grid Andrew Ng
PPT
Cinefilia Demo - EGEE User Forum 2009
PDF
Tool Kit: Business Analysis product (artefact) checklist
PDF
Arch Final Resume Ag
PDF
Converting Existing Port Terminals —How we make it work
PPTX
Viedome Presentation Eu
PDF
웹데브모바일 3월 세미나 자료 : Client side storage in html5
PDF
Company crt connected
PDF
Occ Page
PDF
Ragnhild
PDF
Ragnhild poster
PDF
Bloombase Spitfire SOA Compatibility Matrix
080811
[D1]deview 2012 nvidia
Security Visualization - Let's Take A Step Back
Business plan final et new
Cisco career certification paths
Data quality practical guide
Digital Mailrooms: Fixing Your Weakest Link in the Customer Value Chain
Poster EWEA "Damping Estimation of an Offshore Wind Turbine on a Monopile Fou...
120606 Contract Management Skill Checklist & Experience Grid Andrew Ng
Cinefilia Demo - EGEE User Forum 2009
Tool Kit: Business Analysis product (artefact) checklist
Arch Final Resume Ag
Converting Existing Port Terminals —How we make it work
Viedome Presentation Eu
웹데브모바일 3월 세미나 자료 : Client side storage in html5
Company crt connected
Occ Page
Ragnhild
Ragnhild poster
Bloombase Spitfire SOA Compatibility Matrix
Ad

Recently uploaded (20)

PDF
Architecture types and enterprise applications.pdf
PPTX
2018-HIPAA-Renewal-Training for executives
PPT
What is a Computer? Input Devices /output devices
PPT
Module 1.ppt Iot fundamentals and Architecture
PPTX
AI IN MARKETING- PRESENTED BY ANWAR KABIR 1st June 2025.pptx
PPT
Galois Field Theory of Risk: A Perspective, Protocol, and Mathematical Backgr...
PPTX
Benefits of Physical activity for teenagers.pptx
PPTX
Microsoft Excel 365/2024 Beginner's training
PPTX
MicrosoftCybserSecurityReferenceArchitecture-April-2025.pptx
PPTX
Chapter 5: Probability Theory and Statistics
PDF
A comparative study of natural language inference in Swahili using monolingua...
PDF
Flame analysis and combustion estimation using large language and vision assi...
PDF
STKI Israel Market Study 2025 version august
PDF
UiPath Agentic Automation session 1: RPA to Agents
PDF
How ambidextrous entrepreneurial leaders react to the artificial intelligence...
PDF
Convolutional neural network based encoder-decoder for efficient real-time ob...
PDF
sustainability-14-14877-v2.pddhzftheheeeee
PPTX
Final SEM Unit 1 for mit wpu at pune .pptx
PDF
A review of recent deep learning applications in wood surface defect identifi...
PDF
A Late Bloomer's Guide to GenAI: Ethics, Bias, and Effective Prompting - Boha...
Architecture types and enterprise applications.pdf
2018-HIPAA-Renewal-Training for executives
What is a Computer? Input Devices /output devices
Module 1.ppt Iot fundamentals and Architecture
AI IN MARKETING- PRESENTED BY ANWAR KABIR 1st June 2025.pptx
Galois Field Theory of Risk: A Perspective, Protocol, and Mathematical Backgr...
Benefits of Physical activity for teenagers.pptx
Microsoft Excel 365/2024 Beginner's training
MicrosoftCybserSecurityReferenceArchitecture-April-2025.pptx
Chapter 5: Probability Theory and Statistics
A comparative study of natural language inference in Swahili using monolingua...
Flame analysis and combustion estimation using large language and vision assi...
STKI Israel Market Study 2025 version august
UiPath Agentic Automation session 1: RPA to Agents
How ambidextrous entrepreneurial leaders react to the artificial intelligence...
Convolutional neural network based encoder-decoder for efficient real-time ob...
sustainability-14-14877-v2.pddhzftheheeeee
Final SEM Unit 1 for mit wpu at pune .pptx
A review of recent deep learning applications in wood surface defect identifi...
A Late Bloomer's Guide to GenAI: Ethics, Bias, and Effective Prompting - Boha...
Ad

Eclipse idd2012 broerkens_bridgingthegapbetweentextualrequirementsandmodelbasedsoftwaredevelopmentwitheclipse

  • 1. Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Bridging the gap between textual requirements Ÿ Ÿ and model based software development Ÿ Ÿ Ÿ Mark Brörkens | Eclipse IDD | 30.05.2012 | Berlin Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ © itemis AG
  • 2. Agenda Ÿ Ÿ Ÿ §  Motivation Ÿ Ÿ Ÿ Ÿ §  Bring textual requirements into Eclipse Ÿ Ÿ Ÿ §  OMG Requirements Interchange Format (ReqIF) Ÿ Ÿ §  Eclipse Requirements Modeling Framework (RMF) Ÿ Ÿ §  Demo Ÿ Ÿ Ÿ Ÿ §  Connecting Models with Requirements Ÿ Ÿ §  Traceability Ÿ Ÿ §  Textual DSLs as part of textual requirements Ÿ Ÿ §  Demo Ÿ Ÿ 2 Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ © itemis AG Eclipse IDD 2012
  • 3. Requirements and Traceability Motivation Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ •  Standish Group study (1994): Ÿ Ÿ •  31 percent of software projects failed Ÿ Ÿ •  53 percent challenged by extreme budget overruns Ÿ Ÿ Ÿ Ÿ •  As a response: Industry process standards Ÿ Ÿ •  e.g. CMMI, ISO 26262, Do-178b Ÿ Ÿ •  documented best practices in order to improve development processes. Ÿ Ÿ Ÿ Ÿ Best practice standards have in common: Ÿ Requirements management and traceability Ÿ Ÿ between development artifacts Ÿ 3 Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ © itemis AG Eclipse IDD 2012
  • 5. Bridging the gap between requirements management tools Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ © itemis AG
  • 6. Ÿ Ÿ © itemis AG Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ ReqIF Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ
  • 7. Requirements Interchange Format (ReqIF) Overview Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ •  Format to exchange requirements Ÿ Ÿ •  Developed by the German Automotive Industry Ÿ Ÿ •  First version in 2004 Ÿ Ÿ •  Now OMG standard Ÿ Ÿ •  Much more than a file format: a data model Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ ReqIF … the “UML” for Requirements Ÿ Ÿ Ÿ Ÿ 7 Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ © itemis AG Eclipse IDD 2012
  • 8. ReqIF – Top Level Structure Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ 8 Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ © itemis AG Eclipse IDD 2012
  • 9. ReqIF – Core Content Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ (1) (2) (3) (4) Ÿ Pool of Requirements „Specifications“ Linkage Meta data Ÿ „SpecObjects“ with hierarchy „SpecRelation“ about Structure Ÿ Ÿ 9 Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ © itemis AG Eclipse IDD 2012
  • 10. Eclipse Requirements Modeling Framework (RMF) The Open Source Implementation of the OMG ReqIF standard Ÿ Ÿ Ÿ Ÿ Ÿ Requirements Capturing UI Ÿ (RMF ReqIF ProR) Ÿ Ÿ Ÿ .reqif Ÿ Implementation of ReqIF Metamodel Ÿ Exchange Persistence (RMF ReqIf Core) Ÿ Format Ÿ Ÿ Ÿ Ÿ Eclipse Modeling Framework Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ 3rd Party Standard (OMG) Eclipse RMF Eclipse Platform Ÿ Ÿ Ÿ 10 Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ © itemis AG Eclipse IDD 2012
  • 11. erde www.itea-verde.org www.deploy-project.eu Core
  • 12. Traceability Advantages – Process Visibility Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ •  Engineer Ÿ Ÿ •  access to contextual information. E.g. Ÿ Ÿ •  Intention of user for having a given feature Ÿ •  tests that were used to verify the functionality Ÿ Ÿ •  related artifacts Ÿ Ÿ •  avoid adding unneeded enhancements Ÿ Ÿ Ÿ Ÿ •  Customer / Accessor Ÿ Ÿ •  Demonstrate that a requirement is implemented and tested Ÿ Ÿ Ÿ Ÿ Ÿ 12 Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ © itemis AG NXP
  • 13. Traceability Advantages – Verification & Validation Ÿ Ÿ Ÿ Ÿ Customer Requirements Ÿ Ÿ •  Documentation of test coverage e.g. ENG.2.BP6 Ÿ ENG.10.BP5 Ÿ System System Test Requirements Specification •  System requirement are validated by system tests Ÿ ENG.3.BP6 Ÿ System System ENG.9.BP7 •  Software Requirements are vaidated by software test Architectural Integration Test Design Specification ENG.4.BP6 ENG.4.BP7 Ÿ •  Architecture and Design is validated by integration tests Software Requirements ENG.8.BP5 Software Test Specification Ÿ Ÿ ENG.5.BP9 Software Architectural •  Code units are validated by unit tests Design ENG.5.BP10 ENG.7.BP7 Ÿ Ÿ ENG.6.BP9 Software Software Detailed Integration Test Ÿ Design Specification Ÿ ENG.6.BP8 Test Ÿ Software ENG.6.BP10 Specification Units of Software •  Documenation of requirements coverage Units Ÿ Ÿ •  Are all requirements implemented and tested? Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ 13 Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ © itemis AG NXP
  • 14. Traceability Advantages – Maintenance Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ •  Determine impact of change Ÿ Ÿ •  Which artifacts need to be updated, retested, recertified, etc. Ÿ Ÿ Ÿ Ÿ •  In case a system contains a bug Ÿ Ÿ •  Allow finding related artifacts which might be involved in producing the error Ÿ Ÿ •  Assist while identifying the source (implementation, design, architecture, requirement)? Ÿ Ÿ Ÿ change Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ 14 Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ © itemis AG NXP
  • 15. Connecting Models with Requirements using Traceability Method: Documentation of Traces between Requirements and Models Ÿ Ÿ Ÿ Ÿ •  Direct tool-based links Ÿ Ÿ (e.g. SysML) Ÿ Ÿ •  Naming conventions Ÿ Ÿ •  Implicit Ÿ (e.g. model based development, code generation) Ÿ Ÿ •  Traces in artifacts Ÿ (e.g. in comments of C-Code) Ÿ Ÿ Ÿ •  Traceability matrices Ÿ Ÿ •  Specialized tool that manages trace dependencies Ÿ Ÿ Ÿ Ÿ Creation and maintenance should be as easy as possible Ÿ Ÿ Ÿ 15 Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ © itemis AG Eclipse IDD 2012
  • 16. Connecting Models with Requirements using Traceability YAKINDU CReMa Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Traceability support deeply integrated into Eclipse Ÿ Ÿ •  Simple trace creation Ÿ Ÿ •  Interactive navigation of traces including opening of traced artifacts Ÿ •  immediate feedback if modification in model will break or modify a trace Ÿ Ÿ •  Automated trace updates in case of renaming, etc. Ÿ Ÿ •  Supports Eclipse based and non-Eclipse based Tools Ÿ Ÿ Ÿ Ÿ Support for Report Generation Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ 16 Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ © itemis AG Eclipse IDD 2012
  • 17. Connecting Models with Requirements using Traceability YAKINDU CReMa Architecture Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Integration of Eclipse editors and (external) tools Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ 17 Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ © itemis AG Eclipse IDD 2012
  • 18. Connecting Models with Requirements Method: Integrate Models into Requirements Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ •  Most Requirements Management Tools are great for managing requirements. Ÿ Ÿ •  However, the requirements text often only is a “text blob” Ÿ Ÿ •  Little support for ensuring the consistency of requirements. Ÿ Ÿ •  E.g.: Ÿ Ÿ •  “The wiper washer control shall enable the front wiper if it is raining” Ÿ Ÿ •  Textual DSL can assist creating consistent specifications using custom editors Ÿ Ÿ with syntax highlighting, tab completion, … Ÿ Ÿ •  E.g: Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ 18 Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ © itemis AG Eclipse IDD 2012
  • 19. Connecting Models with Requirements RMF Extension: Xtext Integration Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ •  RMF ProR is highly extensible by “presentations” Ÿ Ÿ •  Each cell can have a custom editor Ÿ Ÿ •  E.g Xtext editors for one or more DSLs Ÿ Ÿ Ÿ Ÿ •  Requirements Management Tool becomes modeling tool Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ 19 Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ © itemis AG Eclipse IDD 2012
  • 20. Ÿ Ÿ Demo: Ÿ Ÿ Ÿ Ÿ Ÿ YAKINDU RMF Ÿ Ÿ Ÿ Ÿ Ÿ Extensions Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ © itemis AG
  • 21. References Ÿ Ÿ Ÿ Ÿ Ÿ l  OMG ReqIF specification Ÿ http://www.omg.org/spec/ReqIF/ Ÿ Ÿ Ÿ l  Eclipse Requirements Modeling Framework Ÿ http://www.eclipse.org/rmf Ÿ Ÿ l  YAKINDU Tools Ÿ http://www.yakindu.com Ÿ Ÿ Ÿ l  Xtext Ÿ http://www.eclipse.org/Xtext/ Ÿ Ÿ Ÿ Ÿ Ÿ l  Follow me on Twitter Ÿ http://twitter.com/MarkBroerkens Ÿ Ÿ Ÿ 21 Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ © itemis AG Eclipse IDD 2012
  • 22. Ÿ Ÿ © itemis AG Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Questions ? Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ
  • 23. Ÿ Ÿ Mark Brörkens Ÿ Itemis AG Ÿ Ÿ Ohlauer Straße 43 Ÿ 10999 Berlin Ÿ Ÿ Mark.Broerkens@itemis.de Ÿ Ÿ Ÿ Ÿ itemis AG | Am Brambusch 15-24 | D-44536 Lünen | www.itemis.de Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ © itemis AG