State machine model-based middleware for control and processing in industrial wireless sensor and actuator networks

2012 ◽  
Author(s):  
Jose Cecilio ◽  
Pedro Martins ◽  
Joao Costa ◽  
Pedro Furtado
Keyword(s):  
State Machine ◽  
Wireless Sensor ◽  
Machine Model ◽  
Model Based

User permission isolation model based on finite state machine

2013 ◽  
Vol 33 (1) ◽  
pp. 149-152
Author(s):  
Jianjun LI ◽  
Yixiang JIANG ◽  
Jie QIAN ◽  
Wei LI ◽  
Yu LI
Keyword(s):  
Finite State Machine ◽  
State Machine ◽  
Model Based ◽  
Finite State

scholarly journals A Model-Based Approach for Adaptable Middleware Evolution in WSN Platforms

2021 ◽  
Vol 10 (1) ◽  
pp. 20
Author(s):  
Walter Tiberti ◽  
Dajana Cassioli ◽  
Antinisca Di Marco ◽  
Luigi Pomante ◽  
Marco Santic
Keyword(s):  
Wireless Sensor Networks ◽  
Sensor Networks ◽  
Embedded System ◽  
Operating Systems ◽  
Parallel Evolution ◽  
Wireless Sensor ◽  
New Techniques ◽  
Model Based ◽  
And Performance ◽  
Hardware Platforms

Advances in technology call for a parallel evolution in the software. New techniques are needed to support this dynamism, to track and guide its evolution process. This applies especially in the field of embedded systems, and certainly in Wireless Sensor Networks (WSNs), where hardware platforms and software environments change very quickly. Commonly, operating systems play a key role in the development process of any application. The most used operating system in WSNs is TinyOS, currently at its TinyOS 2.1.2 version. The evolution from TinyOS 1.x and TinyOS 2.x made the applications developed on TinyOS 1.x obsolete. In other words, these applications are not compatible out-of-the-box with TinyOS 2.x and require a porting action. In this paper, we discuss on the porting of embedded system (i.e., Wireless Sensor Networks) applications in response to operating systems’ evolution. In particular, using a model-based approach, we report the porting we did of Agilla, a Mobile-Agent Middleware (MAMW) for WSNs, on TinyOS 2.x, which we refer to as Agilla 2. We also provide a comparative analysis about the characteristics of Agilla 2 versus Agilla. The proposed Agilla 2 is compatible with TinyOS 2.x, has full capabilities and provides new features, as shown by the maintainability and performance measurement presented in this paper. An additional valuable result is the architectural modeling of Agilla and Agilla 2, missing before, which extends its documentation and improves its maintainability.

Accelerated model-based robustness testing of state machine implementations

2013 ◽  
Vol 13 (3) ◽  
pp. 50-67 ◽  
Author(s):  
Patrick Heckeler ◽  
Hanno Eichelberger ◽  
Thomas Kropf ◽  
Jürgen Ruf ◽  
Stefan Huster ◽  
...  
Keyword(s):  
State Machine ◽  
Robustness Testing ◽  
Model Based
Sign in / Sign up

Export Citation Format

Share Document