Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective

Inna Vistbakka, Elena Troubitsyna, Amin Majd

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

3 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationProceedings of 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)
EditorsYu Dongjin, Vu Nguyen, Congfeng Jiang
PublisherIEEE
Pages58–65
ISBN (Print)9781538685402
DOIs
Publication statusPublished - 2019
MoE publication typeA4 Article in a conference publication
EventInternational Symposium on High Assurance Systems Engineering - 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)
Duration: 3 Jan 20195 Jan 2019

Conference

ConferenceInternational Symposium on High Assurance Systems Engineering
Period03/01/1905/01/19

Keywords

  • Autonomous systems
  • Event-B
  • Formal reasoning
  • Formal verification
  • Swarm of drones
  • formal modelling

Cite this