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 条
  • [21] Real-time hardware specification and verification by using MVC
    Li, XS
    Wang, JA
    NEW TECHNOLOGIES ON COMPUTER SOFTWARE, 1997, : 18 - 23
  • [22] Formal verification of real-time systems with preemptive scheduling
    Didier Lime
    Olivier (H. ) Roux
    Real-Time Systems, 2009, 41 : 118 - 151
  • [23] Formal verification of UML statecharts with real-time extensions
    David, A
    Möller, MO
    Yi, W
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2306 : 218 - 232
  • [24] The state of executable real-time specification languages and the need for advancements
    Khwaja, Amir A.
    Urban, Joseph E.
    ISORC 2008: 11TH IEEE SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING - PROCEEDINGS, 2008, : 577 - +
  • [25] Formal modeling and verification of real-time concurrent systems
    Yan, Fei
    Tang, Tao
    2007 IEEE INTERNATIONAL CONFERENCE ON VEHICULAR ELECTRONICS AND SAFETY, PROCEEDINGS, 2007, : 219 - 224
  • [26] Formal verification of real-time systems with data processing
    Tóth, Tamás (totht@mit.bme.hu), 1600, Budapest University of Technology and Economics (61):
  • [27] Formal design and verification of real-time embedded software
    Hsiung, PA
    Lin, SW
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2004, 3302 : 382 - 397
  • [28] A Formal Modeling and Verification Approach for Real-Time System
    Yan, Fei
    Tang, Tao
    2008 7TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-23, 2008, : 204 - 208
  • [29] Formal verification of real-time systems with preemptive scheduling
    Lime, Didier
    Roux, Olivier H.
    REAL-TIME SYSTEMS, 2009, 41 (02) : 118 - 151
  • [30] Formal description of time management in real-time operating systems
    Rusu-Banu, Fabricio
    Wang, Yingxu
    2006 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-5, 2006, : 1801 - +
12345