There are two funded PhD positions available in our group for work on: (EPSRC iCASE) “Human-Robot Interaction: modelling and verification”, and “Building Trustworthy Physics Engines for Robotic Simulations”. Further details, including eligibility criteria and application instructions can be found by following the links above.
On the 18th of May 2021 Ana Cavalcanti will be giving an invited talk at the workshop on Verification of Autonomous & Robotic Systems (VARS) as part of the CPS-IoT Week 2021.
On the 28th of January 2021 Ana Cavalcanti will be giving a seminar on Software Engineering for Robotics as part of the UKRI TAS Verifiability Node talks. You can participate via Teams.
On the 13th of January 2021 Ana Cavalcanti will be giving a seminar on Software Engineering for Robotics as part of the women+@DCS group at The Department of Computer Science, University of Sheffield. women+@DCS is a group that supports activities for promoting greater inclusion and visibility in computer science teaching, research and academic leadership.
On the 11th of November 2020 Rob Hierons gave a talk as part of the UKRI TAS Verifiability Node talks. You can rewatch this and other talks through the Verifiability events page.
The RoboStar team is involved in two projects that will improve the state of the art on the resilience and verification of autonomous systems to improve the trustworthiness of their decisions and actions. Each project has been awarded £3M from the UKRI Trustworthy Autonomous Systems (TAS) programme.
On the 29th of October 2020 Jim Woodcock gave a talk as part of the UKRI TAS Verifiability Node series. You can rewatch it on YouTube.
RoboTool is being used by colleagues at the University of Agder to model an HVC (High Voltage Controller) from an industrial painting robot, and to analyse safety-critical properties of the controller.
RoboStar was awarded funding from the Royal Academy of Engineering to collaborate with Simomics for a period of three years. The goal of the collaboration is to explore opportunities to combine the RoboStar technology and the Simomics tools to support auditing and evolution of RoboChart and RoboSim models. The RoboStar team is excited about this opportunity that has the potential to reveal commercialisation paths for their research.
As part of the 2020 edition of YorkTalks, Ana Cavalcanti delivered a inspirational short talk on software engineering for robotics. “From computer says no to robot says yes: engineering a positive future for robotics” can be watched on-line.
The two-day event on Software Engineering for Robotics was well received by attendees at the Royal Academy of Engineering in London. It featured 15 talks by academics and industry representatives, as well as robotics demonstrations, and a panel discussion on ethics and regulation.
The paper “RoboChart: modelling and verification of the functional behaviour of robotic applications”, published in the Journal of Software & Systems Modelling (SoSyM), was awarded a best paper award. Alvaro Miyazawa presented the paper at MODELS’19 in Munich.
The RoboStar team is collaborating with the Royal Academy of Engineering to organise a two-day event in November on Software Engineering for Robotics. Details can be found on the RoboSoft page and on the RAEng event page.
In March 2019 the University of York hosted the first CyPhyAssure Spring School on computer-assisted assurance, organised by Simon Foster and Mario Gleirscher. Invited lectures covered topics such as autonomy, robotics, verification, testing, formal methods, and the future of assurance.
The first event of YorRobots, which will take place on the 11th of January 2019, aims to bring together the researchers in York who would like to get involved in this community, so that they can meet each other and plan, together, the future of YorRobots and York’s presence in the UK-RAS Network.
Ana Cavalcanti delivered a keynote on RoboCalc during iFM 2018.
On 14 August ESC’s Ron Bell OBE (Director) and Dr Fan Ye (Principal Consultant) made a contribution to a research project titled “RoboTest” being undertaken at the Computer Science Department at the University of York in collaboration with the Department of Electronic Engineering, the University of Sheffield, and the University of Surrey.
On 13th of April the RoboCalc team will be attending the Advisory Board meeting of the closely related research project RoboTest at Brunel University London.
Ana Cavalcanti is taking up a Royal Academy of Engineering Chair on Emerging Technologies to pursue the long-term vision of RoboCalc.
Jim Woodcock has been awarded a Royal Society grant to collaborate with Zhimming Liu from Southwest University, China, on “Requirements Modelling for Cyber-Physical Systems”.
On the 16th of May the RoboCalc team will be participating in the Pint of Science festival at York with the talk “RoboScience: can using robots add up to a safer world?”. Doors open at 7pm. Tickets are available now.
On the 1st of December Ana Cavalcanti delivered a keynote on RoboCalc as part of the 20th Brazilian Symposium on Formal Methods (SBMF) in Recife, Brazil. The abstract is available on-line.
Over the course of 2 weeks, Ana Cavalcanti delivered a module on RoboChart at UFPE, including practical sessions on the use of RoboTool/FDR for modelling and analysis. Students are now using RoboTool to support modelling and analysis of robotic systems as part of their degree projects.
RoboCalc was presented to a group of experts from the Federal University of Pernambuco (UFPE) in Brazil and the Center for Advanced Studies and Systems Cesar. UFPE has the largest research group on software reliability in Brazil. Cesar is a business incubator and innovation centre, the largest component of Porto Digital in Recife (where UFPE is located). We are discussing close collaboration with UFPE and Cesar on topics related to RoboCalc.
RoboCalc was showcased at a recent EPSRC review of Robotics and AI funded research. All currently EPSRC funded projects presented their work to an international panel, addressing issues such as potential impact of the work, collaboration with industry and fundametal academic questions that underpin the research.
On the 7th of November 2016 Wei Li presented the poster From Formalised State Machines to Implementations of Robotic Controllers at the 13th International Symposium on Distributed Autonomous Robotic Systems (DARS 2016), which was held at the Natural History Museum in London, UK.
On the 29th of September Ana Cavalcanti presented RoboCalc to the Formal Aspects of Computing Science Specialist Group (FACS), the British Computer Society (BCS) Specialist Group for practitioners in Formal Aspects of Computing Science.
Our paper From Formalised State Machines to Automatic Implementations of Robotic Controllers has been accepted for the 13th International Symposium on Distributed Autonomous Robotic Systems (DARS 2016), which will take place from 6 to 9 November 2016 at the Natural History Museum in London, UK.
On the 21st of March 2016 Alvaro Miyazawa presented the RoboCalc poster at the Intelligent Robotic and Autonomous Systems Conference (IRAS 2016) which was held at Lancaster University, UK.
On the 1-4 December 2015 the School on Verification of Mobile and Autonomous Robots and Workshop was held at the Department of Computer Science.
On Monday the 30th of November 2015, the kick-off meeting with our Advisory Board was held at the Department of Computer Science.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
