Title | ||
---|---|---|
Using Online Model Checking Technique for Survivability, Evaluating Different Scenarios on Runtime. |
Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1016/j.procs.2016.08.062 | Procedia Computer Science |
Keywords | Field | DocType |
Model checking,System survivability,Online Verification | Survivability,Rationality,Model checking,Software engineering,Computer science,Theoretical computer science,Software,Artificial intelligence,Online evaluation,Robot,Machine learning,Online model | Conference |
Volume | ISSN | Citations |
94 | 1877-0509 | 1 |
PageRank | References | Authors |
0.40 | 0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mauricio Gomez | 1 | 5 | 3.19 |
Yongho Kim | 2 | 17 | 5.11 |
James Goppert | 3 | 7 | 1.91 |
Eric T. Matson | 4 | 276 | 42.52 |