• norsk
    • English
  • English 
    • norsk
    • English
  • Login
View Item 
  •   Home
  • Høgskulen på Vestlandet
  • Fakultet for ingeniør- og naturvitskap / Faculty of Engineering and Science
  • Institutt for datateknologi, elektroteknologi og realfag
  • View Item
  •   Home
  • Høgskulen på Vestlandet
  • Fakultet for ingeniør- og naturvitskap / Faculty of Engineering and Science
  • Institutt for datateknologi, elektroteknologi og realfag
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Model-based development for MAC protocols in industrial wireless sensor networks

Kumar Somappa, Admar Ajith; Simonsen, Kent Inge Fagerland
Peer reviewed, Journal article
Thumbnail
View/Open
paper14.pdf (1.929Mb)
URI
http://hdl.handle.net/11250/2482082
Date
2016
Metadata
Show full item record
Collections
  • Institutt for datateknologi, elektroteknologi og realfag [1275]
Original version
Kumar Somappa AA, Simonsen KIF. Model-based development for MAC protocols in industrial wireless sensor networks. CEUR Workshop Proceedings. 2016;1591:193-212  
Abstract
Model-Driven Software Engineering (MDSE) is an approach for design and implementation of software applications, that can be applied across multiple domains. The advantages include rapid prototyping and implementation, along with reduction in errors induced by humans in the process, via automation. Wireless Sensor Actuator Networks (WSANs) rely on resource-constrained hardware and have platform-specific implementations. Medium Access Control (MAC) protocols in particular are mainly responsible for radio communication, the biggest consumer of energy, and are also responsible for Quality of Service (QoS). The design and development of protocols for WSAN could benefit from the use of MDSE. In this article, we use Coloured Petri Nets (CPN) for platform independent modeling of protocols, initial verification, and simulation. The PetriCode tool is used to generate platform-specific implementations for multiple platforms, including MiXiM for simulation and TinyOS for deployment. Further the generated code is analyzed via network simulations and real-world deployment test. Through the process of MDSE-based code generation and analysis, the protocol design is validated, verified and analyzed. We use the GinMAC protocol as a running example to illustrate the design and development life cycle.
Description
-

Contact Us | Send Feedback

Privacy policy
DSpace software copyright © 2002-2019  DuraSpace

Service from  Unit
 

 

Browse

ArchiveCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsDocument TypesJournalsThis CollectionBy Issue DateAuthorsTitlesSubjectsDocument TypesJournals

My Account

Login

Statistics

View Usage Statistics

Contact Us | Send Feedback

Privacy policy
DSpace software copyright © 2002-2019  DuraSpace

Service from  Unit