Systematic model-based safety assessment via probabilistic model checking

Systematic model-based safety assessment via probabilistic model checking

Made available in DSpace on 2014-06-12T15:59:55Z (GMT). No. of bitstreams: 2 arquivo5803_1.pdf: 2496332 bytes, checksum: b4666e127bf620dbcb7437f9d83c2344 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 === Faculdade de Amparo à Ciência e...

Full description

Bibliographic Details
Main Author:	GOMES, Adriano José Oliveira
Other Authors:	MOTA, Alexandre Cabral
Language:	English
Published:	Universidade Federal de Pernambuco 2014
Subjects:	Quantitative Safety Assessment Probabilistic Model-Checking Formal Methods Prism Markov Analysis Aircraft Systems
Online Access:	https://repositorio.ufpe.br/handle/123456789/2651

Similar Items

<italic>IoTRiskAnalyzer</italic>: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things
by: Mujahid Mohsin, et al.
Published: (2017-01-01)

Modeling Uncertainty of Directed Movement via Markov Chains
by: YIN Zhangcai, et al.
Published: (2015-10-01)

Approches formelles pour l'analyse de la performabilité des systèmes communicants mobiles : Applications aux réseaux de capteurs sans fil
by: Abo, Robert
Published: (2011)

Formal Analysis of Human-Assisted Smart City Emergency Services
by: Nazeeruddin Mohammad, et al.
Published: (2019-01-01)

Probabilistic and Hybrid Model Checking Deployments for Wireless Sensor Networks
by: Mohsin Memon, et al.
Published: (2012-01-01)

Model Checking Longitudinal Control in Vehicle Platoon Systems
by: Cong Peng, et al.
Published: (2019-01-01)

Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning
by: Yang Liu, et al.
Published: (2020-04-01)

Model Checking Optimal Infinite-Horizon Control for Probabilistic Gene Regulatory Networks
by: Lisong Wang, et al.
Published: (2018-01-01)

Threat Modelling and Beyond-Novel Approaches to Cyber Secure the Smart Energy System
by: Heribert Vallant, et al.
Published: (2021-06-01)

Model Checking-Based Performance Prediction for P4
by: Lukács, D., et al.
Published: (2022)

Quantitative Characterization of Reconfigurable Transistor Logic Gates
by: Michael Raitza, et al.
Published: (2020-01-01)

Counterexample Generation for Probabilistic Model Checking Micro-Scale Cyber-Physical Systems
by: Yang Liu, et al.
Published: (2021-08-01)

Development of a Probabilistic Safety Assessment Framework for an Interim Dry Storage Facility Subjected to an Aircraft Crash Using Best-Estimate Structural Analysis
by: Belal Almomani, et al.
Published: (2017-03-01)

Facilitating Automated Compliance Checking of Processes against Safety Standards
by: Castellanos Ardila, Julieth Patricia
Published: (2019)

Notes on Computational Uncertainties in Probabilistic Risk/Safety Assessment
by: Antoine Rauzy
Published: (2018-03-01)

Reliability data update using condition monitoring and prognostics in probabilistic safety assessment
by: Hyeonmin Kim, et al.
Published: (2015-03-01)

Sthread: In-Vivo Model Checking of Multithreaded Programs
by: Cooperman, G., et al.
Published: (2020)

Security Risk Analysis Approach for Safety-Critical Systems of Connected Vehicles
by: Feng Luo, et al.
Published: (2020-08-01)

Model Checking Processes Specified In Join-Calculus Algebra
by: Sławomir Piotr Maludziński, et al.
Published: (2014-01-01)

Equivalence and Minimization for Model Checking Labeled Markov Chains
by: Peter Buchholz, et al.
Published: (2016-12-01)

Study on Quantification Method Based on Monte Carlo Sampling for Multiunit Probabilistic Safety Assessment Models
by: Kyemin Oh, et al.
Published: (2017-06-01)

Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions
by: Igor Buzhinsky, et al.
Published: (2019-01-01)

Probabilistic Safety Assessment using Quantitative Analysis Techniques : Application in the Heavy Automotive Industry
by: Björkman, Peter
Published: (2011)

Evaluation of Epistemic Uncertainties in Probabilistic Risk Assessments : Philosophical Review of Epistemic Uncertainties in Probabilistic Risk Assessment Models Applied to Nuclear Power Plants - Fukushima Daiichi Accident as a Case Study
by: Rawandi, Omed A.
Published: (2020)

Dynamic Probabilistic Risk Assessment of Autonomous Vehicle Systems
by: Hejase, Mohammad
Published: (2019)

COMPUTATIONALLY EFFICIENT ASSESMENT OF FIGHTER AIRCRAFT MISSION SURVIVABILITY WITH PROBABILISTIC GRAPHICAL MODELS
by: Nazım Kemal Üre
Published: (2017-01-01)

Claim Consistency Checking Using Soft Logic
by: Nouf Bindris, et al.
Published: (2020-07-01)

Explainable Fact Checking by Combining Automated Rule Discovery with Probabilistic Answer Set Programming
Published: (2018)

Controlling information in probalistic systems
by: Lefaucheux, Engel
Published: (2018)

Probabilistic safety assessment of the radiotherapy treatment with a linear accelerator for medical use
by: Juan José Vilaragut Llanes, et al.
Published: (2010-07-01)

Safety Analysis of AADL Models for Grid Cyber-Physical Systems via Model Checking of Stochastic Games
by: Xiaomin Wei, et al.
Published: (2019-02-01)

Behavioral Model Equivalence Checking for Large Analog Mixed Signal Systems
by: Singh, Amandeep
Published: (2012)

Approximation and Refinement Techniques for Hard Model-checking Problems
by: Bobaru, Mihaela
Published: (2009)

Approximation and Refinement Techniques for Hard Model-checking Problems
by: Bobaru, Mihaela
Published: (2009)

Call Graph and Model Checking for Fine-Grained Android Malicious Behaviour Detection
by: Giacomo Iadarola, et al.
Published: (2020-11-01)

On the Coherence of Probabilistic Relational Formalisms
by: Glauber De Bona, et al.
Published: (2018-03-01)

Qualitative analysis of synchronizing probabilistic systems
by: Shirmohammadi, Mahsa
Published: (2014)

A Probabilistic Model for Optimal Bridge Inspection Interval
by: Mohammad Ilbeigi, et al.
Published: (2020-06-01)

Study of functional characteristics for safety system check valve using scaled model
by: D.E. Baluyev, et al.
Published: (2015-10-01)

Combining type checking with model checking for system verification
by: Ren, Zhiqiang
Published: (2018)

Cannot write session to /tmp/vufind_sessions/sess_vfa9vq0oc8vpdqak1s5djvbvsq