Contract-based formal specification of safety critical systems

被引：0
|
作者：
Dong, W [1 ]
Wang, J [1 ]
机构：
[1] Natl Lab Parallel & Distributed Proc, Changsha, Peoples R China
来源：
Proceedings of the 29th Annual International Computer Software and Applications Conference, Workshops and Fast Abstracts | 2005年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The paper proposes an approach to light-weight formal specification for interfaces, connectors, contracts and integration of component systems based on UML 2.0 superstructure. Both of static and dynamic contracts are provided with formal models. Dynamic contract can be verified through finding a legal environment in air optimistical way for the integrated components, whose contracts are depicted with interface protocol state machines. The consistency for component refinement is also studied. These formal models form the foundation for model checking, compositional reasoning, and real-time architecture development of component-based safety critical systems.
引用
收藏
页码：7 / 8
页数：2
相关论文
共 50 条
  • [1] Component contract-based formal specification technique
    Lee, JH
    Noh, HM
    Yoo, CJ
    Chang, OB
    [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2005, PT 3, 2005, 3482 : 836 - 845
  • [2] A Contract-Based Formalism for the Specification of Heterogeneous Systems
    Benvenuti, Luca
    Ferrari, Alberto
    Mangeruca, Leonardo
    Mazzi, Emanuele
    Passerone, Roberto
    Sofronis, Christos
    [J]. 2008 FORUM ON SPECIFICATION, VERIFICATION AND DESIGN LANGUAGES, 2008, : 166 - +
  • [3] A Contract-based Approach to Specifying and Verifying Safety Critical Systems
    Dong, Wei
    Chen, Zhenbang
    Wang, Ji
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 176 (02) : 89 - 103
  • [4] Formal Safety Assessment via Contract-Based Design
    Bozzano, Marco
    Cimatti, Alessandro
    Mattarei, Cristian
    Tonetta, Stefano
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, 2014, 8837 : 81 - 97
  • [5] On the Significance of Contract-Based Typestate Specification
    Khairunnesa, Samantha Syeda
    Hoan Anh Nguyen
    Rajan, Hridesh
    [J]. WASPI'18: PROCEEDINGS OF THE 1ST ACM SIGSOFT INTERNATIONAL WORKSHOP ON AUTOMATED SPECIFICATION INFERENCE, 2018, : 13 - 14
  • [6] A Survey of Formal Specification Application to Safety Critical Systems
    Nanda, Smruti Priyambada
    Grant, Emanuel S.
    [J]. 2019 IEEE 2ND INTERNATIONAL CONFERENCE ON INFORMATION AND COMPUTER TECHNOLOGIES (ICICT), 2019, : 296 - 302
  • [7] CROME: Contract-Based Robotic Mission Specification
    Mallozzi, Piergiuseppe
    Nuzzo, Pierluigi
    Pelliccione, Patrizio
    Schneider, Gerardo
    [J]. 2020 18TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2020, : 81 - 91
  • [8] Multiple Viewpoint Contract-Based Specification and Design
    Benveniste, Albert
    Caillaud, Benoit
    Ferrari, Alberto
    Mangeruca, Leonardo
    Passerone, Roberto
    Sofronis, Christos
    [J]. FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2008, 5382 : 200 - +
  • [9] Contract-Based Design of Control Protocols for Safety-Critical Cyber-Physical Systems
    Nuzzo, Pierluigi
    Finn, John B.
    Iannopollo, Antonio
    Sangiovanni-Vincentelli, Alberto L.
    [J]. 2014 DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION (DATE), 2014,
  • [10] Sim: A Contract-Based Programming Language for Safety-Critical Software
    Benoit, Tuur
    [J]. 2019 IEEE/AIAA 38TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2019,
12345