Towards a model-based development approach for wireless sensor-actuator network protocols

A. Ajith Kumar S., Kent Inge Simonsen

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

Model-Driven Software Engineering (MDSE) is a promising approach for the development of applications, and has been well adopted in the embedded applications domain in recent years. Wireless Sensor Actuator Networks consisting of resource constrained hardware and platformspecific operating system is one application area where the advantages of MDSE can be exploited. Code-generation is an integral part of MDSE, and using a multi-platform code generator as a part of the approach has several advantages. Due to the automated code-generation, it is possible to obtain time reduction and prevent errors induced due to manual translations. With the use of formal semantics in the modeling approach, we can further ensure the correctness of the source model by means of verification. Also, with the use of network simulators and formal modeling tools, we obtain a verified and validated model to be used as a basis for code-generation. The aim is to build protocols with shorter design to implementation time and efforts, along with higher confidence in the protocol designed.
Original languageEnglish
Title of host publicationProceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems (CyPhy'14)
PublisherAssociation for Computing Machinery
Publication date2014
Pages35-39
ISBN (Electronic)978-1-4503-2871-5
DOIs
Publication statusPublished - 2014
Event4th Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy´14) - Andel's Hotel Berlin, Berlin, Germany
Duration: 14 Apr 2014 → …
Conference number: 4
http://www.cyphy.org/

Workshop

Workshop4th Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy´14)
Number4
LocationAndel's Hotel Berlin
CountryGermany
CityBerlin
Period14/04/2014 → …
OtherHeld in conjunction with CPSWeek 2014, April 14-17 2014
Internet address

Keywords

  • Model-Driven Software Engineering (MDSE)
  • Wireless Sensor-Actuator Networks (WSAN)
  • Code Generation
  • Validation
  • verification
  • Simulation
  • Embedded software

Cite this

Kumar S., A. A., & Simonsen, K. I. (2014). Towards a model-based development approach for wireless sensor-actuator network protocols. In Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems (CyPhy'14) (pp. 35-39). Association for Computing Machinery. https://doi.org/10.1145/2593458.2593465