Abstract State Machine
An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol
... each state transformation as a (typically small) collection of local updates rather than as a single large global ...an abstract cache protocol; it remains to be seen whether our approach can handle the ...
25
Hierarchical Timed Symbolic Abstract State Machines for precise WCET estimation
... philippe.baufreton@sagem.com Abstract—The Abstract State Machines have been around for a while, earning their place in the embedded system ...concrete abstract state machine ...
3
State machine flattening, a mapping study and tools assessment
... INRIA Rennes, Bretagne Atlantique, France March 24, 2014 Abstract State machine formalisms equipped with hierarchy and parallelism allow to compactly model complex system behaviours. Such models can ...
14
Verification of AADL Models with Timed Abstract State Machines
... (timed abstract state machine); model transformation; formal verification ᑓ ⊯ ᑨ ⫼ Ѣ 㟾 ぎ ǃ 㟾 ǃ ℺ ఼ 㺙 ǃ Ḍ 㛑 ǃ ≑ 䔺 ࠊ ㄝ ݇ 䬂 ֵ ᙃ 乚 ඳ ⱘ ᴖ ጠ ܹ ᓣ ᅲ ᯊ ㋏ 㒳 㹿 ⿄ Ў ᅝ ܼ ᬌ ݇ ᅲ ᯊ ㋏ 㒳 (safety-critical ...
23
Verification of AADL Models with Timed Abstract State Machines
... (timed abstract state machine); model transformation; formal verification ᑓ ⊯ ᑨ ⫼ Ѣ 㟾 ぎ ǃ 㟾 ǃ ℺ ఼ 㺙 ǃ Ḍ 㛑 ǃ ≑ 䔺 ࠊ ㄝ ݇ 䬂 ֵ ᙃ 乚 ඳ ⱘ ᴖ ጠ ܹ ᓣ ᅲ ᯊ ㋏ 㒳 㹿 ⿄ Ў ᅝ ܼ ᬌ ݇ ᅲ ᯊ ㋏ 㒳 (safety-critical ...
22
Live Modeling in the Context of State Machine Models and Code Generation
... Note that the offered replay mechanism is mainly useful during debugging, specifically step-wise debugging, where a bug in a specific part of the model needs to be localized and fixed. In this situation, the replay ...
45
The State of the Art in Integrating Machine Learning into Visual Analytics
... 2.3. Machine Learning Models and Frameworks There is not as much work in machine learning models and ...numerous machine learning applications) to the early stages ...
30
The chemical abstract machine
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
18
Graph Aggregation (Extended Abstract)
... so-called abstract argumentation framework, arguments are taken to be vertices in a graph and attacks between arguments are modelled as directed edges between them ...several abstract argumentation frame- ...
5
Structures for abstract rewriting
... In abstract rewriting, also called abstract reduction systems, a considerable amount of theory has been developed covering these basic topics (Church- Rosser’s result, Newman’s lemma, ...in abstract ...
82
Biocybernetic Adaptation Strategies: Machine awareness of human state for improved operational performance
... nitive state to steer a functional aspect of a system that is external to the operator’s physiology from which the state assessment is ...towards machine awareness of human state for ...
11
A probabilistic and timed verification approach of SysML state machine diagram
... samir.ouchani@uni.lu Abstract—Timed-constrained and probabilistic verification approaches gain a great importance in system behavior valida- ...of State Machine diagrams extended with time and ...
9
Extended Finite State Machine based test generation for an OpenFlow switch
... FSM. Abstract: Implementations of an OpenFlow (OF) switch, a crucial Software Defined Networking (SDN) component, are prone to errors caused by developer mistakes or/and ambiguous requirements stated in the OF ...
12
Abstract numeration systems
... An abstract numeration system (ANS) is a triple S = (L, Σ, <) where L is an in nite regular language over a totally ordered alphabet (Σ, <) . By enumerating the words of L w.r.t. the radix order < rad ...
54
Abstract numeration systems
... Theorem Let ℓ be a positive integer. For the abstract numeration system S = (a ∗ 1 . . . a ∗ ℓ , {a 1 < . . . < a ℓ }), multiplication by λ > 1 preserves S-recognizability if and only if one of the ...
39
Blockchain Abstract Data Type
... France Abstract—The presented work continues the line of recent distributed computing community efforts dedicated to the theo- retical aspects of ...of abstract data types all together with a hierarchy of ...
12
Blockchain Abstract Data Type
... (secure state). Theorem 1 [12] states that the secure state is reachable with high probability if the computational power owned by the adversary, α A , is less than ...
31
The abstract MAC layer
... 2.3 Implementing an Abstract MAC Layer It is beyond the scope of this paper to offer a detailed implementation of an abstract MAC layer automaton. Here we discuss, only informally, some basic ideas for ...
16
The Abstract MAC Layer
... an Abstract MAC ...of abstract delay functions applied to the relevant ...the Abstract MAC Layer over basic radio net- work models generate concrete definitions for these delay functions, ...
28
The Abstract MAC Layer
... is no collision detection (i.e., a collision cannot be distinguished from silence), and that a message from a sender i is correctly received by a neighbor j in a particular time slot if and only if i is the only neighbor ...
29