Paper Info
Title
Contract-Based Verification of Complex Time-Dependent Behaviors in Avionic Systems.
Abstract
Avionic systems involve complex time-dependent behaviors across interacting components. This paper presents a contract-based approach for formally verifying these behaviors in a compositional manner. A unique feature of our contract-based tool is the support of architectural specification for multi-rate platforms. An abstraction technique has also been developed for properties related to variable time bounds. Preliminary results on applying this approach to the verification of an aircraft cabin pressure control system are promising.
Year
DOI
Venue
2016
10.1007/978-3-319-40648-0_3
NFM
Field
DocType
Volume
Abstraction,Computer science,Avionics,Control engineering,Theoretical computer science,Linear temporal logic,Control system,Cabin pressurization,Architectural specification,Embedded system
Conference
9690
ISSN
Citations 
PageRank 
0302-9743
0
0.34
References 
Authors
6
6
Name
Order
Citations
PageRank
Devesh Bhatt100.34
Arunabh Chattopadhyay2254.04
Wenchao Li310013.25
David Oglesby411.11
Sam Owre51323104.39
Natarajan Shankar63050309.55