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

A. Ajith Kumar S.; Kent Inge Simonsen

doi:10.1145/2593458.2593465

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

A. Ajith Kumar S., Kent Inge Simonsen

Department of Applied Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-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 language	English
Title of host publication	Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems (CyPhy'14)
Publisher	Association for Computing Machinery
Publication date	2014
Pages	35-39
ISBN (Electronic)	978-1-4503-2871-5
DOIs	https://doi.org/10.1145/2593458.2593465
Publication status	Published - 2014
Event	4th 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

Workshop	4th Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy´14)
Number	4
Location	Andel's Hotel Berlin
Country/Territory	Germany
City	Berlin
Period	14/04/2014 → …
Other	Held in conjunction with CPSWeek 2014, April 14-17 2014
Internet address	http://www.cyphy.org/

Keywords

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

Access to Document

10.1145/2593458.2593465

OpenUrl availability

Full text

Cite this

@inproceedings{396ed1c4118447439736ca1fcac2d1ac,

title = "Towards a model-based development approach for wireless sensor-actuator network protocols",

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.",

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

author = "{Kumar S.}, {A. Ajith} and Simonsen, {Kent Inge}",

year = "2014",

doi = "10.1145/2593458.2593465",

language = "English",

pages = "35--39",

booktitle = "Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems (CyPhy'14)",

publisher = "Association for Computing Machinery",

address = "United States",

note = "4th Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy´14), CyPhy'14 ; Conference date: 14-04-2014",

url = "http://www.cyphy.org/",

}

Kumar S., AA & Simonsen, KI 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). Association for Computing Machinery, pp. 35-39, 4th Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy´14), Berlin, Germany, 14/04/2014. https://doi.org/10.1145/2593458.2593465

Towards a model-based development approach for wireless sensor-actuator network protocols. / Kumar S., A. Ajith; Simonsen, Kent Inge.
Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems (CyPhy'14). Association for Computing Machinery, 2014. p. 35-39.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

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

AU - Kumar S., A. Ajith

AU - Simonsen, Kent Inge

N1 - Conference code: 4

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

KW - Model-Driven Software Engineering (MDSE)

KW - Wireless Sensor-Actuator Networks (WSAN)

KW - Code Generation

KW - Validation

KW - verification

KW - Simulation

KW - Embedded software

U2 - 10.1145/2593458.2593465

DO - 10.1145/2593458.2593465

M3 - Article in proceedings

SP - 35

EP - 39

BT - Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems (CyPhy'14)

PB - Association for Computing Machinery

T2 - 4th Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy´14)

Y2 - 14 April 2014

ER -

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

Abstract

Workshop

Keywords

Access to Document

OpenUrl availability

Fingerprint

Cite this