![Page 1: Rover Use Case, Specification, design and … Source Tools for Embedded Systems Rover Use Case, Specification, design and implementation using Polarsys Tools: Capella, CDT, Gendoc,](https://reader031.vdocuments.mx/reader031/viewer/2022022006/5abe104a7f8b9aa15e8c5d14/html5/thumbnails/1.jpg)
Open Source Tools for Embedded Systems
Rover Use Case, Specification, design and
implementation using Polarsys Tools:
Capella, CDT, Gendoc, Papyrus and ReqCycle
![Page 2: Rover Use Case, Specification, design and … Source Tools for Embedded Systems Rover Use Case, Specification, design and implementation using Polarsys Tools: Capella, CDT, Gendoc,](https://reader031.vdocuments.mx/reader031/viewer/2022022006/5abe104a7f8b9aa15e8c5d14/html5/thumbnails/2.jpg)
What is the rover use case? • One Polarsys use case
– Demonstrate several Polarsys tools
– Show a system made with these tools
• The rover use case is a small tank
– travel around a room autonomously or under control
– return a map of the room.
2 ROVER Use Case - G. NADALIN – November2015
![Page 3: Rover Use Case, Specification, design and … Source Tools for Embedded Systems Rover Use Case, Specification, design and implementation using Polarsys Tools: Capella, CDT, Gendoc,](https://reader031.vdocuments.mx/reader031/viewer/2022022006/5abe104a7f8b9aa15e8c5d14/html5/thumbnails/3.jpg)
Objectives? • Show how, with Polarsys tools, a use case can be
implemented.
3
Stakeholder requirements Stakeholder
requirements Validation tests Validation tests
System functional verification
System functional verification
Component tests
Component tests
System Functional
requirements
System Functional
requirements
Detailed design Detailed design
Code Code
ROVER Use Case - G. NADALIN – November2015
![Page 4: Rover Use Case, Specification, design and … Source Tools for Embedded Systems Rover Use Case, Specification, design and implementation using Polarsys Tools: Capella, CDT, Gendoc,](https://reader031.vdocuments.mx/reader031/viewer/2022022006/5abe104a7f8b9aa15e8c5d14/html5/thumbnails/4.jpg)
Guideline
ROVER_FUNC_010
The Rover shall support various payloads
(sensors/camera/robotic arm) thanks to a pluggable software
architecture
4 ROVER Use Case - G. NADALIN – November2015
![Page 5: Rover Use Case, Specification, design and … Source Tools for Embedded Systems Rover Use Case, Specification, design and implementation using Polarsys Tools: Capella, CDT, Gendoc,](https://reader031.vdocuments.mx/reader031/viewer/2022022006/5abe104a7f8b9aa15e8c5d14/html5/thumbnails/5.jpg)
Stakeholder requirements Stakeholder
requirements Validation tests Validation tests
System functional verification
System functional verification
Component tests
Component tests
System Functional
requirements
System Functional
requirements
Detailed design Detailed design
Code Code
Stakeholder requirements
5 ROVER Use Case - G. NADALIN – November2015
![Page 6: Rover Use Case, Specification, design and … Source Tools for Embedded Systems Rover Use Case, Specification, design and implementation using Polarsys Tools: Capella, CDT, Gendoc,](https://reader031.vdocuments.mx/reader031/viewer/2022022006/5abe104a7f8b9aa15e8c5d14/html5/thumbnails/6.jpg)
ReqCycle Presentation
• Requirement management
– Datamodel definition
– Predicates to support filtering
– Advanced GUI customization
– Datasources import and update (with impact
analysis)
• Documents, ReqIF, EMF models, OSLC
– Requirements creation
6 ROVER Use Case - G. NADALIN – November2015
![Page 7: Rover Use Case, Specification, design and … Source Tools for Embedded Systems Rover Use Case, Specification, design and implementation using Polarsys Tools: Capella, CDT, Gendoc,](https://reader031.vdocuments.mx/reader031/viewer/2022022006/5abe104a7f8b9aa15e8c5d14/html5/thumbnails/7.jpg)
ReqCycle Presentation
• Traceability management
– Traceability link type definition
• Requirements to Models, Requirements to Requirements,
Models to Code, Code to tests, Models to Models …
– Traceability link creation
– Requirement traceability links export
– Traceability capture from existing sources
– Extended Traceability display (aggregated)
7 ROVER Use Case - G. NADALIN – November2015
![Page 8: Rover Use Case, Specification, design and … Source Tools for Embedded Systems Rover Use Case, Specification, design and implementation using Polarsys Tools: Capella, CDT, Gendoc,](https://reader031.vdocuments.mx/reader031/viewer/2022022006/5abe104a7f8b9aa15e8c5d14/html5/thumbnails/8.jpg)
ReqCycle Configuration • General:
– Definition of the requirement data model (id, text, further attributes and
scopes)
– Configuration of traceability link types
– Definition of filter and display styles
– Creation of rules to map requirement data from external sources
(documents, models...) to requirement data model.
• For the use case:
– Import of requirements from an Excel file
– Import of test requirements from a Word file
8 ROVER Use Case - G. NADALIN – November2015
![Page 9: Rover Use Case, Specification, design and … Source Tools for Embedded Systems Rover Use Case, Specification, design and implementation using Polarsys Tools: Capella, CDT, Gendoc,](https://reader031.vdocuments.mx/reader031/viewer/2022022006/5abe104a7f8b9aa15e8c5d14/html5/thumbnails/9.jpg)
Demo
9 ROVER Use Case - G. NADALIN – November2015
![Page 10: Rover Use Case, Specification, design and … Source Tools for Embedded Systems Rover Use Case, Specification, design and implementation using Polarsys Tools: Capella, CDT, Gendoc,](https://reader031.vdocuments.mx/reader031/viewer/2022022006/5abe104a7f8b9aa15e8c5d14/html5/thumbnails/10.jpg)
Stakeholder requirements Stakeholder
requirements Validation tests Validation tests
System functional verification
System functional verification
Component tests
Component tests
System Functional
requirements
System Functional
requirements
Detailed design Detailed design
Code Code
System Functional requirements
10 ROVER Use Case - G. NADALIN – November2015
![Page 11: Rover Use Case, Specification, design and … Source Tools for Embedded Systems Rover Use Case, Specification, design and implementation using Polarsys Tools: Capella, CDT, Gendoc,](https://reader031.vdocuments.mx/reader031/viewer/2022022006/5abe104a7f8b9aa15e8c5d14/html5/thumbnails/11.jpg)
Capella Presentation
• Model-based engineering solution
– Graphical modelling workench
– Methodological guidance
– Offer extension capabilities
11 ROVER Use Case - G. NADALIN – November2015
![Page 12: Rover Use Case, Specification, design and … Source Tools for Embedded Systems Rover Use Case, Specification, design and implementation using Polarsys Tools: Capella, CDT, Gendoc,](https://reader031.vdocuments.mx/reader031/viewer/2022022006/5abe104a7f8b9aa15e8c5d14/html5/thumbnails/12.jpg)
Demo
12 ROVER Use Case - G. NADALIN – November2015
![Page 13: Rover Use Case, Specification, design and … Source Tools for Embedded Systems Rover Use Case, Specification, design and implementation using Polarsys Tools: Capella, CDT, Gendoc,](https://reader031.vdocuments.mx/reader031/viewer/2022022006/5abe104a7f8b9aa15e8c5d14/html5/thumbnails/13.jpg)
Stakeholder requirements Stakeholder
requirements Validation tests Validation tests
System functional verification
System functional verification
Component tests
Component tests
System Functional
requirements
System Functional
requirements
Detailed design Detailed design
Code Code
Detailed design
13 ROVER Use Case - G. NADALIN – November2015
![Page 14: Rover Use Case, Specification, design and … Source Tools for Embedded Systems Rover Use Case, Specification, design and implementation using Polarsys Tools: Capella, CDT, Gendoc,](https://reader031.vdocuments.mx/reader031/viewer/2022022006/5abe104a7f8b9aa15e8c5d14/html5/thumbnails/14.jpg)
Papyrus Presentation
• UML and SysML modeler
– all UML and SysML diagrams
– high level of customization (CSS, property view,
palette)
– high level of extensibility (new diagrams)
14 ROVER Use Case - G. NADALIN – November2015
![Page 15: Rover Use Case, Specification, design and … Source Tools for Embedded Systems Rover Use Case, Specification, design and implementation using Polarsys Tools: Capella, CDT, Gendoc,](https://reader031.vdocuments.mx/reader031/viewer/2022022006/5abe104a7f8b9aa15e8c5d14/html5/thumbnails/15.jpg)
Demo
15 ROVER Use Case - G. NADALIN – November2015
![Page 16: Rover Use Case, Specification, design and … Source Tools for Embedded Systems Rover Use Case, Specification, design and implementation using Polarsys Tools: Capella, CDT, Gendoc,](https://reader031.vdocuments.mx/reader031/viewer/2022022006/5abe104a7f8b9aa15e8c5d14/html5/thumbnails/16.jpg)
Stakeholder requirements Stakeholder
requirements Validation tests Validation tests
System functional verification
System functional verification
Component tests
Component tests
System Functional
requirements
System Functional
requirements
Detailed design Detailed design
Code Code
Coding
16 ROVER Use Case - G. NADALIN – November2015
![Page 17: Rover Use Case, Specification, design and … Source Tools for Embedded Systems Rover Use Case, Specification, design and implementation using Polarsys Tools: Capella, CDT, Gendoc,](https://reader031.vdocuments.mx/reader031/viewer/2022022006/5abe104a7f8b9aa15e8c5d14/html5/thumbnails/17.jpg)
Demo
17 ROVER Use Case - G. NADALIN – November2015
![Page 18: Rover Use Case, Specification, design and … Source Tools for Embedded Systems Rover Use Case, Specification, design and implementation using Polarsys Tools: Capella, CDT, Gendoc,](https://reader031.vdocuments.mx/reader031/viewer/2022022006/5abe104a7f8b9aa15e8c5d14/html5/thumbnails/18.jpg)
Stakeholder requirements Stakeholder
requirements Validation tests Validation tests
System functional verification
System functional verification
Component tests
Component tests
System Functional
requirements
System Functional
requirements
Detailed design Detailed design
Code Code
Documentation generation
18 ROVER Use Case - G. NADALIN – November2015
![Page 19: Rover Use Case, Specification, design and … Source Tools for Embedded Systems Rover Use Case, Specification, design and implementation using Polarsys Tools: Capella, CDT, Gendoc,](https://reader031.vdocuments.mx/reader031/viewer/2022022006/5abe104a7f8b9aa15e8c5d14/html5/thumbnails/19.jpg)
Gendoc Presentation
• Document generation from EMF models
– generate Word and Open Office documents
– Compatible with Cappalla, Papyrus, Sirius, IBM
RSA, XMLs
– Template based approach
• Acceleo code
19 ROVER Use Case - G. NADALIN – November2015
![Page 20: Rover Use Case, Specification, design and … Source Tools for Embedded Systems Rover Use Case, Specification, design and implementation using Polarsys Tools: Capella, CDT, Gendoc,](https://reader031.vdocuments.mx/reader031/viewer/2022022006/5abe104a7f8b9aa15e8c5d14/html5/thumbnails/20.jpg)
Gendoc : configuration
• Definition of the documentation template
20 ROVER Use Case - G. NADALIN – November2015
![Page 21: Rover Use Case, Specification, design and … Source Tools for Embedded Systems Rover Use Case, Specification, design and implementation using Polarsys Tools: Capella, CDT, Gendoc,](https://reader031.vdocuments.mx/reader031/viewer/2022022006/5abe104a7f8b9aa15e8c5d14/html5/thumbnails/21.jpg)
Demo
21 ROVER Use Case - G. NADALIN – November2015
![Page 22: Rover Use Case, Specification, design and … Source Tools for Embedded Systems Rover Use Case, Specification, design and implementation using Polarsys Tools: Capella, CDT, Gendoc,](https://reader031.vdocuments.mx/reader031/viewer/2022022006/5abe104a7f8b9aa15e8c5d14/html5/thumbnails/22.jpg)
Stakeholder requirements Stakeholder
requirements Validation tests Validation tests
System functional verification
System functional verification
Component tests
Component tests
System Functional
requirements
System Functional
requirements
Detailed design Detailed design
Code Code
Specification update
22 ROVER Use Case - G. NADALIN – November2015
![Page 23: Rover Use Case, Specification, design and … Source Tools for Embedded Systems Rover Use Case, Specification, design and implementation using Polarsys Tools: Capella, CDT, Gendoc,](https://reader031.vdocuments.mx/reader031/viewer/2022022006/5abe104a7f8b9aa15e8c5d14/html5/thumbnails/23.jpg)
Demo
23 ROVER Use Case - G. NADALIN – November2015
![Page 24: Rover Use Case, Specification, design and … Source Tools for Embedded Systems Rover Use Case, Specification, design and implementation using Polarsys Tools: Capella, CDT, Gendoc,](https://reader031.vdocuments.mx/reader031/viewer/2022022006/5abe104a7f8b9aa15e8c5d14/html5/thumbnails/24.jpg)
Stakeholder requirements Stakeholder
requirements Validation tests Validation tests
System functional verification
System functional verification
Component tests
Component tests
System Functional
requirements
System Functional
requirements
Detailed design Detailed design
Code Code
Project overview
24 ROVER Use Case - G. NADALIN – November2015
![Page 25: Rover Use Case, Specification, design and … Source Tools for Embedded Systems Rover Use Case, Specification, design and implementation using Polarsys Tools: Capella, CDT, Gendoc,](https://reader031.vdocuments.mx/reader031/viewer/2022022006/5abe104a7f8b9aa15e8c5d14/html5/thumbnails/25.jpg)
Contacts • Capella:
– https://www.polarsys.org/capella/
– https://polarsys.org/forums/index.php/i/4/
• Papyrus: – http://eclipse.org/papyrus/
– http://www.eclipse.org/forums/index.php/f/121/
• Gendoc: – https://www.eclipse.org/gendoc/
• ReqCycle: – https://www.polarsys.org/projects/polarsys.reqcycle/
– https://polarsys.org/forums/index.php/f/7/
25 ROVER Use Case - G. NADALIN – November2015
![Page 26: Rover Use Case, Specification, design and … Source Tools for Embedded Systems Rover Use Case, Specification, design and implementation using Polarsys Tools: Capella, CDT, Gendoc,](https://reader031.vdocuments.mx/reader031/viewer/2022022006/5abe104a7f8b9aa15e8c5d14/html5/thumbnails/26.jpg)
26 ROVER Use Case - G. NADALIN – November 2015