Skip to main content
Jump to: navigation, search

Difference between revisions of "Papyrus/customizations/robotics"

(User Guidance)
 
(4 intermediate revisions by 3 users not shown)
Line 11: Line 11:
 
== User Guidance ==
 
== User Guidance ==
  
* General Workflow
+
* [[Papyrus/customizations/robotics/workflow|General Workflow]]
 +
* [[Papyrus/customizations/robotics/robmosys|RobMoSys compliance]]
 
* [[Papyrus/customizations/robotics/servicedef|Service Definition]] - How to create a service definition
 
* [[Papyrus/customizations/robotics/servicedef|Service Definition]] - How to create a service definition
 
* [[Papyrus/customizations/robotics/compdef|Component Definition]] - How to create a component definition
 
* [[Papyrus/customizations/robotics/compdef|Component Definition]] - How to create a component definition
Line 18: Line 19:
  
 
* [[Papyrus/customizations/robotics/hara|Task-based HARA]] - Learn how to perform hazard analysis and risk assessment (HARA) of robotic behaviors.
 
* [[Papyrus/customizations/robotics/hara|Task-based HARA]] - Learn how to perform hazard analysis and risk assessment (HARA) of robotic behaviors.
* Safety Analysis
 
 
<!-- * [[Papyrus/customizations/robotics/fta|Fault tree analysis]] - tbd. -->
 
<!-- * [[Papyrus/customizations/robotics/fta|Fault tree analysis]] - tbd. -->
* [[Papyrus/customizations/robotics/eitus]] - Specification of fault injections
+
* [[Papyrus/customizations/robotics/eitus|Fault Injection]] - Specification of fault injections
* [[Papyrus/customizations/robotics/safecc]] - Specification of assertions and constraints
+
* [[Papyrus/customizations/robotics/safecc|Contracts and Assertions]] - How to specify assertions and constraints
  
 
* [[Papyrus/customizations/robotics/ros2|Code generation (for ROS2)]]
 
* [[Papyrus/customizations/robotics/ros2|Code generation (for ROS2)]]

Latest revision as of 07:49, 13 April 2021


Documentation

Introduction

User Guidance

Developer Guidance

Other Documentation

  • Publications
  • FAQ
  • Community -- RobMoSys wiki, Papyrus forum (please prefix a subject with [Robotics] or [Robotics, ROS2])
  • Bug reporting: use the Eclipse bugzilla to report it. In the following link, the product (Papyrus) and the the component (Robotics) are already selected File a Papyrus for Robotics bug. Use the same naming convention as for the forum, i.e. prefix with [Robotics] or [Robotics, ROS2] and check out whether the bug is eventually already existing (the browser proposes possible existing bugs as you type your bug title]. Please make also sure that the steps to reproduce the bug are clearly described, eventually add your model.

Back to the top