The next event from the ROS Medical Community will be Geoff Biggs, CTO of Open Source Robotics Foundation, presenting on Goal structured notation, which allows for building up a logical case for safety like a lawyer would in a lawsuit.
We’ll cover:
*what assurance cases are,
*what GSN is,
*and a practical example of how to use it to build an argument for something, using Vexev’s medical robot as a case study.
Geoff has a wealth of experience in formal methods for safety-critical systems and high-reliability software, so I’d encourage you to attend in-person to get your questions answered in the Q&A.
Use this video call to join the meeting, 1pm GMT Monday Aug 12. Join the mailing list for invites to future events.
See you there!
