University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Concurrency Meeting: CSP in Practice: Timed Verification of Robot Software

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

Concurrency Meeting: CSP in Practice: Timed Verification of Robot Software

Download to your calendar using vCal

If you have a question about this talk, please contact nobody.

VSO2 - Verified software

This talk describes work done by myself and the RoboStar team in York to tackle the verification of timed properties of robotic control software.  We reduce the problem into one of concurrency reasoning, where Communicating Sequential Processes is the underlying formalism.  On top of CSP , we build domain-specific languages that present specifications and implementation models in a manner that is both approachable to robotics experts and suitable for use in other ways (simulation model extraction, code generation, other formalisms, etc.).  I discuss RoboChart, RoboStar’s DSL for software models, and RoboCert, a DSL I am working on to handle specifications.

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Cambridge University Engineering Department, LT6 Genetics Seminar Series Pure Mathematics Colloquium

Other talks

Beyond Hubble: Studying the Earliest Galaxies with the James Webb Space Telescope CSAR lecture: 46&: Development of a probiotic that supports the natural removal of forever chemicals from the body Teams Announced The rise of local cartography in Europe, 12th-14th century Early cancer clinical trials César Milstein Lecture - Title TBC
 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity