Using Online Model Checking Technique for Survivability, Evaluating Different Scenarios on Runtime | Zendy

Mauricio Gómez | Zendy; Yong-Ho Kim | Zendy; James Goppert | Zendy; Eric T. Matson | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Using Online Model Checking Technique for Survivability, Evaluating Different Scenarios on Runtime

Author(s) -

Mauricio Gómez,

Yong-Ho Kim,

James Goppert,

Eric T. Matson

Publication year - 2016

Publication title -

procedia computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.334

H-Index - 76

ISSN - 1877-0509

DOI - 10.1016/j.procs.2016.08.062

Subject(s) - computer science , survivability , model checking , software , order (exchange) , rationality , robot , instinct , software engineering , distributed computing , artificial intelligence , theoretical computer science , programming language , computer network , finance , evolutionary biology , economics , biology , political science , law

Survivability or detecting and predicting failures for humans or animals is a matter of instinct. Unlike for robots, machines, or anything that bases its rationality in software, that assumption is not applicable, yet. In this paper we apply model checking techniques to avoid future complete malfunctioning. Scenarios where non existing states are evaluated in order to find solution to possible future problems. A model checker is used for online evaluation of all the states, including possible non-existing transitions and states.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research