Contract-Based Verification of Simulink Models

被引：0
|
作者：
Bostrom, Pontus [1 ]
机构：
[1] Abo Akad Univ, Dept Informat Technol, FIN-20520 Turku, Finland
来源：
FORMAL METHODS AND SOFTWARE ENGINEERING | 2011年 / 6991卷
关键词：
REFINEMENT CALCULUS;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper presents an approach to compositional contract-based verification of Simulink models. The verification approach uses Synchronous Data Flow (SDF) graphs as a formalism to obtain sequential program statements that can then be analysed using traditional refinement-based verification techniques. Automatic generation of the proof obligations needed for verification of correctness with respect to contracts, as well as automatic proofs are also discussed.
引用
收藏
页码：291 / 306
页数：16
相关论文
共 50 条
  • [31] A contract-based approach to adaptivity
    Schroeder, Andreas
    Bauer, Sebastian S.
    Wirsing, Martin
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2011, 80 (3-5): : 180 - 193
  • [32] Using memetic algorithm for robustness testing of contract-based software models
    Bahrampour, Anvar
    Rafe, Vahid
    ARTIFICIAL INTELLIGENCE REVIEW, 2021, 54 (02) : 877 - 915
  • [33] Using memetic algorithm for robustness testing of contract-based software models
    Anvar Bahrampour
    Vahid Rafe
    Artificial Intelligence Review, 2021, 54 : 877 - 915
  • [34] Towards Design and Verification of Evolving Cyber Physical Systems Using Contract-Based Methodology
    Guissouma, Houssem
    Leiner, Simon
    Sax, Eric
    2019 5TH IEEE INTERNATIONAL SYMPOSIUM ON SYSTEMS ENGINEERING (IEEE ISSE 2019), 2019,
  • [35] Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows
    Hatcliff, John
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 5256 : 3 - 4
  • [36] A contract-based architecture for business networks
    Rittgen, Peter
    INTERNATIONAL JOURNAL OF ELECTRONIC COMMERCE, 2008, 12 (04) : 115 - 145
  • [37] A Contract-based Accountability Service Model
    Wang, Chen
    Chen, Shiping
    Zic, John
    2009 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, VOLS 1 AND 2, 2009, : 639 - 646
  • [38] CONDEnSe: Contract-Based Design Synthesis
    Santos, Cesar Augusto
    Saleh, Amr Hany
    Schrijvers, Tom
    Nicolai, Mike
    2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2019), 2019, : 250 - 260
  • [39] Validating specifications: A contract-based approach
    Nellore, R
    IEEE TRANSACTIONS ON ENGINEERING MANAGEMENT, 2001, 48 (04) : 491 - 504
  • [40] Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles
    Glomsrud, Jon Arne
    Kemna, Stephanie
    Vasanthan, Chanjei
    Zhao, Luman
    McGeorge, Dag
    Pedersen, Tom Arne
    Torben, Tobias Rye
    Rokseth, Borge
    Dong Trong Nguyen
    6TH INTERNATIONAL CONFERENCE ON MARITIME AUTONOMOUS SURFACE SHIPS AND INTERNATIONAL MARITIME PORT TECHNOLOGY AND DEVELOPMENT CONFERENCE, MTEC/ICMASS 2024, 2024, 2867
12345