Mapping of high-level SDL models to efficient implementations for TinyOS

Dietterle, Daniel; Ryman, J.; Dombrowski, K. F.; Kraemer, Rolf

doi:10.1109/dsd.2004.1333303

Cited by 8 publications

(4 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Hence, higher abstractions are needed, free from the technical considerations to enable seamless wiring. The existing approaches for network modeling are disparate; some approaches target Wireless Sensor Networks (WSN) [37], [38] (a network of many tiny sensors dedicated 1 https://github.com/TelluIoT/ThingML to collect data) [39], others target the web of things [40] (i.e., the IoT using existing web technologies), and others target a specific category of IoT applications such as Smarthomes or TinyOS-based things [41], [31], [30], [32]. According to our literature review, we noticed a lack of a full-scale, documented, and open-source approach for modeling a network of things generically.…”

Section: Related Workmentioning

confidence: 99%

A Model-Driven Methodology to Accelerate Software Engineering in the Internet of Things

Berrouyne

Adda

Mottu

et al. 2022

IEEE Internet Things J.

View full text Add to dashboard Cite

Section: Related Workmentioning

confidence: 99%

A Model-Driven Methodology to Accelerate Software Engineering in the Internet of Things

Berrouyne

Adda

Mottu

et al. 2022

IEEE Internet Things J.

View full text Add to dashboard Cite

“…In [37], authors represented the HL-SDL modeling language that uses the Specification and Description Language (SDL) [38] to model, simulate, and verify communication protocols. SDL is used to model the component-based architecture of TinyOS using the SDL process.…”

Section: High-level Sdl Models (Hl-sdl)mentioning

confidence: 99%

Wireless Sensor Network Design Methodologies: A Survey

et al. 2020

View full text Add to dashboard Cite

Wireless sensor networks (WSNs) have grown considerably in recent years and have a significant potential in different applications including health, environment, and military. Despite their powerful capabilities, the successful development of WSN is still a challenging task. In current real-world WSN deployments, several programming approaches have been proposed, which focus on low-level system issues. In order to simplify the design of the WSN and abstract from technical low-level details, high-level approaches have been recognized and several solutions have been proposed. In particular, the model-driven engineering (MDE) approach is becoming a promising solution. In this paper, we present a survey of existing programming methodologies and model-based approaches for the development of sensor networks. We recall and classify existing related WSN development approaches. The main objective of our research is to investigate the feasibility and the application of high-level-based approaches to ease WSN design. We concentrate on a set of criteria to highlight the shortcomings of the relevant approaches. Finally, we present our future directions to cope with the limits of existing solutions.

show abstract

“…Most of the existing MDE approaches that address network-related modeling, target Wireless Sensor and Actuators Networks (WSAN). For instance in [9], the authors map the Specification and Description Language (SDL) with TinyOS component models to enable a formal description of communication protocols. Then, a general scheme for creating code from these models is proposed.…”

Section: Related Workmentioning

confidence: 99%

Towards Model-Based Communication Control for the Internet of Things

Berrouyne

Adda

Mottu

et al. 2018

Software Technologies: Applications and Foundations

View full text Add to dashboard Cite

Most of existing Model-Driven Engineering (MDE) approaches for the Internet of Things (IoT) focus on means of modeling the behavior of end devices. Little attention has been paid to network-related abstractions and communication control. The paper introduces an approach towards enabling model-based communication control in a network of things. First, we suggest a Domain Specific Language (DSL) to abstract basic network features. Second, we propose a policy language to control the communications within the network. Finally, as a proof-of-concept, we present a code generation process to enforce the expressed policy at runtime.

show abstract

Mapping of high-level SDL models to efficient implementations for TinyOS

Cited by 8 publications

References 7 publications

A Model-Driven Methodology to Accelerate Software Engineering in the Internet of Things

A Model-Driven Methodology to Accelerate Software Engineering in the Internet of Things

Wireless Sensor Network Design Methodologies: A Survey

Towards Model-Based Communication Control for the Internet of Things

Contact Info

Product

Resources

About