The document discusses the Eclipse RMF (Requirements Modeling Framework) and its integration with the ReqIF (Requirements Interchange Format) standards, developed for better requirements exchange particularly in the automotive industry. It outlines the historical development of RMF, its architecture, and planned roadmaps for future enhancements, including interoperability and academic collaborations. Key contributors to the project include various organizations and research initiatives focused on formal methods and traceability in software development.

1. Eclipse RMF
Requirements Modeling Framework
ReqIF in der Open Source
14.03.2012
Michael Jastram Mark Brökens
Formal Mind GmbH Itemis AG
Project Lead RMF Project Project Lead RMF Project
Bildquelle: Eclipse Foundation

2. ReqIF
und
RMF
heben
ab
Bildquelle: NASA

3. RMF-Team bei der Eclipse Foundation
Michael Jastram Mark Brökens
Project Lead Project Lead
Focus: GUI Focus: Core
Formal Mind itemis
Uni Düsseldorf
Bildquelle: nightskyinfo.com

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

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

7. RIF /
ReqIF

8. 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

9. ReqIF Top Level
9/27

10. ReqIF: ReqIF Content
Requirements and Specifications
Pool of Requirements „Specifications“ Linkage
„SpecObjects“ with hierarchy „SpecRelation“
10/27

11. ReqIF: ReqIF Content
SpecTypes
Attribute Definition for Requirements „SpecObjectType“
Attribute Definition for Linkage „SpecRelationType“
Attribute Definition for Specifications „SpecificationType“
11/27

12. ReqIF: ReqIF Content
Attributes
12/27

13. Eclipse RMF

14. 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

15. ReqIF
Standard
UI
EMF

16. 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

17. ProR Demo

18. 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

19. Activities that
complement
RMF

21. Verde: Requirements Traceability with
YAKINDU CReMa
Source+Code+
Requirements+ UML+ AUTOSAR+(Artop)+
ExisTng+Tools+ (ReqIF)+ +(Papyrus)+
Custom+
TracePoint'+ TracePoint' TracePoint' TracePoint'
TracePoint' Provider+ Provider+ Provider+ Provider+
Provider+ ReqIF+ UML+ Artop+ Source+
Framework+ Traceability+Framework+++User+Interface+
TracePoint+Source+ TracePoint+Target+ Meta0Data+
RIF://ID'238+ UML://GUID'FF'AD'3M+
Datastore+
RIF://ID'238+ TXT://impl.c/line'308+
UML:://GUID'0B'CD'DD+ TXT://impl.c/line'3qw+
©
itemis
2012

22. DSL-Support with XText
Bridging the gap
between
textual requirements
and models
22/27

23. Research Project IMES
History Offline Work
Multi 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

24. RMF users
Research project:
• VERDE
• IMES
• Amalthea
• Deploy
• Advance
• NextGenRE
Various Interested Parties

25. 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

26. ProR Rodin Integration
Ein- und
ausgehende Links
Angezeigte Links
Event-B Modell- Farbliches
Element (einfügen Event-B Modell-
per Drag&Drop) Element
Bei Ä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/

27. 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

28. Sprechen Sie uns an!
Mark Brörkens Michael Jastram
Wolfgang George Kurt Ebert

29. Danke!
Fragen...?