A Case Study in the Formal Modeling of Safe and Secure Manufacturing Automation

Matthew Jablonski; Bo Yu; Gabriela Felicia Ciocarlie; Paulo Costa

doi:10.1109/MC.2021.3087519

A Case Study in the Formal Modeling of Safe and Secure Manufacturing Automation

Matthew Jablonski
, Bo Yu
, Gabriela Felicia Ciocarlie
, Paulo Costa

Department of Computer Science

George Mason University

Research output: Contribution to specialist publication › Article

4 Scopus citations

Abstract

This work describes a case study applying formal methods to assess safety and security risks in automated manufacturing systems (AMSs). We explore the strengths and suitability of various methods for identifying, prioritizing, and mitigating AMS risks.

Original language	English
Pages	59-71
Number of pages	13
Volume	54
No	9
Specialist publication	Computer
DOIs	https://doi.org/10.1109/MC.2021.3087519
State	Published - Sep 2021

Access to Document

10.1109/MC.2021.3087519

Cite this

@misc{8294df322cce48d4b854f25495131320,

title = "A Case Study in the Formal Modeling of Safe and Secure Manufacturing Automation",

abstract = "This work describes a case study applying formal methods to assess safety and security risks in automated manufacturing systems (AMSs). We explore the strengths and suitability of various methods for identifying, prioritizing, and mitigating AMS risks.",

author = "Matthew Jablonski and Bo Yu and Ciocarlie, \{Gabriela Felicia\} and Paulo Costa",

note = "Publisher Copyright: {\textcopyright} 1970-2012 IEEE.",

year = "2021",

month = sep,

doi = "10.1109/MC.2021.3087519",

language = "English",

volume = "54",

pages = "59--71",

}

TY - GEN

T1 - A Case Study in the Formal Modeling of Safe and Secure Manufacturing Automation

AU - Jablonski, Matthew

AU - Yu, Bo

AU - Ciocarlie, Gabriela Felicia

AU - Costa, Paulo

PY - 2021/9

Y1 - 2021/9

N2 - This work describes a case study applying formal methods to assess safety and security risks in automated manufacturing systems (AMSs). We explore the strengths and suitability of various methods for identifying, prioritizing, and mitigating AMS risks.

AB - This work describes a case study applying formal methods to assess safety and security risks in automated manufacturing systems (AMSs). We explore the strengths and suitability of various methods for identifying, prioritizing, and mitigating AMS risks.

UR - https://www.scopus.com/pages/publications/85113990149

UR - https://www.scopus.com/pages/publications/85113990149#tab=citedBy

U2 - 10.1109/MC.2021.3087519

DO - 10.1109/MC.2021.3087519

M3 - Article

AN - SCOPUS:85113990149

SN - 0018-9162

VL - 54

SP - 59

EP - 71

JO - Computer

JF - Computer

ER -

A Case Study in the Formal Modeling of Safe and Secure Manufacturing Automation

Abstract

Access to Document

Other files and links

Fingerprint

Cite this