The regiment macroprogramming system

Newton, Ryan; Morrisett, Greg; Welsh, Matt

doi:10.1145/1236360.1236422

Cited by 150 publications

(116 citation statements)

References 16 publications

Supporting

Mentioning

116

Contrasting

Order By: Relevance

“…Although the following section describes a nesC-based implementation, our design can be straightforwardly embedded within other WSN languages. For example, within functional languages such as Regiment [18] or Flask [16], one would simply enable behavioral variations of programmer-defined functions through a proper syntax, together with dedicated keywords for context transitions.…”

Section: Design Conceptsmentioning

confidence: 99%

Context-Oriented Programming for Adaptive Wireless Sensor Network Software

Afanasov

Mottola

Ghezzi

2014

2014 IEEE International Conference on Distributed Computing in Sensor Systems

View full text Add to dashboard Cite

Abstract-We present programming abstractions for implementing adaptive Wireless Sensor Network (WSN) software. The need for adaptability arises in WSNs because of unpredictable environment dynamics, changing requirements, and resource scarcity. However, after about a decade of research in WSN programming, developers are still left with no dedicated support. To address this issue, we bring concepts from Context-Oriented Programming (COP) down to WSN devices. Contexts model the situations that WSN software needs to adapt to. Using COP, programmers use a notion of layered function to implement context-dependent behavioral variations of WSN code. To this end, we provide language-independent design concepts to organize the context-dependent WSN operating modes, decoupling the abstractions from their concrete implementation in a programming language. Our own implementation, called CONESC, extends nesC with COP constructs. Based on three representative applications, we show that CONESC greatly simplifies the resulting code and yields increasingly decoupled implementations compared to nesC. For example, by model-checking every function in either implementations, we show a ≈50% reduction in the number of program states that programmers need to deal with, indicating easier debugging. In our tests, this comes at the price of a maximum 2.5% (4.5%) overhead in program (data) memory.

show abstract

Section: Design Conceptsmentioning

confidence: 99%

Context-Oriented Programming for Adaptive Wireless Sensor Network Software

Afanasov

Mottola

Ghezzi

2014

2014 IEEE International Conference on Distributed Computing in Sensor Systems

View full text Add to dashboard Cite

show abstract

“…In last few years, several different systems for macroprogramming in WSN have been developed [30], [31], [32]. Welsh et al [30] have defined a set of abstractions representing local communication between nodes in order to expose control over resource consumption along with providing feedback on its performance.…”

Section: Related Workmentioning

confidence: 99%

Embedded Virtual Machines for Robust Wireless Control and Actuation

Pajić

Mangharam

2010

2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium

View full text Add to dashboard Cite

Embedded wireless networks have largely focused on open-loop sensing and monitoring. To address actuation in closed-loop wireless control systems there is a strong need to re-think the communication architectures and protocols for reliability, coordination and control. As the links, nodes and topology of wireless systems are inherently unreliable, such time-critical and safety-critical applications require programming abstractions and runtime systems where the tasks are assigned to the sensors, actuators and controllers as a single component rather than statically mapping a set of tasks to a specific physical node at design time. To this end, we introduce the Embedded Virtual Machine (EVM), a powerful and flexible programming abstraction where virtual components and their properties are maintained across node boundaries. In the context of process and discrete control, an EVM is the distributed runtime system that dynamically selects primary-backup sets of controllers to guarantee QoS given spatial and temporal constraints of the underlying wireless network. The EVM architecture defines explicit mechanisms for control, data and fault communication within the virtual component. EVM-based algorithms introduce new capabilities such as predictable outcomes and provably minimal graceful degradation during sensor/actuator failure, adaptation to mode changes and runtime optimization of resource consumption. Through case studies in process control we demonstrate the preliminary capabilities of EVM-based wireless networks. KeywordsReal-time systems, control systems, wireless networks, fault-tolerant systems ©2010 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. See more from the mLAB in ScholarlyCommons at Real-Time and Embedded Systems Lab (mLAB)This conference paper is available at ScholarlyCommons: http://repository.upenn.edu/ese_papers/529 Embedded Virtual Machines for Robust Wireless Control and Actuation Miroslav Pajic and Rahul Mangharam Department of Electrical and System EngineeringUniversity of Pennsylvania {pajic, rahulm}@seas.upenn.edu Abstract-Embedded wireless networks have largely focused on open-loop sensing and monitoring. To address actuation in closed-loop wireless control systems there is a strong need to re-think the communication architectures and protocols for reliability, coordination and control. As the links, nodes and topology of wireless systems are inherently unreliable, such timecritical and safety-critical applications require programming abstractions and runtime systems where the tasks are assigned to the sensors, actuators and controllers as a single component rather than statically mapping a set of tasks to a specific physical node at design time. To this end, we introduce the Embedded Virtual Machine (EV...

show abstract

“…The Regiment (Newton et Al., 2007) system consists of a high-level language for WSN programming, and of a compiler that translates a global program into a node-level code. Regiment allows the programmer to look at the WSN as a set of spatially-distributed data streams, that may be defined by topological or geographic relationships between nodes.…”

Section: Declarative Systemsmentioning

confidence: 99%

Programming a Sensor Network in a layered middleware architecture

Albano¹,

Chessa²

2010

Sustainable Wireless Sensor Networks

View full text Add to dashboard Cite

Wireless Sensor Networks (WSNs) have become a mature technology aimed at performing environmental monitoring and data collection. Nonetheless, harnessing the power of a WSN presents a number of research challenges. WSN application developers have to deal both with the business logic of the application and with WSN's issues, such as those related to networking (routing), storage, and transport. A middleware can cope with this emerging complexity, and can provide the necessary abstractions for the definition, creation and maintenance of applications. This work discusses the problems related to the development of such a middleware and surveys the state of the art on the field.

show abstract

The regiment macroprogramming system

Cited by 150 publications

References 16 publications

Context-Oriented Programming for Adaptive Wireless Sensor Network Software

Context-Oriented Programming for Adaptive Wireless Sensor Network Software

Embedded Virtual Machines for Robust Wireless Control and Actuation

Programming a Sensor Network in a layered middleware architecture

Contact Info

Product

Resources

About