A model for estimating the size of a formal communication protocol specification and its implementation

2003 ◽  
Vol 29 (1) ◽  
pp. 46-62 ◽  
Author(s):  
R. Lai ◽  
S.-J. Huang
Keyword(s):  
Communication Protocol ◽  
Protocol Specification ◽  
Formal Communication

Absolute Value Encoder Communication Interface Design Based on SSI Protocol

2013 ◽  
Vol 441 ◽  
pp. 932-935
Author(s):  
Zai Ping Chen ◽  
Zhi Tong Chen
Keyword(s):  
Interface Design ◽  
Communication Protocol ◽  
Low Cost ◽  
Communication Interface ◽  
Protocol Specification ◽  
Absolute Value ◽  
Design Scheme ◽  
Communication Function ◽  
The Absolute ◽  
Output Interface

In terms of absolute value encoder applications, SSI communication protocol, as an earlier implementation of communication protocol, has been widely used recently. Many companies, including both domestic and overseas, have introduced encoder communication interfaces with the SSI absolute value. In this paper, based on the features of SSI protocol communication, we propose a low cost of SSI protocol communication interface design scheme for the absolute value encoder whose output is asynchronous or parallel. The experiment shows that this kind of communication interface is stable, reliable and makes the absolute value encoder with asynchronous serial or parallel output interface meet the SSI protocol specification of communication function.

ANIMATING LOTOS SPECIFICATIONS USING AMLOG

1996 ◽  
Vol 06 (01) ◽  
pp. 5-19
Author(s):  
ATSUSHI TOGASHI ◽  
GLENN MANSFIELD ◽  
NORIO SHIRATORI
Keyword(s):  
Rapid Prototyping ◽  
Formal Model ◽  
Communication Protocol ◽  
Equational Logic ◽  
Data Abstraction ◽  
Protocol Specification ◽  
Stepwise Refinement ◽  
Communication Processes ◽  
Intelligent Communication ◽  
New Framework

In order to achieve a more convenient and intelligent handling of LOTOS specifications, an approach is proposed wherein specifications are translated into an appropriate equational logic language and interpreted. LOTOS has an excellent formal model for describing communication processes and equational logic languages have the capability of inferencing and data abstraction. Naturally, the marriage of LOTOS and equational logic provides a powerful framework with features that could not be realized in existing technologies. To demonstrate this potential, AMLOG is chosen as the appropriate equational logic language. Apart from rapid prototyping of specifications, some of the exciting possibilities of the new framework that are demonstrated include stepwise refinement and testing for correctness of specifications, facilities for property checking and verification of bisimulation equivalences. Also, the derivation of behavior expressions from trace histories is shown. The approach, extensible to other FDTs as well, is a step towards realizing an intelligent communication protocol specification environment.

Sign in / Sign up

Export Citation Format

Share Document