Contract-Based Verification of Complex Time-Dependent Behaviors in Avionic Systems

被引：2

作者：

Bhatt, Devesh ^{[1
]}

Chattopadhyay, Arunabh ^{[1
]}

Li, Wenchao ^{[2
]}

Oglesby, David ^{[1
]}

Owre, Sam ^{[2
]}

Shankar, Natarajan ^{[2
]}

机构：

[1] Honeywell Aerosp Labs, Golden Valley, MN 55422 USA

[2] SRI Int, Silicon Valley, CA USA

来源：

NASA FORMAL METHODS, NFM 2016 | 2016年 / 9690卷

关键词：

D O I：

10.1007/978-3-319-40648-0_3

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：34 / 40

页数：7

共 50 条

[11] Contract-based verification of discrete-time multi-rate Simulink models
Bostrom, Pontus
Wiik, Jonatan
SOFTWARE AND SYSTEMS MODELING, 2016, 15 (04): : 1141 - 1161
[12] Compositional and Contract-Based Verification for Autonomous Driving on Road Networks
Liebenwein, Lucas
Schwarting, Wilko
Vasile, Cristian-Ioan
DeCastro, Jonathan
Alonso-Mora, Javier
Karaman, Sertac
Rus, Daniela
ROBOTICS RESEARCH, 2020, 10 : 163 - 181
[13] Contract-Based Verification of Model Transformations: A Formally Founded Approach
Brau, Guillaume
Foughali, Mohammed
36TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2021, 2021, : 1559 - 1568
[14] A Contract-Based Formalism for the Specification of Heterogeneous Systems
Benvenuti, Luca
Ferrari, Alberto
Mangeruca, Leonardo
Mazzi, Emanuele
Passerone, Roberto
Sofronis, Christos
2008 FORUM ON SPECIFICATION, VERIFICATION AND DESIGN LANGUAGES, 2008, : 166 - +
[15] Managing Reputation in Contract-Based Distributed Systems
Baldoni, Roberto
Doria, Luca
Lodi, Giorgia
Querzoni, Leonardo
ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2009, PT 1, 2009, 5870 : 760 - 772
[16] A framework for contract-based collaborative verification and validation of web services
Bai, Xiaoying
Wang, Yongbo
Dai, Guilan
Tsai, Wei-Tek
Chen, Yinong
COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2007, 4608 : 258 - +
[17] Integrating scenario- and contract-based verification for automated vessels
Hake, Georg
Reiher, David
Mentjes, Jan
Hahn, Axel
JOURNAL OF MARINE SCIENCE AND TECHNOLOGY, 2024, 29 (03) : 620 - 640
[18] A Black-Box and Contract-Based Verification of Model Transformations
Lahrouni, Meriem
Cariou, Eric
El Fazziki, Abdelaziz
INTERNATIONAL ARAB JOURNAL OF INFORMATION TECHNOLOGY, 2019, 16 (04) : 651 - 660
[19] Contract-based coordination of distributed object systems
Giese, H
Graf, J
Wirtz, G
INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS, 1999, : 25 - 31
[20] A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks
Wiik, Jonatan
Ersfolk, Johan
Walden, Marina
PROCEEDINGS OF THE 2018 16TH ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2018, : 78 - 87

← 1 2 3 4 5 →