CA1218464A - Protocol validation system - Google Patents

Protocol validation system

Info

Publication number
CA1218464A
CA1218464A CA000476656A CA476656A CA1218464A CA 1218464 A CA1218464 A CA 1218464A CA 000476656 A CA000476656 A CA 000476656A CA 476656 A CA476656 A CA 476656A CA 1218464 A CA1218464 A CA 1218464A
Authority
CA
Canada
Prior art keywords
transition
global
state
reception
memory
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired
Application number
CA000476656A
Other languages
English (en)
French (fr)
Inventor
Toshikane Oda
Masamitsu Norigoe
Yasushi Wakahara
Yoshiaki Kakuda
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
KDDI Corp
Original Assignee
Kokusai Denshin Denwa KK
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Kokusai Denshin Denwa KK filed Critical Kokusai Denshin Denwa KK
Application granted granted Critical
Publication of CA1218464A publication Critical patent/CA1218464A/en
Expired legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/46—Multiprogramming arrangements
    • G06F9/54—Interprogram communication
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3604—Analysis of software for verifying properties of programs

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Communication Control (AREA)
  • Computer And Data Communications (AREA)
  • Maintenance And Management Of Digital Transmission (AREA)
CA000476656A 1984-09-17 1985-03-15 Protocol validation system Expired CA1218464A (en)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
JP192491/84 1984-09-17
JP59192491A JPS6171750A (ja) 1984-09-17 1984-09-17 プロトコル検証回路

Publications (1)

Publication Number Publication Date
CA1218464A true CA1218464A (en) 1987-02-24

Family

ID=16292186

Family Applications (1)

Application Number Title Priority Date Filing Date
CA000476656A Expired CA1218464A (en) 1984-09-17 1985-03-15 Protocol validation system

Country Status (3)

Country Link
US (1) US4754400A (enExample)
JP (1) JPS6171750A (enExample)
CA (1) CA1218464A (enExample)

Families Citing this family (10)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5133074A (en) * 1989-02-08 1992-07-21 Acer Incorporated Deadlock resolution with cache snooping
CA2011807C (en) * 1989-03-20 1999-02-23 Katsumi Hayashi Data base processing system using multiprocessor system
US5826017A (en) * 1992-02-10 1998-10-20 Lucent Technologies Apparatus and method for communicating data between elements of a distributed system using a general protocol
US5581793A (en) * 1993-08-24 1996-12-03 Micron Electronics, Inc. System for bypassing setup states in a bus operation
JPH07307771A (ja) * 1994-05-12 1995-11-21 Kokusai Denshin Denwa Co Ltd <Kdd> プロトコルの論理検証方法
US6487676B1 (en) * 1996-07-19 2002-11-26 Telefonaktiebolaget Lm Ericsson (Publ) Validation of procedures
FR2756070B1 (fr) * 1996-11-18 1999-01-22 Bull Sa Systeme de gestion et de traitement de transactions distribuees d'objets et procede mis en oeuvre par ledit systeme
US6178394B1 (en) * 1996-12-09 2001-01-23 Lucent Technologies Inc. Protocol checking for concurrent systems
DE19831720A1 (de) * 1998-07-15 2000-01-20 Alcatel Sa Verfahren zur Ermittlung einer einheitlichen globalen Sicht vom Systemzustand eines verteilten Rechnernetzwerks
JP5818630B2 (ja) 2011-10-25 2015-11-18 インターナショナル・ビジネス・マシーンズ・コーポレーションＩｎｔｅｒｎａｔｉｏｎａｌ Ｂｕｓｉｎｅｓｓ Ｍａｃｈｉｎｅｓ Ｃｏｒｐｏｒａｔｉｏｎ 仕様検証方法、プログラム及びシステム

Family Cites Families (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR2472234A1 (fr) * 1979-12-21 1981-06-26 Philips Ind Commerciale Protocoles de communication geres par les modules de communication utilises dans un systeme de traitement de donnees reparti
US4442484A (en) * 1980-10-14 1984-04-10 Intel Corporation Microprocessor memory management and protection mechanism
US4539652A (en) * 1982-07-16 1985-09-03 At&T Bell Laboratories Networks for data communication
US4631666A (en) * 1982-10-25 1986-12-23 Burroughs Corporation Data transfer network for variable protocol management

Also Published As

Publication number Publication date
US4754400A (en) 1988-06-28
JPH0458743B2 (enExample) 1992-09-18
JPS6171750A (ja) 1986-04-12

Similar Documents

Publication Publication Date Title
CA1218464A (en) Protocol validation system
Peng et al. Data flow analysis of communicating finite state machines
US4152762A (en) Associative crosspoint processor system
US4620276A (en) Method and apparatus for asynchronous processing of dynamic replication messages
US7065765B2 (en) Serializing event handling in a threaded system with no wait states
US20050138375A1 (en) Method and apparatus providing optimistic locking of shared computer resources
KR19990082390A (ko) 데이터베이스의 프로토콜에 의한 기능변경을 위한 방법과 장치
EP0069525B1 (en) Data processing system
US4646235A (en) Computer network having a host-local file I/O operation
US4734676A (en) Method and device for detecting a particular bit pattern in a serial train of bits
CN115878027B (zh) 一种存储对象的处理方法、装置、终端及存储介质
US5280597A (en) Pipeline processor with self timed data transfer
US4694422A (en) Protocol validation system
CN111309750A (zh) 图数据库的数据更新方法和装置
JPH0388539A (ja) プロトコル種別検出方式
CN109976675B (zh) 一种数据更新、读取方法、装置、设备及存储介质
CN115018648A (zh) 一种基于区块链的并发交易处理方法及其应用
CN114817252A (zh) 一种异步接口的多系统通用数据变更方法
JPH02501780A (ja) インターロッキング管理
KR20010057441A (ko) 마스터/슬레이브 관계인 두 데이터베이스상의 온라인상태에서 데이터 일치를 유지하는 방법
JPS596410B2 (ja) バツフア領域制御処理方法
CN120973815A (zh) 数据处理方法、系统、装置、设备及存储介质
CN116118134A (zh) 一种注塑机中子自由时序的控制方法、装置及其存储介质
CN119536699A (zh) 用于提高车联网系统远控模块扩展性的方法及装置
JPS6138665B2 (enExample)

Legal Events

Date Code Title Description
MKEX Expiry