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 条
  • [21] A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems
    Sinha, Roopak
    Patil, Sandeep
    Gomes, Luis
    Vyatkin, Valeriy
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2019, 15 (07) : 3772 - 3783
  • [22] Towards automation of IT systems repairs
    Gorski, Janusz
    Kaminski, Marek
    SOFTWARE QUALITY JOURNAL, 2018, 26 (01) : 67 - 96
  • [23] Towards the automation of autonomic systems
    Chainbi, W
    GRID AND COOPERATIVE COMPUTING GCC 2004 WORKSHOPS, PROCEEDINGS, 2004, 3252 : 579 - 586
  • [24] Towards automation of IT systems repairs
    Janusz Górski
    Marek Kamiński
    Software Quality Journal, 2018, 26 : 67 - 96
  • [25] Towards a Process Analysis Approach to Adopt Robotic Process Automation
    Bourgouin, Audrey
    Leshob, Abderrahmane
    Renard, Laurent
    2018 IEEE 15TH INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING (ICEBE 2018), 2018, : 46 - 53
  • [26] Towards dependable service-orientated computing systems
    Chen, Yinong
    Tsai, W. T.
    SIMULATION MODELLING PRACTICE AND THEORY, 2009, 17 (08) : 1361 - 1366
  • [27] TOWARDS A METHODOLOGICAL APPROACH TO THE MANAGEMENT SYSTEMS DATABASES IN THE CURRENT CUBAN SCHOOL
    Lopez de la Teja, Luis Jacinto
    Sarria Cabrera, Maria Teresa
    REVISTA CONRADO, 2012, 8 (35): : 42 - 50
  • [28] A Methodological Approach towards Cyber Risk Management in Land Administrations Systems
    Blin, Pierre-Francois
    Aditya, Trias
    Santosa, Purnama Budi
    Claramunt, Christophe
    LAND, 2024, 13 (01)
  • [29] A Formal Specification Framework for Designing and Verifying Reliable and Dependable Software for CNC Systems
    Cao, Yunan
    ADVANCES IN MECHANICAL ENGINEERING, 2014,
  • [30] Towards a Systematic Approach for Smart Grid Hazard Analysis and Experiment Specification
    Smith, Paul
    Piatkowska, Ewa
    Widl, Edmund
    Andren, Filip Proestl
    Strasser, Thomas, I
    2020 IEEE 18TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), VOL 1, 2020, : 333 - 339
12345