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 条
  • [31] TOWARDS SPECIFICATION AND PROOF OF ASYNCHRONOUS SYSTEMS
    GAMATIE, B
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 210 : 263 - 276
  • [32] Parameter Tuning in Distributed Home Automation Systems: towards a Tabu Search Approach
    Conte, G.
    Scaradozzi, D.
    Perdon, A.
    Morganti, G.
    2008 MEDITERRANEAN CONFERENCE ON CONTROL AUTOMATION, VOLS 1-4, 2008, : 616 - 622
  • [33] Towards Cyber-Physical Approach for Prototyping Indoor Lighting Automation Systems
    Pang, Cheng
    Vyatkin, Valeriy
    Mayer, Horst
    2014 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC), 2014, : 3643 - 3648
  • [34] Towards Dependable Integration Concepts for AI-Based Systems
    Macher, Georg
    Blazevic, Romana
    Veledar, Omar
    Brenner, Eugen
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2023 WORKSHOPS, 2023, 14182 : 108 - 117
  • [35] Towards Automation of Privacy and Security Risks Analysis in Identity Management Systems
    Paintsil, Ebenezer
    2013 12TH IEEE INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS (TRUSTCOM 2013), 2013, : 720 - 727
  • [36] Social network analysis and the internationalization of SMEs Towards a different methodological approach
    Pinho, Jose Carlos
    Pinheiro, Miguel Linhares
    EUROPEAN BUSINESS REVIEW, 2015, 27 (06) : 554 - 572
  • [37] Specification and formal verification of temporal properties of production automation systems
    Flake, Stephan
    Müller, Wolfgang
    Pape, Ulrich
    Ruf, Jürgen
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3147 : 206 - 226
  • [38] Interactive formal specification for efficient preparation of intelligent automation systems
    Dahl, Martin
    Larsen, Christian
    Eros, Endre
    Bengtsson, Kristofer
    Fabian, Martin
    Falkman, Petter
    CIRP JOURNAL OF MANUFACTURING SCIENCE AND TECHNOLOGY, 2022, 38 : 129 - 138
  • [39] Specification and formal verification of temporal properties of production automation systems
    Flake, S
    Müller, W
    Pape, U
    Ruf, J
    INTEGRATION OF SOFTWARE SPECIFICATION TECHNIQUES FOR APPLICATIONS IN ENGINEERING, 2004, 3147 : 206 - 226
  • [40] Algebraic approach for dependable logic control systems design
    Roussel, JM
    Faure, JM
    Lesage, JJ
    Medina, A
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2004, 42 (14) : 2859 - 2876
12345