Filters








931 Hits in 4.8 sec

Protocol specification for OSI

Gregor V Bochmann
1990 Computer networks and ISDN systems  
(FDTs) such as Estelle, LOTOS, and SDL.  ...  In this context, the protocol specifications are of particular importance, since they represent the standards which are the basis for the implementation and testing of compatible OSI systems.  ...  (b) Validation of the protocol specifications: The service specifications for layers N and (N-1) serve as a reference for the validation of the protocol specification for layer N.  ... 
doi:10.1016/0169-7552(90)90132-c fatcat:avhuude4dbclfiz5j5yellrqkm

Page 7 of Journal of Research and Practice in Information Technology Vol. 27, Issue 1 [page]

1995 Journal of Research and Practice in Information Technology  
WEST, C.H. (1978): An automated technique of communication protocol validation, JEEE Transaction on Communications, COM-26(8):1271-S.  ...  Prior to joining the University in 1989, he worked in the computer and communication indus- try for about 12 years.  ... 

Towards Standardized Conformance Test Suite for ISO Transport Layer Protocol

Hazem Mostafa El-Gendy, Ihab ElSayed Talkhan
2013 INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY  
The protocol is formally specified in Lotos; the ISO/IEC Formal Description Technique for computer/communications protocols and distributed systems.  ...  In this paper, we develop a sound Conformance Test Suite for the Transport Layer Protocol Internationally standardized by both ISO and IEC.  ...  ISO has developed Lotos to be used in specifying EVERY communications protocol standard. Communications protocols are, by nature, real time systems.  ... 
doi:10.24297/ijct.v12i2.3291 fatcat:h3ofk2geabfctpptfzjsjpfzcu

Verification techniques for LOTOS [chapter]

U. Martin, M. Thomas
1994 Lecture Notes in Computer Science  
We report on the results of a project which applied LOTOS to safety-critical case studies, determined the veri cation needs of real life applications, and developed tools for ASN.1 to LOTOS translation  ...  The second section contains an overview of the case studies developed for the project and the third section contains an overview of the some aspects of the veri cation and validation requirements which  ...  These studies extended the use of LOTOS, commonly thought o f a s a p p r o p r i a t e only for specifying protocols, by s h o wing how it could be used in a variety o f safety critical applications.  ... 
doi:10.1007/3-540-58555-9_89 fatcat:r6rqznkcubcbre57t6exapxv2u

Time Oriented Protocol Testing Simulator [chapter]

Ken Ohta, Nobumasa Nakano, Sanshiro Sakai, Takashi Watanabe, Tadanori Mizuno
1995 Protocol Test Systems  
Existing FDTs for communication services and protocols aren't sufficient for specifying of real time applications.  ...  In this paper, we propose T-PROMELA which can specify communication services for real time applications and T-SPIN which is the tool for testing and simulation of software in T-PROMELA. T.  ...  ,LOTOS, Estelle, SDL, Petrinet, Z and so forth, are developed and used for designing communication protocols and services [2] [3] .  ... 
doi:10.1007/978-0-387-34883-4_23 fatcat:q2jseupq65aejom7ehvccfqdlu

Application of a LOTOS based Test Environment on AAL5 [chapter]

