This page contains my random notes for the CyPhyAssure project, and is intended to provide insight into the current state of my thinking.
One of the objectives of CyPhyAssure is to enable compositional modular assurance for autonomous robots. In order to decompose and apportion safety requirements to different subsystems or constituents, it is necessary to consider the architecture of the robot. In particular, we need to consider the paradigm of the underlying middleware in order to compose the execution semantics of the different components.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500 | Fax: 01904 325599