[PDF] Top 20 Statistical Model Checking for Product Lines
Has 10000 "Statistical Model Checking for Product Lines" found on our website. Below are the top 20 most common "Statistical Model Checking for Product Lines".
Statistical Model Checking for Product Lines
... an product line model are inferred from statistical analyses of its historical ...except for Engine(g), Battery (a) and Dynamo (o), which can be uninstalled with a lower rate to penalise their ... Voir le document complet
20
Rare event simulation for statistical model checking
... our model checking technology into their own ...MATLAB8. Model checking modes PLASMA-lab oers three basic modes of model checking: simple Monte Carlo, Monte Carlo using a ... Voir le document complet
168
Statistical model checking for parameterized models
... technique for statistical model checking of parametric Markov ...interval for the estimation. Compared to exact model-checking techniques, the technique we propose here ... Voir le document complet
17
An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking
... Earlier work [21,10] extended the original applications of importance split- ting to more general problems of computational systems. In [13] we proposed the use of importance splitting for statistical ... Voir le document complet
18
Statistical Model Checking for SystemC Models
... processes, for which Probabilistic Model Checking (PMC) tools such as PRISM [10] and MRMC [13] can be ...formal model of SystemC model needs to be ...cal Model Checking ... Voir le document complet
9
A model-driven traceability framework for software product lines
... support for a real devel- opment ...mixing model-driven and aspect-oriented engineering ...that model and specify the development artefacts as a series of model transforma- tions to produce ... Voir le document complet
25
Symbolic Model Checking of Software Product Lines
... technique for CTL that is based on an ex- haustive enumeration of the set of products (although they limit themselves to couples of ...a product- enumerative approach is exactly what our algorithms intend ... Voir le document complet
11
A Platform for High Performance Statistical Model Checking – PLASMA
... Abstract. Statistical model checking offers the potential to decide and quantify dynamical properties of models with intractably large state space, opening up the possibility to verify the ... Voir le document complet
7
A Logic for the Statistical Model Checking of Dynamic Software Architectures
... of statistical model checking (SMC) to support the formal verification of architectural properties in dynamic ...executable model for the system, in which the choice of the next action ... Voir le document complet
17
Leveraging model-based product lines for systems engineering
... automations for exploring a variation ...85000 lines of ...on statistical data collected and qualitative reviews of synthesized Java ...our model-based ap- proach for combining ... Voir le document complet
134
Importance Splitting for Statistical Model Checking Rare Properties
... Abstract Statistical model checking avoids the intractable growth of states associated with probabilistic model checking by estimating the probability of a property from ...challenge ... Voir le document complet
17
Rare Events for Statistical Model Checking: An Overview
... platform for statistical ...techniques for rare events simulation, distributed SMC, non-determinism, and ...stochastic model simulator, property checker (monitoring) and SMC ... Voir le document complet
15
Command-based importance sampling for statistical model checking
... Symbolic model checking using efficient data structures can make certain very large models tractable ...solved for all systems, simulation-based approaches are becoming increasingly tractable due to ... Voir le document complet
41
Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking
... a model described in terms of guarded ...optimised for compactness rather than consideration of importance ...the model that produce better importance sampling ... Voir le document complet
17
Towards statistical prioritization for software product lines testing
... Thirdly, Claroline has a fine grained access control system. In its basic setup, it comes with three user roles: Administra- tor, Teacher and User. According to its role, a user may or may not perform different actions ... Voir le document complet
9
Statistical Model Checking for Stochastic Hybrid Systems
... the model, ...modelling for- malism of U PPAAL - SMC , where clock rates may depend not only on values of discrete variables but also on the value of other clocks, effectively amounting to ordinary ... Voir le document complet
16
Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems
... pthread mutex unlock(&fork[this]); break; default: fatal error(‘‘incorrect philosopher state’’); }}} Figure 2: C code snippet of the main loop in the Dining Philosophers For space reasons, we show in Figure 2 ... Voir le document complet
16
Handling Regulatory Goal Model Families as Software Product Lines
... any model generator, so we relied on domain expert observations to design and implement a generator of random reg- ulatory ...GRL model was not relevant to our study, as the complexity in annotations is due ... Voir le document complet
16
Generating Counterexamples of Model-based Software Product Lines
... variability model. Second, the derived product models 1 have to be conformant to nu- merous well-formedness and business rules expressed in the modeling language ...ability model and allow a “valid” ... Voir le document complet
18
Statistical model checking QoS properties of systems with SBIP
... come for B i , denoted b i , is 1 if the i th simulation satisfies φ and 0 ...using Statistical Model Checking The main approaches [45, 38] proposed to answer the qual- itative question are ... Voir le document complet
15
Sujets connexes