Towards a methodological approach to specification and analysis of dependable automation systems

被引：0
|
作者：
Bernardi, S [1 ]
Donatelli, S
Dondossola, G
机构：
[1] Univ Turin, Dipartimento Informat, I-10149 Turin, Italy
[2] CESI Automat & Informat Technol, Milan, Italy
来源：
FORMAL TECHNIQUES, MODELLING AND ANALYSIS OF TIMED AND FAULT-TOLERANT SYSTEMS, PROCEEDINGS | 2004年 / 3253卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper discusses a constructive approach to the temporal logic specification and analysis of dependability requirements of automation systems. The work is based on TRIO formal method, which supports a declarative temporal logic language with a linear notion of time, and makes use of UML class diagrams to describe the automation system. The general concepts presented for the automation system domain are here instantiated on a case study application taken from the energy distribution field.
引用
收藏
页码：36 / 51
页数：16
相关论文
共 50 条
  • [41] Application of functional analysis in naval platform automation specification
    Otto, E
    Visser, K
    Wolff, PA
    ELEVENTH SHIP CONTROL SYSTEMS SYMPOSIUM, VOL 1, 1997, : 353 - 364
  • [42] A fault-tolerant architectural approach for dependable systems
    do Lemos, R
    Guerra, PAD
    Rubira, CMF
    IEEE SOFTWARE, 2006, 23 (02) : 80 - +
  • [43] A quantum computing approach to embryonics for design of dependable systems
    Sahni, Vishal
    QUANTUM COMPUTING: BACK ACTION 2006, 2006, 864 : 208 - 218
  • [44] Towards a semantic approach of MBSE frameworks specification
    Duprez, Jean
    Ernadote, Dominique
    INCOSE International Symposium, 2020, 30 (01) : 1405 - 1419
  • [45] A Spatial and Temporal Partitioning Approach for Dependable Automotive Systems
    Chabrol, Damien
    Aussagues, Christophe
    David, Vincent
    2009 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (EFTA 2009), 2009,
  • [46] A model-driven approach for dependable software systems
    Jiang, Michael
    Yang, Zhihui
    USIC 2007: PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2007, : 100 - +
  • [47] Introducing a Game Approach towards IS Requirements Specification
    Yasuoka, Mika
    Kadoya, Kyoichi
    Niwa, Takashi
    2014 47TH HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES (HICSS), 2014, : 3687 - 3696
  • [48] SYSTEMS-APPROACH AND AUTOMATION
    RICHALET, J
    NOUVEL AUTOMATISME, 1982, 27 (34): : 82 - 82
  • [49] SYSTEMS APPROACH TO LABORATORY AUTOMATION
    FRASER, JW
    MATERIALS RESEARCH AND STANDARDS, 1971, 11 (02): : 36 - &
  • [50] Analysis of the Capital Structure in Sustainable Infrastructure Systems: A Methodological Approach
    David Gonzalez-Ruiz, Juan
    Botero-Botero, Sergio
    Pena, Alejandro
    SUSTAINABILITY, 2022, 14 (19)
12345