J. Burmeister, A. Rennoch
1996 Protocol Test Systems VIII  
The methods and tools presented in this paper are addressing the following aspects: • validation of (possibly manual written) abstract test cases with formal data specification, • the generation of the  ...  As a prerequisite, a formalized, but simplified, protocol or service specification is expected, which will be also used for the analysis of the test execution.  ...  Acknowledgment This testing environment has been partially funded by the European RACE Project R2088 TOPIC (Tool Set for Protocol and Advanced Service Verification in !  ... 
doi:10.1007/978-0-387-34988-6_4 fatcat:6fwejtbhcvfiddynqmalvyt2qy

SPECIFYING HARDWARE SYSTEMS IN LOTOS [chapter]

Mohammed Faci, Luigi Logrippo
1993 Computer Hardware Description Languages and their Applications  
of OSI services and protocols.  ...  LOTOS, the Language Of Temporal Ordering Specifications, is a language that has been conceived in the framework of Open Systems Interconnection (OSI) standardization as a tool for the formal description  ...  Conclusions and Research Directions We have shown that LOTOS, a language initially designed for the formal description of communications protocols, is well suited for the description of digital systems  ... 
doi:10.1016/b978-0-444-81641-2.50028-9 fatcat:xrb6v33fnze6zkgyabe3uyz6v4

Synthesis of communications protocols

Kassem Saleh
1996 Computer communication review  
In this paper, we introduce protocol synthesis in the context of the protocol engineering process, and we briefly describe and survey the main features of the proposed synthesis methods.  ...  Protocol synthesis attempts to formalize and automate the process of designing communications protocols.  ...  Finally, I am grateful for the valuable suggestions by the anonymous referees which helped improving an earlier version of this paper.  ... 
doi:10.1145/242896.242900 fatcat:xocnk2l3xbhk7cvy4bhqxqee5e

Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-based Applications [chapter]

Manuel Aguilar Cornejo, Hubert Garavel, Radu Mateescu, Noël de Palma
2002 IFIP International Federation for Information Processing  
Starting from a reference implementation in JAVA, we produced a specification of the protocol using the Formal Description Technique LOTOS.  ...  This paper deals with the formal specification and model-checking verification of a dynamic reconfiguration protocol used in industrial agent-based applications.  ...  Acknowledgments We are grateful to Frédéric Lang for his careful reading and valuable comments on this paper, and for his assistance in using the SVL tool.  ... 
doi:10.1007/0-306-47005-5_20 fatcat:htx6a3usrbddbpir6jw4ixty64

A Synthesis Algorithm of a Protocol Model from a Single Entity [chapter]

Bhed Bahadur Bista, Zixue Cheng, Atsushi Togashi, Norio Shiratori
1995 IFIP Advances in Information and Communication Technology  
Protocol entities, in communication protocols, behave under sets of communication rules (protocols).  ...  In this paper, we propose a protocol synthesis algorithm in which a peer protocol entity is generated from a single given entity.  ...  States of a system specified in LOTOS are implicit and in FSMs explicit, thus state explosion can occur in the synthesis of protocol specifications of a large system in FSMs.  ... 
doi:10.1007/978-0-387-34878-0_40 fatcat:5bxvaqrx2bhx5mc2sflkyr3zvm

Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research [chapter]

Juan Quemada
2004 Lecture Notes in Computer Science  
prototypes, whereas formal methods emphasices the preciseness and proper mathematical foundations which eanble the production of unambiguous references needed in protocol engineering.  ...  The goals of formal methods and rapid prototyping are not in contradiction, but have very rarely been considered together.  ...  In addition the ISO-OSI protocol stack had a lower performance than the Internet stack due to the fact that the protocols were first specified and then implemented.  ... 
doi:10.1007/978-3-540-30232-2_3 fatcat:d56n2mbt45d4npetxdrmvbimra

Verification of an industrial SystemC/TLM model using LOTOS and CADP

Hubert Garavel, Claude Helmstetter, Olivier Ponsini, Wendelin Serwe
2009 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design  
In this paper, we present an approach to the validation of a SystemC/TLM description by translation into LOTOS, reusing as much as possible of the original SystemC/TLM C++ code.  ...  To this end, we exploit a feature offered by the formal verification toolbox CADP, namely the import of external C code in a LOTOS model.  ...  Hermitte, and R. Hersemeule (STMicroelectronics) for providing us with the BDisp case study and for their help with this work.  ... 
doi:10.1109/memcod.2009.5185377 dblp:conf/memocode/GaravelHPS09 fatcat:pxt6fp2bybagtakz6uvgyzlr6a

A Formal Description Technology: Graphical E-LOTOS [chapter]

Wen Li, Xinming Ye, Zhiyong Liu
1999 IFIP Advances in Information and Communication Technology  
The GE-LOTOS can be used as a design, execution, verification and testing tool for network communication protocol.  ...  In this paper, we propose a method of Formal Description Technology (FDT) GE-LOTOS---a Graphical mode of Enhanced LOTOS (E-LOTOS).  ...  The GE-LOTOS can become a very useful method which can be used in design, execution, verification, and testing for network communication protocol and distributed system. o For the new operators, we classify  ... 
doi:10.1007/978-0-387-35578-8_22 fatcat:hkbpdnhipvchjfbqgicngfrqfy

EVP: Integration of FDTs for the analysis and verification of communication protocols [chapter]

P. Merino, J. M. Troya
1996 Lecture Notes in Computer Science  
EVP is an integrated tool-set for specification and the analysis of communication protocols and distributed systems.  ...  Specifications in standard Formal De-~Tiption Techniques (FDTs) like SDL or LOTOS are translated into a common language, and then analysed with tools for this internal representation.  ...  In the Spanish project TEMA [6, 7], the new concurrent logic language DRL [2, 3] is designed to be the kernel language of a distributed multi-paradigm environment (EVP) for specifying and analysing communication  ... 
doi:10.1007/3-540-61474-5_90 fatcat:uamufsuovrf6rmb2dqveac447i

Formal methods for communication services: meeting the industry expectations

F. Dietrich, J.-P. Hubaux
2002 Computer Networks  
Based on our survey and on extensive discussions with the industry, w e investigate important industrial concerns and criticisms about the use of formal methods for the development of communication services  ...  We report on a collaborative project between the Swiss Federal Institute of Technology in Lausanne, Swisscom, Alcatel and Thomson in which these industrial concerns have been taken into account from the  ...  Logrippo, and P. Zave for their comments on the paper.  ... 
doi:10.1016/s1389-1286(01)00242-0 fatcat:dtfzk4dae5cfditxkfytunvgze
« Previous Showing results 1 — 15 out of 931 results