Formal Methods for Verification and Validation of Distributed Interacting Devices

M. Schmiedekamp, R. Skarbez, and S. Phoha (USA)


Autonomous robots, distributed applications, distributed languages, formal language properties, formal semantics, mission specification.


Designing and specifying missions for distributed sensor networks requires expressive methods which achieve cor rectness and are executable. One such method is the Com putation, 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.

Important Links:

Go Back