Protocol validation for systems with distributed control

被引：0
|
作者：
Serbanati, L. [1 ]
Cristea, V. [1 ]
机构：
[1] Polytechnic Inst Bucharest, Romania
来源：
Buletinul Institutului Politehnic Bucuresti, Seria Automatica-Calculatore | 1988年 / 50卷
关键词：
Computer hardware description languages - Computer systems; Digital--Distributed;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
A system for communication protocol validation is presented. The inputs of the system are protocol descriptions that fit within the framework of the ISO Open Systems Interconnections Reference Model. These inputs include protocols used to coordinate parallel processes in applications with distributed control. The protocol is a set of rules that govern the cooperation of entities in a functional layer. Based on analysis of these descriptions, some general properties of protocols are outlined; the absence of deadlock, completeness (the provision for all inputs), channel overflow, etc.
引用
收藏
页码：51 / 68
相关论文
共 50 条
  • [1] Cooperative validation in distributed control systems design
    Choinski, Dariusz
    Metzger, Mieczyslaw
    Nocon, Witold
    Polakow, Grzegorz
    COOPERATIVE DESIGN, VISUALIZATION, AND ENGINEERING, 2007, 4674 : 280 - +
  • [2] Design and validation of industrial distributed control systems
    Marcos, M
    Gangoiti, U
    Orive, D
    Estévez, E
    Calvo, S
    Barandiarán, J
    2004 43RD IEEE CONFERENCE ON DECISION AND CONTROL (CDC), VOLS 1-5, 2004, : 4720 - 4725
  • [3] Systems Level Validation of a Distributed Frequency Control Algorithm
    Tung-Lam Nguyen
    Guillo-Sansano, Efren
    Syed, Mazheruddin H.
    Blair, Steven M.
    Reguera, Luis
    Quoc-Tuan Tran
    Caire, Raphael
    Burt, Graeme M.
    Gavriluta, Catalin
    Van-Hoa Nguyen
    2018 IEEE INTERNATIONAL CONFERENCE ON ENVIRONMENT AND ELECTRICAL ENGINEERING AND 2018 IEEE INDUSTRIAL AND COMMERCIAL POWER SYSTEMS EUROPE (EEEIC / I&CPS EUROPE), 2018,
  • [4] A Framework for the Simulation and Validation of Distributed Control Architectures for Technical Systems of Systems
    Nazari, Shaghayegh
    Wenzel, Simon
    Maxeiner, Lukas Samuel
    Sonntag, Christian
    Engell, Sebastian
    IFAC PAPERSONLINE, 2017, 50 (01): : 12458 - 12463
  • [5] Performance of distributed control protocol for WR-OBS systems
    Lan, Z
    Guo, HX
    Wu, H
    Lin, JT
    2004 JOINT CONFERENCE OF THE 10TH ASIA-PACIFIC CONFERENCE ON COMMUNICATIONS AND THE 5TH INTERNATIONAL SYMPOSIUM ON MULTI-DIMENSIONAL MOBILE COMMUNICATIONS, VOLS 1 AND 2, PROCEEDINGS, 2004, : 522 - 526
  • [6] Distributed Control of MIMO Networked Control Systems with Time-triggered Protocol
    Fan Weihua
    Xie Lihua
    Xie Ronghua
    Chen Qingwei
    2014 33RD CHINESE CONTROL CONFERENCE (CCC), 2014, : 5760 - 5765
  • [7] Dynamical reliability and availability evaluation and validation of distributed control systems
    Barger, P
    Thiriet, JM
    Robert, M
    IMTC 2002: PROCEEDINGS OF THE 19TH IEEE INSTRUMENTATION AND MEASUREMENT TECHNOLOGY CONFERENCE, VOLS 1 & 2, 2002, : 837 - 842
  • [8] A Distributed Binary Tree Protocol for Medium Access Control in RFID Systems
    Baldi, Marco
    Morichetti, Stefano
    Gambi, Ennio
    2008 INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS, 2008, : 226 - 230
  • [9] A PROTOCOL TO CONTROL REPLICATION IN DISTRIBUTED REAL-TIME DATABASE SYSTEMS
    Said, Anis Haj
    Sadeg, Bruno
    Amanton, Laurent
    Ayeb, Bechir
    ICEIS 2008: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL DISI: DATABASES AND INFORMATION SYSTEMS INTEGRATION, 2008, : 501 - +
  • [10] Multi-protocol Data Aggregation and Acquisition for Distributed Control Systems
    Breunig, David Albert
    Schneider, Matthias
    52ND CIRP CONFERENCE ON MANUFACTURING SYSTEMS (CMS), 2019, 81 : 310 - 315
12345