Formal methods for verification and validation of distributed interacting devices

Mendel Schmiedekamp, Richard Skarbez, Shashi Phoha

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publicationProceedings of the 10th IASTED International Conference on Software Engineering and Applications, SEA 2006
Pages313-318
Number of pages6
StatePublished - Dec 1 2006
Event10th IASTED International Conference on Software Engineering and Applications, SEA 2006 - Dallas, TX, United States
Duration: Nov 13 2006Nov 15 2006

Publication series

NameProceedings of the 10th IASTED International Conference on Software Engineering and Applications, SEA 2006

Other

Other10th IASTED International Conference on Software Engineering and Applications, SEA 2006
CountryUnited States
CityDallas, TX
Period11/13/0611/15/06

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Software

Cite this

Schmiedekamp, M., Skarbez, R., & Phoha, S. (2006). Formal methods for verification and validation of distributed interacting devices. In Proceedings of the 10th IASTED International Conference on Software Engineering and Applications, SEA 2006 (pp. 313-318). (Proceedings of the 10th IASTED International Conference on Software Engineering and Applications, SEA 2006).