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 - 2006
Event10th IASTED International Conference on Software Engineering and Applications, SEA 2006 - Dallas, TX, United States
Duration: Nov 13 2006Nov 15 2006

Other

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

Fingerprint

Formal methods
Sensor networks
Specifications
Semantics
Communication
Computer simulation

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)
Schmiedekamp, Mendel ; Skarbez, Richard ; Phoha, Shashi. / Formal methods for verification and validation of distributed interacting devices. Proceedings of the 10th IASTED International Conference on Software Engineering and Applications, SEA 2006. 2006. pp. 313-318
@inproceedings{19d40efe1cc542ada81eab0ee101a21d,
title = "Formal methods for verification and validation of distributed interacting devices",
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.",
author = "Mendel Schmiedekamp and Richard Skarbez and Shashi Phoha",
year = "2006",
language = "English (US)",
isbn = "9780889865990",
pages = "313--318",
booktitle = "Proceedings of the 10th IASTED International Conference on Software Engineering and Applications, SEA 2006",

}

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, 10th IASTED International Conference on Software Engineering and Applications, SEA 2006, Dallas, TX, United States, 11/13/06.

Formal methods for verification and validation of distributed interacting devices. / Schmiedekamp, Mendel; Skarbez, Richard; Phoha, Shashi.

Proceedings of the 10th IASTED International Conference on Software Engineering and Applications, SEA 2006. 2006. p. 313-318.

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

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

SN - 9780889865990

SP - 313

EP - 318

BT - Proceedings of the 10th IASTED International Conference on Software Engineering and Applications, SEA 2006

ER -

Schmiedekamp M, Skarbez R, Phoha S. 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. 2006. p. 313-318