Formal verification of layered sensing architectures

Benjamin Tyler, Adam Langdon, Praveen Chawla

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

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.

Original languageEnglish
Title of host publicationProceedings of the IEEE 2010 National Aerospace and Electronics Conference, NAECON 2010
Pages41-44
Number of pages4
DOIs
Publication statusPublished - Dec 1 2010
Event2010 IEEE National Aerospace Electronics Conference, NAECON 2010 - Fairborn, OH, United States
Duration: Jul 14 2010Jul 16 2010

Publication series

NameProceedings of the IEEE 2010 National Aerospace and Electronics Conference, NAECON 2010

Other

Other2010 IEEE National Aerospace Electronics Conference, NAECON 2010
CountryUnited States
CityFairborn, OH
Period7/14/107/16/10

Keywords

  • Architecture-based systems engineering
  • Distributed sensing Architecture
  • Formal methods
  • Layered sensing architectures
  • Model checking
  • Rosetta system level design language
  • System-of-systems analysis

ASJC Scopus subject areas

  • Aerospace Engineering
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Formal verification of layered sensing architectures'. Together they form a unique fingerprint.

  • Cite this

    Tyler, B., Langdon, A., & Chawla, P. (2010). Formal verification of layered sensing architectures. In Proceedings of the IEEE 2010 National Aerospace and Electronics Conference, NAECON 2010 (pp. 41-44). [5712921] (Proceedings of the IEEE 2010 National Aerospace and Electronics Conference, NAECON 2010). https://doi.org/10.1109/NAECON.2010.5712921