Matches in SemOpenAlex for { <https://semopenalex.org/work/W14550196> ?p ?o ?g. }
- W14550196 abstract "In the last few years computers have become a much larger part of our daily lives. Because of this it has also gotten more important for computer programs to be correct. Nobody would want the medical software in hospitals to be incorrect. If such software has to be patched or recalled because it is incorrectly working, it can cost a large amount of money to fix the flaws in the software. Using computer models and so called model checkers, it has become possible to verify if a computer model is working as intended or not. However due to the complexity or size of certain computer models it becomes hard to completely verify if a computer program does what it is supposed to do. Simulation can help in this case. In simulation we run a model several thousands of times and see whether or not certain failures occur. Statistical tests on the results can be done to see how often a failure occurs. A problem arises when the probability of a certain failure occurring is very low (a rare event). When rare events are present it could take a very large number of simulation runs before the rare event is even perceived. This is where importance sampling comes in. With importance sampling we increase the probability that a certain failure is triggered so we can reduce the number of simulation runs needed to make an accurate estimate. Afterwards the result is multiplied with a factor to account for the error we create when increasing the probability that a certain failure is triggered. Importance sampling can be applied on a wide number of models. Known techniques such as failure biasing are already applied on models like Discrete/Continuous Time Markov Chains. We have worked on techniques to apply importance sampling on a class of models called probabilistic timed automata (PTA). We used a number of different papers as our basis, however the semantics and definitions of PTA in these papers were not always clear to us. There were also a number of discrepancies between the papers. Due to these definition problems, we had to perform proper research into the true workings of these PTA during simulation in order to apply importance sampling on them. We found out that semantics and underlying probability distributions normally used for simulating PTA were not behaving as we would expect and that there were several different versions of PTA defined by different people. We supply updated definitions on the real semantics of PTA later on in this thesis. We also supply a number of alternative distributions for simulation of PTA. These alternative distributions behave more logically in our eyes than the distributions used for simulating PTA mentioned in the papers we researched. Another problem was the flexible behavior of timed automata which resulted in the fact that timed automata can cause a range of different kinds of rare events trough for examples very low probabilities on edges, small waiting times (delays), the flexible behavior of the model-checker Uppaal, via networks of PTA influencing other PTA and more. Each kind of rare event possibly requires a different approach in applying importance sampling. We limited ourselves during this master project to only the most important kinds of rare events; rare events caused by the distributions attached to locations and rare events caused by branching edges. We altered a specific importance sampling technique called failure biasing, in which the probabilities of certain edges towards (rare) locations are increased in Discrete/Continuous Time Markov Chain models, in order to apply importance sampling on PTA by performing a number of case studies. We also developed a technique called delay biasing in which we calculate the probability that a certain edge is taken by letting the model wait a specific amount of time, and increase said probability if necessary, also in order to apply importance sampling on a number of case studies. On the case studies we performed for both delay biasing and failure biasing we have seen some good results that show that importance sampling could be a viable alternative and an improvement to regular simulation. Unfortunately we have also seen results where the estimates were incorrect when wrongfully applying importance sampling. This showed that our developed failure biasing technique does not necessarily have to be correct. Both delay biasing and failure biasing were implemented in a Java program capable of simulating PTA, which we named MISS: Marco’s Importance Sampling Simulator for PTA. By using the MISS tool we can simulate PTA via regular Monte Carlo simulation and via importance sampling. Some restrictions do have to be made before the MISS tool can simulate a PTA. As input a specially prepared PTA is taken, created in Uppaal. The estimate of the probability to reach a failure location is given as output. We used the MISS tool to simulate a number of case studies." @default.
- W14550196 created "2016-06-24" @default.
- W14550196 creator A5037001194 @default.
- W14550196 date "2013-01-01" @default.
- W14550196 modified "2023-09-27" @default.
- W14550196 title "Importance sampling for probabilistic timed automata" @default.
- W14550196 cites W1489725951 @default.
- W14550196 cites W1496392897 @default.
- W14550196 cites W1513873506 @default.
- W14550196 cites W1516849933 @default.
- W14550196 cites W1544634046 @default.
- W14550196 cites W1560643704 @default.
- W14550196 cites W1600244027 @default.
- W14550196 cites W1606764134 @default.
- W14550196 cites W1631091010 @default.
- W14550196 cites W1788367161 @default.
- W14550196 cites W1962072139 @default.
- W14550196 cites W1972716520 @default.
- W14550196 cites W2009280542 @default.
- W14550196 cites W2019606417 @default.
- W14550196 cites W2028827800 @default.
- W14550196 cites W2040667028 @default.
- W14550196 cites W2072834565 @default.
- W14550196 cites W2087018957 @default.
- W14550196 cites W2095602520 @default.
- W14550196 cites W2101508170 @default.
- W14550196 cites W2115857453 @default.
- W14550196 cites W2124122503 @default.
- W14550196 cites W2126748297 @default.
- W14550196 cites W2131014075 @default.
- W14550196 cites W2134519345 @default.
- W14550196 cites W2140481308 @default.
- W14550196 cites W2146416787 @default.
- W14550196 cites W2156193040 @default.
- W14550196 cites W2156751710 @default.
- W14550196 cites W2162407085 @default.
- W14550196 cites W2163626018 @default.
- W14550196 cites W2164805857 @default.
- W14550196 cites W2164863330 @default.
- W14550196 cites W2485807166 @default.
- W14550196 cites W2913459036 @default.
- W14550196 cites W2914347447 @default.
- W14550196 hasPublicationYear "2013" @default.
- W14550196 type Work @default.
- W14550196 sameAs 14550196 @default.
- W14550196 citedByCount "1" @default.
- W14550196 countsByYear W145501962013 @default.
- W14550196 crossrefType "dissertation" @default.
- W14550196 hasAuthorship W14550196A5037001194 @default.
- W14550196 hasConcept C105795698 @default.
- W14550196 hasConcept C106131492 @default.
- W14550196 hasConcept C121332964 @default.
- W14550196 hasConcept C140779682 @default.
- W14550196 hasConcept C154945302 @default.
- W14550196 hasConcept C199360897 @default.
- W14550196 hasConcept C2777317252 @default.
- W14550196 hasConcept C2777904410 @default.
- W14550196 hasConcept C2779662365 @default.
- W14550196 hasConcept C31972630 @default.
- W14550196 hasConcept C33923547 @default.
- W14550196 hasConcept C36914074 @default.
- W14550196 hasConcept C38652104 @default.
- W14550196 hasConcept C41008148 @default.
- W14550196 hasConcept C49937458 @default.
- W14550196 hasConcept C62520636 @default.
- W14550196 hasConcept C80444323 @default.
- W14550196 hasConceptScore W14550196C105795698 @default.
- W14550196 hasConceptScore W14550196C106131492 @default.
- W14550196 hasConceptScore W14550196C121332964 @default.
- W14550196 hasConceptScore W14550196C140779682 @default.
- W14550196 hasConceptScore W14550196C154945302 @default.
- W14550196 hasConceptScore W14550196C199360897 @default.
- W14550196 hasConceptScore W14550196C2777317252 @default.
- W14550196 hasConceptScore W14550196C2777904410 @default.
- W14550196 hasConceptScore W14550196C2779662365 @default.
- W14550196 hasConceptScore W14550196C31972630 @default.
- W14550196 hasConceptScore W14550196C33923547 @default.
- W14550196 hasConceptScore W14550196C36914074 @default.
- W14550196 hasConceptScore W14550196C38652104 @default.
- W14550196 hasConceptScore W14550196C41008148 @default.
- W14550196 hasConceptScore W14550196C49937458 @default.
- W14550196 hasConceptScore W14550196C62520636 @default.
- W14550196 hasConceptScore W14550196C80444323 @default.
- W14550196 hasLocation W145501961 @default.
- W14550196 hasOpenAccess W14550196 @default.
- W14550196 hasPrimaryLocation W145501961 @default.
- W14550196 hasRelatedWork W1520115551 @default.
- W14550196 hasRelatedWork W166194254 @default.
- W14550196 hasRelatedWork W2011530223 @default.
- W14550196 hasRelatedWork W2062626145 @default.
- W14550196 hasRelatedWork W2081048906 @default.
- W14550196 hasRelatedWork W2117118050 @default.
- W14550196 hasRelatedWork W2128794615 @default.
- W14550196 hasRelatedWork W2158094078 @default.
- W14550196 hasRelatedWork W2158124716 @default.
- W14550196 hasRelatedWork W2284504531 @default.
- W14550196 hasRelatedWork W2296569826 @default.
- W14550196 hasRelatedWork W2553224272 @default.
- W14550196 hasRelatedWork W2803246896 @default.
- W14550196 hasRelatedWork W3015784007 @default.