[HTML][HTML] A review of cyber security risk assessment methods for SCADA systems
This paper reviews the state of the art in cyber security risk assessment of Supervisory
Control and Data Acquisition (SCADA) systems. We select and in-detail examine twenty-four …
Control and Data Acquisition (SCADA) systems. We select and in-detail examine twenty-four …
Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools
E Ruijters, M Stoelinga - Computer science review, 2015 - Elsevier
Fault tree analysis (FTA) is a very prominent method to analyze the risks related to safety
and economically critical assets, like power plants, airplanes, data centers and web shops …
and economically critical assets, like power plants, airplanes, data centers and web shops …
[图书][B] Real-time systems: design principles for distributed embedded applications
H Kopetz, W Steiner - 2022 - books.google.com
" This book is a comprehensive text for the design of safety critical, hard real-time embedded
systems. It offers a splendid example for the balanced, integrated treatment of systems and …
systems. It offers a splendid example for the balanced, integrated treatment of systems and …
Model-based evaluation: from dependability to security
DM Nicol, WH Sanders… - IEEE Transactions on …, 2004 - ieeexplore.ieee.org
The development of techniques for quantitative, model-based evaluation of computer system
dependability has a long and rich history. A wide array of model-based evaluation …
dependability has a long and rich history. A wide array of model-based evaluation …
Model-based security metrics using adversary view security evaluation (advise)
System architects need quantitative security metrics to make informed trade-off decisions
involving system security. The security metrics need to provide insight on weak points in the …
involving system security. The security metrics need to provide insight on weak points in the …
A classification and review of timed Markov models of manufacturing systems
CT Papadopoulos, J Li, MEJ O'Kelly - Computers & Industrial Engineering, 2019 - Elsevier
Many problems in manufacturing systems can be formulated via Markov stochastic
modeling. This paper gives a review and classification of timed models of manufacturing …
modeling. This paper gives a review and classification of timed models of manufacturing …
Optimal state-space lumping in Markov chains
We prove that the optimal lumping quotient of a finite Markov chain can be constructed in O
(mlgn) time, where n is the number of states and m is the number of transitions. Our proof …
(mlgn) time, where n is the number of states and m is the number of transitions. Our proof …
Designing for Disasters.
Hewlett-Packard Laboratories, Palo Alto, CA and Duke University, Durham, NC {kimberly.
keeton, cipriano. santos, dirk. beyer, john. wilkes}@ hp. com, chase@ cs. duke. edu Losing …
keeton, cipriano. santos, dirk. beyer, john. wilkes}@ hp. com, chase@ cs. duke. edu Losing …
MoDeST: A compositional modeling formalism for hard and softly timed systems
H Bohnenkamp, PR d'Argenio… - IEEE Transactions …, 2006 - ieeexplore.ieee.org
This paper presents MODEST (modeling and description language for stochastic timed
systems), a formalism that is intended to support 1) the modular description of reactive …
systems), a formalism that is intended to support 1) the modular description of reactive …
[图书][B] Stochastic discrete event systems
A Zimmermann - 2007 - Springer
The behavior of many technical systems that are increasingly important in our every-day life
can be described by discrete states and state-changing events. Discrete event systems …
can be described by discrete states and state-changing events. Discrete event systems …