Eclipse RMF  Requirements Modeling FrameworkReqIF in der Open Source                   14.03.2012    Michael Jastram      ...
ReqIF undRMF        heben         ab           Bildquelle: NASA
RMF-Team bei der Eclipse FoundationMichael Jastram                        Mark BrökensProject Lead                        ...
www.itea-verde.org   www.deploy-project.euCore
Collaborators  Formal Method           RMF Core                Traceability   Integration and                         ...
RIF /ReqIF
ReqIF Overview    Format to exchange requirements    Developed by the German Automotive Industry    First version in 20...
ReqIF Top Level                  9/27
ReqIF: ReqIF ContentRequirements and SpecificationsPool of Requirements   „Specifications“   Linkage„SpecObjects“         ...
ReqIF: ReqIF ContentSpecTypesAttribute Definition for Requirements „SpecObjectType“Attribute Definition for Linkage „SpecR...
ReqIF: ReqIF ContentAttributes                       12/27
Eclipse RMF
RMF Architecture                                   Requirements Capturing UI                                      (RMF Req...
ReqIF	  Standard	                 UI	     EMF	  
RMF History    Initial Development     April 2010 – June 2010    Verde Collaboration (ReqIF Core)     July 2010 – Februa...
ProR Demo
RMF Roadmap    Finalize migration to Eclipse Foundation    Ensure ReqIF interoperability     (ProSTEP Implementer Forum)...
Activities that complement     RMF
Verde: Requirements Traceability with         YAKINDU CReMa                                                               ...
DSL-Support with XText                         Bridging the gap                         between                         te...
Research Project IMES             History                 Offline WorkMulti User                                          ...
RMF usersResearch project:• VERDE• IMES• Amalthea• Deploy• Advance• NextGenREVarious Interested Parties
Deploy    FP7 Research Program     “to make major advances in engineering methods for     dependable systems through the ...
ProR Rodin Integration                                                     Ein- und                                       ...
Advance    FP7 Research Program     “the development of a unified tool-based framework for     automated formal verificat...
Sprechen Sie uns an!           Mark Brörkens                Michael Jastram Wolfgang George           Kurt Ebert
Danke!Fragen...?
Eclipse RMF - Requirements Modeling Framework - ReqIF in der Open Source
Eclipse RMF - Requirements Modeling Framework - ReqIF in der Open Source
Upcoming SlideShare
Loading in …5
×

Eclipse RMF - Requirements Modeling Framework - ReqIF in der Open Source

1,721
-1

Published on

Durch die Freigabe des ReqIF-Standards im April 2011 durch die OMG gibt es nun einen internationalen Standard, der das verteilte Arbeiten mit komplexen Anforderungen ermöglicht. Damit könnte ReqIF für Anforderungen das werden, was die UML in der Modellierung geleistet hat: Einen gemeinsamen Standard bereitstellen, auf den die Gemeinschaft konvergieren kann.

In diesem Vortrag stellen wir das Requirements Modeling Framework (RMF) vor. RMF ist ein neues Eclipse Foundation Projekt, das aus einem RIF/ReqIF-Kern und einer ReqIF-GUI besteht. RMF ist aus den zwei europäischen Forschungsprojekten Deploy und Verde entstanden.

RMF stellt drei Kerne für RIF 1.1a, RIF 1.2 und ReqIF 1.0.1 zu Verfügung. Diese sind mit dem Eclipse Modeling Framework realisiert und ermöglichen das effektive programmatische Arbeiten mit RIF- und ReqIF-Daten.

ProR ist der Name der GUI, mit der ReqIF-Daten komfortabel bearbeitet werden können. Dabei werden Anforderungen intuitiv tabellarisch dargestellt. ProR stellt Erweiterungspunkte zur Verfügung, über die andere Eclipse-basierte Werkzeuge integriert werden können.

In diesem Vortrag stellen wir das Projekt vor, beschreiben die Architektur und demonstrieren die Möglichkeiten einer Eclipse-basierten Plattform.

Published in: Technology
0 Comments
1 Like
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total Views
1,721
On Slideshare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
9
Comments
0
Likes
1
Embeds 0
No embeds

No notes for slide

Eclipse RMF - Requirements Modeling Framework - ReqIF in der Open Source

  1. 1. Eclipse RMF Requirements Modeling FrameworkReqIF in der Open Source 14.03.2012 Michael Jastram Mark Brökens Formal Mind GmbH Itemis AGProject Lead RMF Project Project Lead RMF Project Bildquelle: Eclipse Foundation
  2. 2. ReqIF undRMF heben ab Bildquelle: NASA
  3. 3. RMF-Team bei der Eclipse FoundationMichael Jastram Mark BrökensProject Lead Project LeadFocus: GUI Focus: CoreFormal Mind itemisUni Düsseldorf Bildquelle: nightskyinfo.com
  4. 4. www.itea-verde.org www.deploy-project.euCore
  5. 5. Collaborators  Formal Method   RMF Core   Traceability Integration and   Traceability   Formal Method Traceability Integration   DSLs  Deploy FP7   Academic Spin- Project   ITEA Verde Project Off Interest from: Airbus, Atos, emergn Ltd, HOOD GmbH, MKS, ModelAchemy, Obeo, Prostep, TCL Software and more (see Eclipse Proposal) 5/27
  6. 6. RIF /ReqIF
  7. 7. ReqIF Overview  Format to exchange requirements  Developed by the German Automotive Industry  First version in 2004  Now OMG standard  Gaining traction (previous version supported by industry tools like IBM DOORS)  Much more than a file format: a data model 8/27
  8. 8. ReqIF Top Level 9/27
  9. 9. ReqIF: ReqIF ContentRequirements and SpecificationsPool of Requirements „Specifications“ Linkage„SpecObjects“ with hierarchy „SpecRelation“ 10/27
  10. 10. ReqIF: ReqIF ContentSpecTypesAttribute Definition for Requirements „SpecObjectType“Attribute Definition for Linkage „SpecRelationType“Attribute Definition for Specifications „SpecificationType“ 11/27
  11. 11. ReqIF: ReqIF ContentAttributes 12/27
  12. 12. Eclipse RMF
  13. 13. RMF Architecture 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
  14. 14. ReqIF  Standard   UI   EMF  
  15. 15. RMF History  Initial Development April 2010 – June 2010  Verde Collaboration (ReqIF Core) July 2010 – February 2011  Eclipse Foundation Submission (RMF) March 2011 – November 2011  Preperation for first Eclipse Snapshot December 2011 – January 2012  Following the Roadmap February 2012 – present 16/27
  16. 16. ProR Demo
  17. 17. RMF Roadmap  Finalize migration to Eclipse Foundation  Ensure ReqIF interoperability (ProSTEP Implementer Forum)  Make ProR feature-complete & performance tuning  Improved error handling for incorrect ReqIF models  Improve Integration into different contexts  Continue academic work (FP7 Advance)  SPICE-compliant development process (itemis) 18/27
  18. 18. Activities that complement RMF
  19. 19. Verde: Requirements Traceability with YAKINDU CReMa Source+Code+ Requirements+ UML+ AUTOSAR+(Artop)+ExisTng+Tools+ (ReqIF)+ +(Papyrus)+Custom+ TracePoint+ TracePoint TracePoint TracePointTracePoint Provider+ Provider+ Provider+ Provider+Provider+ ReqIF+ UML+ Artop+ Source+Framework+ Traceability+Framework+++User+Interface+ TracePoint+Source+ TracePoint+Target+ Meta0Data+ RIF://ID238+ UML://GUIDFFAD3M+Datastore+ RIF://ID238+ TXT://impl.c/line308+ UML:://GUID0BCDDD+ TXT://impl.c/line3qw+ ©  itemis  2012  
  20. 20. DSL-Support with XText Bridging the gap between textual requirements and models 22/27
  21. 21. Research Project IMES History Offline WorkMulti User Big Models Requirements Capturing UI (RMF ReqIF ProR) Implementation of ReqIF Metamodel (RMF ReqIf Core) CDO   Database   www.pt-it.pt-dlr.de/_media/Infoblatt_IMES.pdf ©  itemis  2012  
  22. 22. RMF usersResearch project:• VERDE• IMES• Amalthea• Deploy• Advance• NextGenREVarious Interested Parties
  23. 23. Deploy  FP7 Research Program “to make major advances in engineering methods for dependable systems through the deployment of formal engineering methods”  Stewardship of Rodin “Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof”  More Information: http://www.deploy-project.eu/ http://www.event-b.org/ 25/27 Image: ddpavumba / FreeDigitalPhotos.net
  24. 24. ProR Rodin Integration Ein- und ausgehende Links Angezeigte Links Event-B Modell- FarblichesElement (einfügen Event-B Modell- per Drag&Drop) ElementBei Änderung von Quelle oder Ziel wird der Link als „zu überprüfen“ markiert Link mit Kommentar Ziel-Element des Links Vorauss. ab April unter www.event-b.org Background: http://www.freeppt.net/
  25. 25. Advance  FP7 Research Program “the development of a unified tool-based framework for automated formal verification and simulation-based validation of cyber-physical systems”  Stewardship of Rodin “Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof”  More Information: http://http://www.advance-ict.eu/ http://www.event-b.org/ 27/27 Image: ddpavumba / FreeDigitalPhotos.net
  26. 26. Sprechen Sie uns an! Mark Brörkens Michael Jastram Wolfgang George Kurt Ebert
  27. 27. Danke!Fragen...?
  1. A particular slide catching your eye?

    Clipping is a handy way to collect important slides you want to go back to later.

×