The UK Atomic Energy Authority’s centre for Remote Applications in Challenging Environments (RACE), in collaboration with RoboStar, is offering a studentship for a PhD researching Autonomous Robots for Gloveboxes. See here for more information and to apply.
Ana Cavalcanti appeared in a recent research video celebrating 60 years of research at the University of York and showcasing some of the current research. In the video, Ana talks about the vision for the research done in RoboStar.
The Albert (Autonomous Robotics Systems for Laboratory Experiments) CDT, with support from the RoboStar centre and the Organic Chemistry group at the University of York, is organising a special session of TAROS 2024. It will take place at Brunel University, on the 23rd of August.
We are welcoming expressions of interest from PhD students working in areas relevant for the Albert mission to give a presentation and, optionally, bring a poster.
Members of the RoboStar team have worked with Elsevier’s journal Robotics and Autonomous Systems to edit a special issue on Software Engineering for Robotics. We all welcome very much the support of the Editorial Team, and in particular of Maria Gini, the Editor in Chief, in recognising the importance of this topic in robotics. We are grateful to all authors of submitted and accepted papers. The 15 published papers provide an excellent snapshot of excellent research being carried out in the area.
RoboStar is recruiting a research associate to carry out research on model-based testing of robotic systems. For futher details and to apply, please see the job posting. The application deadline is 5th March 2024.
Jim Woodcock has been elected as a fellow of the Asia-Pacific Artificial Intelligence Association (AAIA). The citation was: For leadership in software engineering, using AI techniques in software and systems verification, and for sustained commitment to the Asia-Pacific region.
RoboStar and the Trustworthy Autonomous System Resilience Node are hiring a PhD student to start 2024/2025. See here for more information and to apply.
RoboStar is welcoming RAEng interns this Summer. To find out more and apply, see the RAEng advert. The deadline for applications is 8 February 2024, 4 pm GMT.
RoboStar was featured in a Royal Academy of Engineering GEEP (Graduate Engineering Engagement Programmme) event. On the 29th of January, 2024, Ana Cavalcanti met with a group of more than 60 students in a webinar session, where they discussed the RoboStar views for Software Engineering of AI-enabled systems. GEEP is an award-winning programmme run in partnership with employers to increase the transition of engineering graduates from diverse backgrounds into engineering employment.
A team from York including Arjun Badyal won the York/Oxford Safe UAV Hackathon. The Hackathon involved developing a safe return-to-home function for a UAV in a mine. The York team’s solution centered on the use of RoboSim to develop models of the robot and software for simulation, and using the models as part of their safety case.
Ana Cavalcanti presented an invited lecture to Huawei Grenoble on 25 October, 2023. The invitation came from the Huawei Fermat Lab, and the audience included colleagues online from China and Hong Kong. Ana presented RoboStar work on automatic test generation.
On the 15 of September, colleagues Sinem Getir Yaman, Ana Cavalcanti, Radu Calinescu, and Beverly Townsend, from the UKRI TAS Node on Resilience, will be holding a tutorial on “Social, Legal, Ethical, Empathetic and Cultural Requirements: from Elicitation to Verification” at the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023).
Gustavo Carvalho , a member of RoboStar Brazil, presented RoboWorld at a Brazilian national event: the 11th INES workshop. Present at the workshop, which took place on the 25th of August, 2023 in Recife, were researchers and professionals involved in INES, a Brazilian National Institute of Science and Technology for Software Engineering. The main goal of INES is to promote systematic software development with high productivity, and we are proud to have several RoboStar members participating of INES. The recording for the workshop is available online (talks in Portuguese).
Jim Woodcock is presenting in August the research vision and agenda of RoboStar to 15 departments at the University of Aarhus in a DIGIT meeting. DIGIT is a Danish centre for Digitalisation, Big Data, and Analytics. They will discuss how to bring together RoboStar and DIGIT technology.
Fang Yan presented a paper on “Automated Compositional Verification for Robotic State Machines using Isabelle/HOL” at the The 27th International Conference on Engineering of Complex Computer Systems (ICECCS’2023) in Toulouse, France.
On the 16th of June, Professor Ana Cavalcanti will be delivering an invited talk at the 27th International Conference on Engineering of Complex Computer Systems (ICECCS’2023) on “Testing Automation using RoboStar”.
On the 9th of June 2023, Matt Windsor will be delivering an invited talk on “RoboCert: A Formal Specification Notation for Robotic Software” at the University of Cambridge as part of the Logic and Semantics Seminars of the Computer Laboratory.
On the 5th and 6th June 2023, Pedro Ribeiro will be delivering invited talks at the Research Institute on the Foundations of Computer Science (IRIF), Paris Cité Universite, and the Laboratoire de Méthodes Formelles - Paris Saclay, on “Co-verification for robotics”.
On the 29th of May, Professor Ana Cavalcanti delivered a talk on “Architectural Modelling for Robotics: RoboArch” as part of the Robot and Software Architectures workshop co-located with the IEEE International Conference on Robotics and Automation (ICRA).
Professors Ana Cavalcanti and Jim Woodcock introduced YorRobots and RoboStar to international visitors from Malaysia, Indonesia, and China, as part of Dr. Pengcheng Liu’s leadership focal point of the British Council UK-Malaysia University Consortium.
On the 23rd of March 2023, Pedro Ribeiro will be delivering a talk on “Co-verification: from simulation to verification” as part of the UKRI Trustworthy Autonomous Systems Hub Verfiability Node talk series.
Professors Ana Cavalcanti and Jim Woodcock will be giving talks, on “Software Engineering for Robotics” and “Towards a Unifying Framework for Uncertainty in CPS”, respectively, at a colloquium to honor Prof. Jan Peleska’s contributions and achievements in applicable formal methods for safe industrial products. The event will take place on the 3rd of March 2023 at the University of Bremen.
The Chairs in Emerging Technologies annual event of the Royal Academy of Engineering is taking place 17:30-19:15 on the 27th of April 2023 at the University of York. There will be fascinating talks by a panel of experts, including Professor Ana Cavalcanti . The panel will consider the problems that AI can solve and explain the anticipated applications of this emerging technology. They will also question the problems that come with developing robots – for instance, can we trust them? The event is free of charge to attend in-person or online. Registration is available via the Royal of Academy event page.
On the 16th of December 2022 Ana Cavalcanti was the guest in 30th episode of the RobotTalk Podcast run by the UK-RAS Network. It is available for listening online as well as on other podcast platforms.
Gustavo Carvalho will talk about recent developments in RoboWorld at a seminar of the Grammatical Framework group. It is taking place on Friday the 11th of November, 13:00-14:30 UTC and can be joined on-line.
The paper “Probabilistic modelling and verification using RoboChart and PRISM”, published in the Journal of Software & Systems Modelling (SoSyM), was awarded a best paper award. Kangfeng Ye presented the paper at MODELS’22.
Colleagues Kangfeng Ye and Matt Windsor will be presenting their papers at ICFEM’2022 on the 26-27 October 2022 on “Formally Verified Animation for RoboChart using Interaction Trees”, and “RoboCert: Property Specification in Robotics”, respectively.
As part of the Verfiability Node series of talks, Thomas Wright delivered a talk on Verified Self-Adaptation of an Incubator Digital Twin and Matt Windsor talked about “RoboCert: Property Specification in Robotics”. These and other recorded talks can be found on the Verfiability Node’s YouTube channel.
On 11-12 October YorRobots and RoboStar will be hosting an Industry Exhibition, which will be held in person on the Heslington East campus. There will be talks and demonstrations by RoboStar colleagues and from YorRobots, The Institute for Safe Autonomy, Adelard, AgroIntelli, BAE, Bristol Robotics Lab, ClearSy, Chemspeed Technologies, Connected Places, LabMan, LDRA, DRis-Q, Dyson, RobotCenter, ShadowRobot, Thales and VSI. The programme can be found here and registration is here.
Ana Cavalcanti and Jim Woodcock led courses on Software Engineering for Robotics and Isabelle/HOL as part of the 18th International Summer School on Trustworthy Software organised by the School of Software Engineering of East China Normal University. RoboStar colleagues James Baxter , Gustavo Carvalho , Alvaro Miyazawa , Pedro Ribeiro and Matt Windsor delivered practicals and seminars.
Thinking about PhD study? We have an exciting opportunity for a fully funded studentship in Robotics commencing in October 2022. Find out more: https://bit.ly/3cAWFqf
1st-year PhD student Holly Hendry won the prize Most Promising Research Direction at a conference organised by Thales for their iCASE PhD students. Thales representatives were most impressed by the research objectives and how Holly had considered the impact of the research to Thales and industry. Royal Academy of Engineering Industry Fellow Dr Mark Chattington , from Thales, commented that “Holly’s performance was exceptional”.
On the 9th of May, Ana Cavalcanti will be leading a seminar on “How can we define operational requirements in robotics?” together with colleagues James Baxter and Gustavo Carvalho . Registration is open now. The event is organised by BCS London Central Branch and BCS North London branch.
On the 18th of March, Ana Cavalcanti will be delivering an invited talk at the International Women’s Day Celebration in Computer Science.
Ana Cavalcanti will be delivering an invited talk at the York & North Yorkshire LEP Skills Conference on “Software Engineering for Robotics in Industry 4.0”. The talk can be watched on YouTube.
A special issue of the Robotics and Autonomous Systems Journal (Elsevier) on Sofware Engineering for Robotics is now accepting submissions. The call for papers can be found here.
Ana Cavalcanti will be delivering an invited lecture at the International School on Formal Methods and Theoretical Informatics on “Formal methods in robotics”.
Ana Cavalcanti will be delivering an invited talk at the 19th International Conference on Software Engineering and Formal Methods on “RoboWorld: where can my robot work?”.
On the 1st of October 2021 Ana Cavalcanti gave an invited talk at the IROS2021 Workshop on Quality and Reliability Assessment of Robotic Software Architectures and Components on “Diagrammatic physical robot models in RoboSim”.
We are proud to welcome Dr Mark Chattington, from Thales, who joins us part-time until December, 2022, with funding from the Royal Academy of Engineering Industry Fellowship. His work is on the use of RoboStar technology to design and verify Robotics and Autonomous Systems (RAS) with humans in the loop. This is also a collaboration with Dr Cade McCall from the York Psychology Department.
Ana Cavalcanti , James Baxter , Alvaro Miyazawa , and Pedro Ribeiro delivered an invited tutorial on RoboChart at the 18th International Colloquium on Theoretical Aspects of Computing. Resources for RoboChart tutorial can be found here.
Ana Cavalcanti and Jim Woodcock will be delivering courses on RoboChart as part of the Summer School organised by Zhimming Liu at the School of Software, Northwest Polytechnical University, Xi’an, China. Ana’s course will focus on the core aspects of RoboChart and its formal process-algebraic semantics, while Jim’s course will focus on probabilistic RoboCharts. Colleagues James Baxter , Alvaro Miyazawa , and Pedro Ribeiro will demonstrate the use of RoboTool for modelling and verification of a case study.
RoboSoft book edited by Cavalcanti, A., Dongol, B., Hierons, R., Timmis, J., Woodcock, J. is now available from Springer. It presents techniques for robotics, related to model-based software engineering, product lines, mission specification, component-based development, simulation, testing, and verification.
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 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.
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.
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.
Alvaro Miyazawa and Pedro Ribeiro delivered a tutorial on RoboTool at the [CyPhyAssure Spring School](Alvaro Miyazawa , and Pedro Ribeiro ). Resources for the tutorial, as presented at the time, can be found here.
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.
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.
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.
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 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.