DocumentCode
2511715
Title
Formal verification of layered sensing architectures
Author
Tyler, Benjamin ; Langdon, Adam ; Chawla, Praveen
Author_Institution
Edaptive Comput., Inc., Dayton, OH, USA
fYear
2010
fDate
14-16 July 2010
Firstpage
41
Lastpage
44
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Aerospace and Electronics Conference (NAECON), Proceedings of the IEEE 2010 National
Conference_Location
Fairborn, OH
ISSN
0547-3578
Print_ISBN
978-1-4244-6576-7
Type
conf
DOI
10.1109/NAECON.2010.5712921
Filename
5712921
Link To Document