Foundations, Tools, and Methodologies for High Assurance Software Development.
 

Sensor Network Development using Cadena

Large scale development efforts are also increasingly being based on software product lines - a development process in which software for families of similar products is built from reusable infrastructure and common application components. This project aims to develop a framework for model-driven, product line-based design and implementation of sensor network applications. The framework will include model-driven analysis tools to aid the designer in configuration and selection of protocols and protocol parameters, and simulation engine plug-ins to evaluate design choices. The framework is expected to drive down development cost and time as well as reduce the level of expertise needed to develop and deploy a sensor network. This work is being done in the context of several ongoing projects in the application areas of Radiation Surveillance, Veterinary Telemedicine, Precision Agriculture and Home Health-care monitoring networks. We are initially developing the model-driven complete tool chain targeting the Motes platform based on the component model supported by NesC.

Below you will find several examples of using Cadena to model sensor network applications.

Graphical view of the Scenario editor for the SN1 model. Preview of SN1 model
This is a preview of the SN1 model. You can see one of the three component instances that exist in this model. To see a full screenshot click on the screenshot image.
Graphical view of the Scenario editor for the SN2 model. Preview of SN2 model
This is a preview of the SN2 model. You can see one of the five component instances that exist in this model. To see a full screenshot click on the screenshot image.
Graphical view of the Scenario editor for the Blink (nesC) model. Preview of Blink (nesC) model
This is a preview of the Blink (nesC) model. You can see one of the four component instances that exist in this model. To see a full screenshot click on the screenshot image.
Graphical view of the Scenario editor for the Surge (nesC) model. Preview of Surge (nesC) model
This is a preview of the Surge (nesC) model. You can see 1 of the 11 component instances that exist in this model. To see a full screenshot click on the screenshot image.