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 条
  • [21] Contract-based specification of mode-dependent timing behavior
    Janis Kröger
    Björn Koopmann
    Ingo Stierand
    Martin Fränzle
    Innovations in Systems and Software Engineering, 2024, 20 : 31 - 47
  • [22] A contract-based interprocedural safety analysis method
    Yang, Xiao-Qi
    Liu, Jian
    Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University, 2006, 33 (03): : 390 - 394
  • [23] Formal Methods for Safety Critical System Specification
    Lockhart, Jonathan
    Purdy, Carla
    Wilsey, Philip
    2014 IEEE 57TH INTERNATIONAL MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS (MWSCAS), 2014, : 201 - 204
  • [24] Conditional software specification & assurance A practical assessment of contract-based approaches
    Foerster, Marc
    2013 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2013, : 36 - 36
  • [25] Contract-Based Verification of Hierarchical Systems of Components
    Quinton, Sophie
    Graf, Susanne
    SEFM 2008: SIXTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2008, : 377 - 381
  • [26] 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
  • [27] FORMAL METHODS FOR THE SPECIFICATION AND DESIGN OF REAL-TIME SAFETY CRITICAL SYSTEMS
    OSTROFF, JS
    JOURNAL OF SYSTEMS AND SOFTWARE, 1992, 18 (01) : 33 - 60
  • [28] Formal specification as a tool for objective assessment of safety-critical interactive systems
    Palanque, P
    Bastide, R
    Paterno, F
    HUMAN-COMPUTER INTERACTION - INTERACT '97, 1997, : 323 - 330
  • [29] 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
  • [30] A contract-based component model for embedded systems
    Li, SY
    Wu, J
    Hu, ZG
    QSIC 2004: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2004, : 232 - 239
12345