Specification and verification of a real-time field bus with formal description languages

被引：0
|
作者：
Marino, P [1 ]
Poza, F
Dominguez, M
Nogueira, J
机构：
[1] Univ Vigo, Elect Technol Dept, Vigo, Spain
[2] Univ Vigo, Appl Elect Inst, Vigo, Spain
[3] ETS Ingn Ind, Vigo, Spain
来源：
TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT | 1997年 / 1231卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this work the real-time field bus PROFIBUS for industrial communication networks, is specified with the formal specification language LOTOS and its associated tools. The paper introduces the general characteristics of LOTOS and its related tools, and the main features of PROFIBUS particularly the related with its data link layer. The methodology and data types implemented are explained, with an instance of developed performance tests for the specification. Results and new guidelines of this work are explained in last paragraph devoted to conclusions and future works. With LOTOS specification of PROFIBUS protocol comes up the possibility and benefit of using formal descriptions techniques for designs in the field of industrial communications.
引用
收藏
页码：415 / 429
页数：15
相关论文
共 50 条
  • [1] Specification and Formal Verification of Atomic Concurrent Real-Time Transactions
    Cai, Simin
    Gallina, Barbara
    Nystrom, Dag
    Seceleanu, Cristina
    2018 IEEE 23RD PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC), 2018, : 104 - 114
  • [2] Real-Time Animation for Formal Specification
    Mery, Dominique
    Singh, Neeraj Kumar
    COMPLEX SYSTEMS DESIGN AND MANAGEMENT, 2010, : 49 - 60
  • [3] FORMAL SPECIFICATION OF REAL-TIME SYSTEMS
    GORSKI, J
    COMPUTER PHYSICS COMMUNICATIONS, 1988, 50 (1-2) : 71 - 88
  • [4] A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol
    Regnier, Paul
    Lima, George
    Andrade, Aline
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 240 : 221 - 238
  • [5] Formal Specification and Verification of a Protocol for Consistent Diagnosis in Real-Time Embedded Systems
    Barbosa, Raul
    Karlsson, Johan
    2008 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, 2008, : 192 - 199
  • [6] Specification and formal verification of interconnect bus protocols
    Ivanov, L
    Nunna, R
    PROCEEDINGS OF THE 43RD IEEE MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS I-III, 2000, : 378 - 382
  • [7] Evaluating real-time software specification languages
    Lee, DT
    COMPUTER STANDARDS & INTERFACES, 2002, 24 (05) : 395 - 409
  • [8] Formal analysis of a real-time kernel specification
    Fowler, S.
    Wellings, A.
    Lecture Notes in Computer Science, 1135
  • [9] Formal analysis of a real-time kernel specification
    Fowler, S
    Wellings, A
    FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1996, 1135 : 440 - 458
  • [10] The TASM toolset: Specification, simulation, and formal verification of real-time systems - (Tool paper)
    Ouimet, Martin
    Lundqvist, Kristina
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2007, 4590 : 126 - +
12345