1. Eclipse RMFRequirements Modeling FrameworkReqIF in der Open Source 14.03.2012Michael Jastram Mark Brkens Formal Mind GmbHItemis AGProject Lead RMF Project Project Lead RMF ProjectBildquelle: Eclipse Foundation

2. ReqIF undRMFheben ab Bildquelle: NASA 3. RMF-Team bei der Eclipse FoundationMichael JastramMark BrkensProject Lead Project LeadFocus: GUIFocus: CoreFormal Mind itemisUni Dsseldorf Bildquelle: nightskyinfo.com 4. www.itea-verde.org www.deploy-project.euCore 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. RIF /ReqIF 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. ReqIF Top Level9/27 9. ReqIF: ReqIF ContentRequirements and SpecificationsPool of Requirements Specifications LinkageSpecObjectswith hierarchy SpecRelation 10/27 10. ReqIF: ReqIF ContentSpecTypesAttribute Definition for Requirements SpecObjectTypeAttribute Definition for Linkage SpecRelationTypeAttribute Definition for Specifications SpecificationType11/27 11. ReqIF: ReqIF ContentAttributes 12/27 12. Eclipse RMF 13. RMF Architecture Requirements Capturing UI(RMF ReqIF ProR).reqif Implementation of ReqIF MetamodelExchange Persistence (RMF ReqIf Core) FormatEclipse Modeling Framework3rd Party Standard (OMG) Eclipse RMF Eclipse Platform 14. ReqIF Standard UI EMF 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 present16/27 16. ProR Demo 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. Activities that complement RMF 19. Verde: Requirements Traceability with YAKINDU CReMa Source+Code+Requirements+ UML+AUTOSAR+(Artop)+ExisTng+Tools+ (ReqIF)++(Papyrus)+Custom+TracePoint+ TracePointTracePointTracePointTracePointProvider+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. DSL-Support with XText Bridging the gap between textual requirements and models22/27 21. Research Project IMES History Offline WorkMulti UserBig 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. RMF usersResearch project:VERDEIMESAmaltheaDeployAdvanceNextGenREVarious Interested Parties 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. ProR Rodin Integration Ein- und ausgehende LinksAngezeigte LinksEvent-B Modell-FarblichesElement (einfgenEvent-B Modell- per Drag&Drop) ElementBei nderung von Quelle oder Ziel wird der Link als zu berprfen markiert Link mit KommentarZiel-Elementdes Links Vorauss. ab April unter www.event-b.orgBackground: http://www.freeppt.net/ 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. Sprechen Sie uns an! Mark BrrkensMichael Jastram Wolfgang George Kurt Ebert 27. Danke!Fragen...?