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 条
  • [1] A Systematized Approach for Obtaining a Dependable Structured Specification for an Industrial Automation System
    Machado, Jose
    Seabra, Eurico
    2012 10TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2012, : 309 - 315
  • [2] A methodological approach to the requirement specification of embedded systems
    Lattemann, F
    Lehmann, E
    FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 183 - 191
  • [3] Specification, analysis and implementation of architectural patterns for dependable software systems
    Yau, SS
    Mukhopadhyay, S
    Bharadwaj, R
    WORDS 2005: 10TH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE, PROCEEDINGS, 2005, : 197 - 204
  • [4] Methodological Approach for Developing Reconfigurable Automation Systems
    Sarachaga, Isabel
    Burgos, Arantza
    Alvarez, Maria Luz
    Iriondo, Nagore
    Marcos, Marga
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2020, 16 (03) : 1460 - 1469
  • [5] Towards A Holistic Software Systems Engineering Approach for Dependable Autonomous Systems
    Aniculaesei, Adina
    Grieser, Joerg
    Rausch, Andreas
    Rehfeldt, Karina
    Warnecke, Tim
    PROCEEDINGS 2018 IEEE/ACM 1ST INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR AI IN AUTONOMOUS SYSTEMS (SEFAIAS), 2018, : 23 - 30
  • [6] Dependable Healthcare Service Automation: A Holistic Approach
    Wan, Kaiyu
    Alagar, Vangalur
    ADVANCED INTELLIGENT COMPUTING THEORIES AND APPLICATIONS, ICIC 2015, PT III, 2015, 9227 : 766 - 777
  • [7] An Approach towards Automation of Requirements Analysis
    Vinay, S.
    Aithal, Shridhar
    Desai, Prashanth
    IMECS 2009: INTERNATIONAL MULTI-CONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, VOLS I AND II, 2009, : 1080 - +
  • [8] Formal methods integration for the specification of dependable distributed systems
    Mazzocca, N
    Russo, S
    Vittorini, V
    JOURNAL OF SYSTEMS ARCHITECTURE, 1997, 43 (10) : 671 - 685
  • [9] A web-based approach to the specification and programming of home automation systems
    Nunes, RJC
    MELECON 2004: PROCEEDINGS OF THE 12TH IEEE MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, VOLS 1-3, 2004, : 693 - 696
  • [10] Quality analysis of dependable systems: A developer oriented approach
    Zarras, A
    Kloukinas, C
    Issarny, V
    ARCHITECTING DEPENDABLE SYSTEMS, 2003, 2677 : 197 - 218
12345