TY - JOUR
T1 - Achieving dependability in sensor networks through automated requirements-based programming
AU - Hinchey, Michael G.
AU - Rash, James L.
AU - Rouff, Christopher A.
AU - Gračanin, Denis
PY - 2006/1/10
Y1 - 2006/1/10
N2 - A sensor network can be viewed as a distributed system consisting of many nodes (processes) that communicate and exchange data. Such a system, including an application running on top of the sensor network, is inherently difficult to model and validate. System requirements and actual application code may not be consistent, with the implementation failing to implement all of the requirements, or failing to implement them correctly. Requirements can be expressed as a set of services that the sensor network should provide. Each service may be described using one or more scenarios. For the classes of systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or in other appropriate notations) into a provably equivalent formal model that can be used as the basis for code generation and other transformations. This represents a significant step forward toward high-dependability system engineering for numerous possible application domains, including sensor networks.
AB - A sensor network can be viewed as a distributed system consisting of many nodes (processes) that communicate and exchange data. Such a system, including an application running on top of the sensor network, is inherently difficult to model and validate. System requirements and actual application code may not be consistent, with the implementation failing to implement all of the requirements, or failing to implement them correctly. Requirements can be expressed as a set of services that the sensor network should provide. Each service may be described using one or more scenarios. For the classes of systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or in other appropriate notations) into a provably equivalent formal model that can be used as the basis for code generation and other transformations. This represents a significant step forward toward high-dependability system engineering for numerous possible application domains, including sensor networks.
KW - Automatic code generation
KW - Formal methods
KW - Sensor networks
UR - http://www.scopus.com/inward/record.url?scp=30344469359&partnerID=8YFLogxK
U2 - 10.1016/j.comcom.2005.05.020
DO - 10.1016/j.comcom.2005.05.020
M3 - Article
AN - SCOPUS:30344469359
SN - 0140-3664
VL - 29
SP - 246
EP - 256
JO - Computer Communications
JF - Computer Communications
IS - 2
ER -