Evolution of Formal Model-based Assurance Cases for Autonomous Robots

Mario Gleirscher; Simon David Foster; Yakoub Nemouchi

doi:10.1007/978-3-030-30446-1_5

Evolution of Formal Model-based Assurance Cases for Autonomous Robots

Mario Gleirscher, Simon David Foster, Yakoub Nemouchi

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

Original language	English
Title of host publication	Software Engineering and Formal Methods
Publisher	Springer
Pages	87-104
Number of pages	18
ISBN (Print)	9783030304454, 9783030304461
DOIs	https://doi.org/10.1007/978-3-030-30446-1_5
Publication status	Published - 9 Sept 2019
Event	Software Engineering and Formal Methods - Oslo, Norway Duration: 16 Sept 2019 → … Conference number: 17 http://sefm2019.inria.fr/

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	11724

Conference

Conference	Software Engineering and Formal Methods
Country/Territory	Norway
City	Oslo
Period	16/09/19 → …
Internet address	http://sefm2019.inria.fr/

Keywords

assurance case
formal verification
refinement
autonomous robot
integrated formal method
model-based engineering

Access to Document

10.1007/978-3-030-30446-1_5

paper_60Accepted author manuscript, 990 KBLicence: Other

CyPhyAssure: CyPhyAssure: Compositional Safety Assurance for Cyber-Physical Systems
Foster, S. D.
EPSRC
1/06/18 → 31/07/21
Project: Research project (funded) › Research

Evolution of Formal Model-based Assurance Cases for Autonomous Robots: Supplemental Material
Gleirscher, M. (Creator), Foster, S. D. (Creator) & Nemouchi, Y. (Creator), Zenodo, 19 Jul 2019
DOI: 10.5281/zenodo.3344489
Dataset

Cite this

@inbook{5b26219d860a48208b3218eebad08616,

title = "Evolution of Formal Model-based Assurance Cases for Autonomous Robots",

keywords = "assurance case, formal verification, refinement, autonomous robot, integrated formal method, model-based engineering",

author = "Mario Gleirscher and Foster, {Simon David} and Yakoub Nemouchi",

year = "2019",

month = sep,

day = "9",

doi = "10.1007/978-3-030-30446-1_5",

language = "English",

isbn = "9783030304454",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "87--104",

booktitle = "Software Engineering and Formal Methods",

address = "Germany",

note = "Software Engineering and Formal Methods ; Conference date: 16-09-2019",

url = "http://sefm2019.inria.fr/",

}

TY - CHAP

T1 - Evolution of Formal Model-based Assurance Cases for Autonomous Robots

AU - Gleirscher, Mario

AU - Foster, Simon David

AU - Nemouchi, Yakoub

N1 - Conference code: 17

PY - 2019/9/9

Y1 - 2019/9/9

KW - assurance case

KW - formal verification

KW - refinement

KW - autonomous robot

KW - integrated formal method

KW - model-based engineering

U2 - 10.1007/978-3-030-30446-1_5

DO - 10.1007/978-3-030-30446-1_5

M3 - Chapter (peer-reviewed)

SN - 9783030304454

SN - 9783030304461

T3 - Lecture Notes in Computer Science

SP - 87

EP - 104

BT - Software Engineering and Formal Methods

PB - Springer

T2 - Software Engineering and Formal Methods

Y2 - 16 September 2019

ER -

Evolution of Formal Model-based Assurance Cases for Autonomous Robots

Publication series

Conference

Keywords

Access to Document

Projects

CyPhyAssure: CyPhyAssure: Compositional Safety Assurance for Cyber-Physical Systems

Datasets

Evolution of Formal Model-based Assurance Cases for Autonomous Robots: Supplemental Material

Cite this