Finite synchronous automata

Thorelli, Lars-Erik

doi:10.1007/bf01940221

Cited by 1 publication

(2 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The work presented in this paper deal with the IoT component in which the synchronous automaton [6] is dissociated form its asynchronous execution machine that manages its Input/Output using strategies (see Fig. 1).…”

Section: Contextmentioning

confidence: 99%

See 1 more Smart Citation

IoT Efficient Design Using WComp Framework and Discrete Event Modeling and Simulation

Souhila¹,

Capocchi²,

Santucci³

et al. 2016

Advances in Intelligent Systems and Computing

View full text Add to dashboard Cite

International audienceComplex systems that increasingly involves devices such as sensors, smart-phone, interconnected objects and computers, results in what is called ambient systems. One of today’s challenges in the framework of ubiquitous computing concerns the design of ambient systems. The major difficulty is to propose a compositional adaptation of devices which appear/despair over time. WComp environment is a prototyping and dynamic execution environment for ambient intelligence applications including a management mechanism allowing extensible interference between devices. A new approach based on the definition of strategies validated using discrete-event simulation is proposed in order to take into account conflicts and compositional adaptation of devices in ambient systems. These are defined and validate using a DEVS (Discrete EVent system Specification) formalism to be integrated into a prototyping and dynamic execution environment for ambient intelligence applications. The proposed solution allows the designers of ambient systems to define the optimum matching of all components to each other. One pedagogical example is presented (switch-lamp system) as a proof of the proposed approach

show abstract

Section: Contextmentioning

confidence: 99%

“…The lines [3][4][5][6][7] in the first code block below alter the received event as follow: if the lamp state is "light_ON", it changes to "light_OFF". This implementation represents the push button switch behavior.…”

Section: The Wcomp Software For Iot Designmentioning

confidence: 99%