Abstract
As networking grows, requirements for communication services become more complex, such as ‘time-critical-communication real time system.’ 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.
Chapter PDF
References
M.T.Liu: Introduction to Special Issue on Protocol Engineering, IEEE Transactions on Computers,Vol.40,No.4,pp. 373–375 ( 1991. 4 ).
B.Sarikaya: PRINCIPLES OF PROTOCOL ENGINEERING AND CONFORMANCE TESTING, ELLIS HORWOOD(1993).
K.Turner: USING FORMAL DESCRIPTION TECHNIQUES, WILEY(1993).
Initial draft on Enhancements to LOTOS, Part 6 ISO/IEC JTC 1/SC 21 N8023 ( 1993. 11 ).
A.M.Clenaghan: Mapping Time-Extended LOTOS To Standard LOTOS, FORTE91, pp. 239–254 ( 1991. 10 ).
A.Nakata, T.Higashino, and K.Taniguchi: LOTOS enhancement to specify time constraint among non-adjacent actions using 1st-order logic, FORTE93, pp. 453–468 ( 1993. 10 ).
G.J.Holzmann: Design and Validation of Computer Protocols, PRENTICE HALL(1991.5).
N.Nakano: Time Critical Communication Architecture in Factory Automation,JSPEIFIP WG5.3 Workshop on THE DESIGN OF INFORMATION INFRASTRUCTURE SYSTEMS FOR MANUFACTURING, pp. 241–252 ( 1993. 11 ).
C.A.R.Hoare: Communicating SequentialProcesses,Prentice Hall(1985).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Ohta, K., Nakano, N., Sakai, S., Watanabe, T., Mizuno, T. (1995). Time Oriented Protocol Testing Simulator. In: Mizuno, T., Higashino, T., Shiratori, N. (eds) Protocol Test Systems. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34883-4_23
Download citation
DOI: https://doi.org/10.1007/978-0-387-34883-4_23
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6310-2
Online ISBN: 978-0-387-34883-4
eBook Packages: Springer Book Archive