• Aucun résultat trouvé

Probabilistic Event-B

Moving from Event-B to probabilistic Event-B

Moving from Event-B to probabilistic Event-B

... which probabilistic choices can be introduced as a refinement of any potential non-deterministic choice, be it between enabled events, parameter values or ...a probabilistic extension of ...

23

Moving from Event-B to Probabilistic Event-B

Moving from Event-B to Probabilistic Event-B

... the probabilistic Event-B set- ting, where all non-deterministic choices are refined into probabilistic ...convergent event is enabled, there is at least one convergent event for ...

29

About Probabilistic Event-B

About Probabilistic Event-B

... the Event-B [2] method that was proposed as an extension of the B method [3] to model parallel, distributed and reactive ...a probabilistic behaviour and are more appropriately modeled in a ...

34

Moving from Event-B to Probabilistic Event-B

Moving from Event-B to Probabilistic Event-B

... purely probabilistic systems: when probabilities are introduced in the model, they replace all non-deterministic ...fully probabilistic extension of Event-B where all non- deterministic ...

9

Reliability in Fully Probabilistic Event-B: How to Bound the Enabling of Events

Reliability in Fully Probabilistic Event-B: How to Bound the Enabling of Events

... of Event-B to allow the expression of probabilistic information in Event-B ...In Event-B, non-determinism occurs in several places such as the choice between en- abled ...

15

A Fully Probabilistic Extension of Event-B

A Fully Probabilistic Extension of Event-B

... the probabilistic LGS with F_CMD = 9 DTMC ...The event open leads to the state (d, o, r, 0) with a probability 1 2 = 10+8 10 × 10 9 , where 10+8 10 corresponds to the probability of choosing the ...

18

Une extension probabiliste pour Event-B

Une extension probabiliste pour Event-B

... from Event-B to Probabilistic Event-B" accepté à la conférence internationale SAC-SVT 2017 [1] nous présentons des travaux autour d’une extension probabiliste à ...

3

Introducing Probabilistic Reasoning within Event-B

Introducing Probabilistic Reasoning within Event-B

... the probabilistic setting is almost- certain convergence, which has already been studied in [29, 22] in the context of probabilistic programs and the standard B method, and in [23, 20] in the context ...

53

Model based system assessment: formalisation et évaluation  de systèmes autonomes en Event-B

Model based system assessment: formalisation et évaluation de systèmes autonomes en Event-B

... formelle Event-B. Le formalisme Event-B supporte une conception rigoureuse de ces ...méthode Event-B présente un intérêt dans la formalisation des relations entre couches qui ...

2

An Event-B Development Process for the Distributed BIP Framework

An Event-B Development Process for the Distributed BIP Framework

... the Event-B expression and predicate languages for which their exists a direct mapping to their BIP ...shared event and each component of which variables are referenced by this event, we ...

17

Explicit modelling of physical measures: from Event-B to Java

Explicit modelling of physical measures: from Event-B to Java

... If one of the three gears is not seen locked in the down position more than 10 seconds after stimulating the outgoing electro-valve, then the boolean output normal mode is set to false. and the corresponding ...

17

Domain Modeling with Event-B: An Experience with Transportation Domain

Domain Modeling with Event-B: An Experience with Transportation Domain

... large event in the sense that the latter is observed after a definite sequence of the former has been ...no event will be observed indefinitely, but they do not allow us to prove that the certain ...

17

An Event-B Development Process for the Distributed BIP Framework

An Event-B Development Process for the Distributed BIP Framework

... 1 Introduction In this paper, we are concerned with providing tool support to assist system design using a safe refinement-based process. The considered systems will be seen as a collection of interacting actors. The ...

18

Décomposition formelle des spécifications centralisées Event-B : application aux systèmes distribués BIP

Décomposition formelle des spécifications centralisées Event-B : application aux systèmes distribués BIP

... Introduction générale La sûreté des systèmes informatiques est aujourd’hui une obligation implicite. En effet, la plupart de nos activités s’articulent autour d’un ou plusieurs de ces systèmes. Ces activités nous ...

176

OntoEventB: A Generator of Event-B contexts from Ontologies

OntoEventB: A Generator of Event-B contexts from Ontologies

... on Event-B. It consists to annotate Event-B models using the ontology concepts, this assumes a formalization of the domain ontology in the Event-B ...an Event-B ...

3

Domain Engineering with Event-B: Some Lessons We Learned

Domain Engineering with Event-B: Some Lessons We Learned

... (waitT oM oveOnP ath| moveOnP ath)∗) We use two basic techniques for controlling the protocols. The first is the introduction of control sets. We used it for the decomposition of travel. The control variables are the set ...

11

Event-B Formalization of a Variability-Aware Component Model Patterns Framework

Event-B Formalization of a Variability-Aware Component Model Patterns Framework

... use Event-B as the support platform to define the notion of hierarchical ...This Event-B model is built incrementally through horizontal refinements which introduce components, ports and ...

22

Using Event-B to Verify the Kmelia Components and Their Assemblies

Using Event-B to Verify the Kmelia Components and Their Assemblies

... of Event-B is used to manage both the structuring of the generated Event-B models and also the proofs to be ...classical B to validate compo- nents assembly contracts has been ...

4

Co-simulation of Event-B and Ptolemy II Models via FMI

Co-simulation of Event-B and Ptolemy II Models via FMI

... an Event-B model consists of a static context, which contains constants and axioms, and a dynamic machine that comprises variables (sets, binary relations, functions, ...An event may contain parame- ...

10

FDIR architectures for autonomous spacecraft: specification and assessment with event-B

FDIR architectures for autonomous spacecraft: specification and assessment with event-B

... – implementation of this strategy by proposing a static and dynamic architec- ture: combining functional components with safety components for diagnosis and reconfiguration. One difficulty is often the lack of traceability ...

3

Show all 3110 documents...

Sujets connexes