Q 1 Model-Based Testing applied to a Wireless Sensor Network Node Jan Tretmans Embedded Systems Institute, Eindhoven, NL and Radboud University, Nijmegen, NL Quasimodo with support from: Marcel Verhoef Chess Frits vd Wateren Chess Axel Belinfante University of Twente Feng Zhu Radboud University Julien Schmaltz Open University NL
62
Embed
Model-Based Testing - Aalborg Universitet · Model-Based Testing 3. Un-Timed Model-Based Testing with Labelled Transition Systems 4. Real-Time Model-Based Testing with Timed Automata
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Quasimodo1
Model-Based Testing
applied to a Wireless Sensor Network Node
Jan Tretmans
Embedded Systems Institute, Eindhoven, NL
and Radboud University, Nijmegen, NL
Quasimodo
with support from:Marcel Verhoef ChessFrits vd Wateren ChessAxel Belinfante University of TwenteFeng Zhu Radboud UniversityJulien Schmaltz Open University NL
Quasimodo2
Overview
1. The Challenge: A Wireless Sensor Network Node
2. Model-Based Testing
3. Un-Timed Model-Based Testing with Labelled Transition Systems
4. Real-Time Model-Based Testing with Timed Automata
5. Model-Based Testing Tools
6. Back to the Challenge: The Wireless Sensor Network Node
7. Demo
8. Concluding Remarks
Quasimodo3
The Challenge:
A Wireless Sensor Network Node
Quasimodo4
warehouses:sense &control
tracingproducts:
actievelabels
trains:seat
reservation
health care: on-body networks
Wireless Sensor Networks
Quasimodo5
Myrianed: a WSN with Gossiping
ant colonies
message exchange by gossiping:
local communication, global effect
inspired by biology: and also by girls:
cell interaction
Quasimodo6
• Communication inspiredon biology and human interaction
• Epidemic communication
• Analogy: spreading arumor or a virus
• MYRIANED “GOSSIP” protocol
• RF broadcast (2.4 Ghz ISM)
Myrianed: a WSN with Gossiping
Quasimodo7
• Communication inspiredon biology and human interaction
• Epidemic communication
• Analogy: spreading arumor or a virus
• MYRIANED “GOSSIP” protocol
• RF broadcast (2.4 Ghz ISM)
Myrianed: a WSN with Gossiping
Quasimodo8
• Communication inspiredon biology and human interaction
• Epidemic communication
• Analogy: spreading arumor or a virus
• MYRIANED “GOSSIP” protocol
• RF broadcast (2.4 Ghz ISM)
Myrianed: a WSN with Gossiping
Quasimodo9
• Communication inspiredon biology and human interaction
• Epidemic communication
• Analogy: spreading arumor or a virus
• MYRIANED “GOSSIP” protocol
• RF broadcast (2.4 Ghz ISM)
Myrianed: a WSN with Gossiping
Quasimodo10
• Communication inspiredon biology and human interaction
• Epidemic communication
• Analogy: spreading arumor or a virus
• MYRIANED “GOSSIP” protocol
• RF broadcast (2.4 Ghz ISM)
Myrianed: a WSN with Gossiping
Quasimodo11
• Communication inspiredon biology and human interaction
• Epidemic communication
• Analogy: spreading arumor or a virus
• MYRIANED “GOSSIP” protocol
• RF broadcast (2.4 Ghz ISM)
Myrianed: a WSN with Gossiping
Quasimodo12
• Communication inspiredon biology and human interaction
• Epidemic communication
• Analogy: spreading arumor or a virus
• MYRIANED “GOSSIP” protocol
• RF broadcast (2.4 Ghz ISM)
Myrianed: a WSN with Gossiping
Quasimodo13
• Communication inspiredon biology and human interaction
• Epidemic communication
• Analogy: spreading arumor or a virus
• MYRIANED “GOSSIP” protocol
• RF broadcast (2.4 Ghz ISM)
Myrianed: a WSN with Gossiping
Quasimodo14
• Communication inspiredon biology and human interaction
• Epidemic communication
• Analogy: spreading arumor or a virus
• MYRIANED “GOSSIP” protocol
• RF broadcast (2.4 Ghz ISM)
Myrianed: a WSN with Gossiping
Quasimodo15
• Communication inspiredon biology and human interaction