TY - GEN
T1 - Formal methods for verification and validation of distributed interacting devices
AU - Schmiedekamp, Mendel
AU - Skarbez, Richard
AU - Phoha, Shashi
PY - 2006
Y1 - 2006
N2 - Designing and specifying missions for distributed sensor networks requires expressive methods which achieve correctness and are executable. One such method is the Computation, Control and Communication Language (C3L). The formal semantics for this language are described and used to ensure the needs of sensor network missions. An example of mission specification for locality-based cluster head elections is also presented. Using the formal results and dynamic simulation results this specification is tested and validated.
AB - Designing and specifying missions for distributed sensor networks requires expressive methods which achieve correctness and are executable. One such method is the Computation, Control and Communication Language (C3L). The formal semantics for this language are described and used to ensure the needs of sensor network missions. An example of mission specification for locality-based cluster head elections is also presented. Using the formal results and dynamic simulation results this specification is tested and validated.
UR - http://www.scopus.com/inward/record.url?scp=38049177048&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=38049177048&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:38049177048
SN - 9780889865990
T3 - Proceedings of the 10th IASTED International Conference on Software Engineering and Applications, SEA 2006
SP - 313
EP - 318
BT - Proceedings of the 10th IASTED International Conference on Software Engineering and Applications, SEA 2006
T2 - 10th IASTED International Conference on Software Engineering and Applications, SEA 2006
Y2 - 13 November 2006 through 15 November 2006
ER -