[Discourse.ros.org] [ROS-Industrial] Using Safety Protocols with ROS

I'm not aware of any packages targeting specifically those extensions either.

Most applications I've seen (ROS 1) separate safety from the rest of the application (to make certification easier or feasible). In those cases, integrating with the protocols/extensions you mention is less of an issue.

[Discourse.ros.org] [ROS-Industrial] Using Safety Protocols with ROS

@gavanderhoorn - Maybe I asked the wrong question. You mentioned above you have seen some applications that separate safety from the rest of the ROS system, can you point me to an example you have seen? Maybe I am making this more complex than needed.

[Discourse.ros.org] [ROS-Industrial] Using Safety Protocols with ROS

Not sure this is relevant to the original discussion -- I've just noticed "safety" and "protocols" in the name of the topic. At [our company](https://www.imandra.ai/), we are working on tools and techniques for ensuring the safety and reliability of communication protocols by means of formal verification. So far we've been focusing on these types of problems in finance -- FinTech is essentially a distributed system of independent nodes communicating via messaging protocols. ROS looks like exactly the same kind of system, so we've also started a ROS-related project.

We are working on the creation of ROS-OCaml client -- if your code is written in a pure subset of OCaml, then it can be reasoned about using our Imandra proof assistant. Using Imandra, one can mathematically verify statements about your OCaml code, and it helps you to precisely formulate these formal statements by giving you counterexamples to your false claims. This allows you to create extremely reliable, precise and safe code and specification for it.

--> on slide 9 onwards (&quot;Safe software: Boundaries of the safety-related control system) you can see different the levels of the control system with a OS and middleware level as part of the &quot;sand box&quot; protected safety-related part and an underlying safety-related part.

--> on slide 13, Theo lists &quot;Possible conflicts between open source software and requirements for safe software&quot; where he concludes: Possibly only works for