Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International ... and Communication Protocols (FORTE XI) and P - Softcover

Softcover

ISBN 10: 147575261X ISBN 13: 9781475752618

Publisher: Springer, 2013

Synopsis

Preface. Part I: FDTs Extensions. 1. An Algebraic Semantics for Message Sequence Chart Documents; T. Gehrke, et al. 2. Open Estelle - An FDT for Open Distributed Systems; J. Thees, R. Gotzhein. 3. A Graphical Representation and Prototype Editor for the Formal Description Technique Estelle; J. Templemore-Finlayson, et al. Part Two: Verification 1. 4. Protocol Feature Interactions; T.F. LaPorta, et al. 5. Limits and Possibilities of Sequential Hashing with Supertrace; J. Eckerle, T. Lais. Part Three: Test 1. 6. Fault-Oriented Test Generation for Multicast Routing Protocol Design; A. Helmy, et al. 7. Issues in Confromance Testing: Multiple Semicontrollable Interfaces; M.A. Fecko, et al. 8. Automatic Test Case Generation of Real Protocols: Framework and Methodology; T-H. Kim, et al. 9. Quality of Service in Integrated Networks; P.J. Kuehn. Part Four: Methodology 1. 10. Enumeration Protocol in Estelle: an Exercise in Stepwise Development; P. Dembinski. 11. A Design Methodology for the Formal Specification and Verification of Hypermedia Documents; C.A.S. Santos, et al. Part Five: Methodology 2. 12. Frameworks by Means of Virtual Types - Exemplified by SDL; R. Braek, B. Møller-Pedersen. 13. SDL-Pattern Based Development of a Communication Subsystem for CAN; B. Geppert, et al. Part Six: Verification 2. 14. On-the-fly Instantiation of Value-Passing Processes; H. Lin. 15. SolvingAsynchronous Equations; A. Petrenko, N. Yevtushenko. 16. Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers; S.V. Aguiar Campos. Part Seven: Case Studies. 17. SDL Specification and Verification of Universal Personal Computing: With Object GEODE; M. Törö, et al. 18. Development of a Validation System Based on Formal Description Techniques: Application to an Ada Run Time System; G. Huecas, et al. 19. Full-Automatic Implementation of Protocol Programs for OSI Application Protocols over ROSE; T. Hasegawa, et al. 20. A Logical Framework for Distributed Systems and Communication Protocols; J. Meseguer. Part Eight: Test 2. 21. Exploiting Symmetry in Protocol Testing; J. Romijn, J. Springintveld. 22. Towards Automatic Distribution of Testers for Distributed Conformance Testing; C. Jard, et al. Part Nine: Hardware/Software Development. 23. On the Improvement of Estelle Based Automatic Implementations; O. Catrina, A. Nogai. 24. Hardwaer &endash; Software Co-Design of Embedded Telecommunication Systems Using Multiple Formalisms for Application Development; N.S. Voros, et al. 25. Hardware Synthesis from Protocol Specifications in LOTOS; K. Yasumoto, et al. Part Ten: Real-Time & Performance. 26. Integrating Real Time Into Spin: A Prototype Implementation; D. Bosnacki, D. Dams. 27. CMC: A Tool for Compositional Model-Checking of Real-Time Systems; F. Laroussinie, K.G. Larsen. 28. TwoTowers: A Tool Integrating Functional and Performanc

Edition details

• Publisher: Springer
• Publication date: 2013
• Language: English
• ISBN 10: 147575261X
• ISBN 13: 9781475752618
• Binding: Paperback
• Number of pages: 484
• Editor: Budkowski Stan, Cavalli Ana, Najm Elie