Sökning: onr:"swepub:oai:DiVA.org:su-219252" >
Safety & Security A...
-
Kang, Eun-YoungUniversity of Southern Denmark, Odense, Denmark
(författare)
Safety & Security Analysis of a Manufacturing System using Formal Verification and Attack-Simulation
- Artikel/kapitelEngelska2023
Förlag, utgivningsår, omfång ...
-
IEEE conference proceedings,2023
-
printrdacarrier
Nummerbeteckningar
-
LIBRIS-ID:oai:DiVA.org:su-219252
-
https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-219252URI
-
https://doi.org/10.1109/MECO58584.2023.10154960DOI
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:ref swepub-contenttype
-
Ämneskategori:kon swepub-publicationtype
Anmärkningar
-
Key to reliable manufacturing systems is ensuring the trustworthiness of the decision-making and control mechanisms that supplant human control, i.e., systems need to remain safe while being resilient against functional failures, unpredictable changes, and cyber-security threats. We present a correct-by-construction approach to identify and analyze essential requirements that ensure the safety and security of a manufacturing system using a combination of System Theoretic Process Analysis (STPA)-based verification and attack simulation. This approach utilizes formal modeling and analysis to remove ambiguities in the requirement and specify safety properties that should be satisfied in system design. Potential safety hazards are identified using STPA-based model checking and possible cyber-security threats are diagnosed through attack simulation. Additional safety and security constraints inhibiting the hazards and threats are generated to improve the system design accordingly. Our approach is demonstrated on an autonomous assembly line system case study.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Hacks, Simon,1988-Stockholms universitet,Institutionen för data- och systemvetenskap(Swepub:su)siha0922
(författare)
-
University of Southern Denmark, Odense, DenmarkInstitutionen för data- och systemvetenskap
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i:2023 12th Mediterranean Conference on Embedded Computing (MECO): IEEE conference proceedings, s. 1-89798350322910
Internetlänk
Hitta via bibliotek
Till lärosätets databas