Title :
Formal verification of layered sensing architectures
Author :
Tyler, Benjamin ; Langdon, Adam ; Chawla, Praveen
Author_Institution :
Edaptive Comput., Inc., Dayton, OH, USA
Abstract :
Correct and reliable collaboration among elements of layered sensor networks is crucial for maintaining an accurate and comprehensive picture of the battlespace. This paper describes an automated method for formally verifying that the architectures and internal interactions of layered sensor networks will not fail to meet requirements.
Keywords :
distributed processing; formal verification; groupware; sensors; automated method; formal verification; internal interaction; layered sensor network; reliable collaboration; Analytical models; Computer architecture; Integrated circuit modeling; Mathematical model; Object oriented modeling; Security; Sensors; Architecture-based Systems Engineering; Distributed Sensing Architecture; Formal Methods; Layered Sensing Architectures; Model Checking; Rosetta System Level Design Language; System-of-Systems Analysis;
Conference_Titel :
Aerospace and Electronics Conference (NAECON), Proceedings of the IEEE 2010 National
Conference_Location :
Fairborn, OH
Print_ISBN :
978-1-4244-6576-7
DOI :
10.1109/NAECON.2010.5712921
