Modeling, validation, and verification of PCEP using the if language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5522 LNCS, Issue , 2009, Pages 122-136

  Hwang, Iksoon ^a   Lallali, Mounir ^a   Cavalli, Ana ^a   Verchere, Dominique ^b  

^a INSTITUT NATIONAL DES TÉLÉCOMMUNICATIONS   (France)

^b NOKIA RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TEST GENERATION; COMMUNICATING TIMED AUTOMATA; CONSTRAINT-BASED; FORMAL SPECIFICATION; PARTIAL STATE; PATH COMPUTATION; TEST CASE; TEST PURPOSE; TOOLSETS; VALIDATION AND VERIFICATION; INDUSTRIAL PROTOCOLS;

LINGUISTICS; SPACE RESEARCH; SPECIFICATIONS; COMPUTATIONAL LINGUISTICS; FORMAL METHODS; FORMAL SPECIFICATION;

FORMAL METHODS; MODELING LANGUAGES;

EID: 70349325836     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02138-1_8     Document Type: Conference Paper

References (14)

1. Software Engineering Institute/Carnegie Mellon: Capability Maturity Model Integration (CMMISM) for Software Engineering Version 1.1 (2002)
2. Bozga, M., Fernandez, J.C., Ghirvu, L., Jard, C., Jron, T., Kerbrat, A., Morel, P., Mounier, L.: Verification and test generation for the SSCOP protocol. Journal of Science of Computer Programming 36, 27-52 (2000)
3. Jia, G., Graf, S.: Verification experiments on the MASCARA protocol. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol. 2057, pp. 123-142. Springer, Heidelberg (2001)
4. Bozga, M., Graf, S., Mounier, L.: IF-2.0: A validation environment for componentbased real-time systems. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 343-348. Springer, Heidelberg (2002)
5. Hessel, A., Pettersson, P.: Model-based testing of a WAP gateway: An industrial case-study. In: Brim, L., Haverkort, B.R., Leucker, M., van de Pol, J. (eds.) FMICS 2006 and PDMC 2006. LNCS, vol. 4346, pp. 116-131. Springer, Heidelberg (2007)
6. Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a Nutshell. Int. Journal on Software Tools for Technology Transfer 1, 134-152 (1997)
7. Audouin, O., Cavalli, A., Chiosi, A., Leclerc, O., Mouton, C., Oksman, J., Pasin, M., Rodrigues, D., Thual, L.: CARRIOCAS project: an experimental high bit rate optical network tailored for computing and data intensive distributed applications. In: Society of Photo-Optical Instrumentation Engineers (SPIE) Conference Series (2007)
8. Vasseur, J.P., Le Roux, J.L.: Path Computation Element (PCE) Communication Protocol, IETF Internet draft, draft-ietf-pce-pcep-19.txt, work in progress (November 2008)
9. Bozga, M., Graf, S., Ober, I., Ober, I., Sifakis, J.: The IF toolset. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 237-267. Springer, Heidelberg (2004)
10. Cavalli, A.R., Montes De Oca, E., Mallouli, W., Lallali, M.: Two complementary tools for the formal testing of distributed systems with time constraints. In: Proceedings of the 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, Vancouver, Canada, pp. 315-318 (2008)
11. Postel, J.: Transmission Control Protocol. RFC 793 (Standard), Updated by RFCs 1122, 3168 (1981)
12. Fernandez, J.C., Garavel, H., Kerbrat, A., Mounier, L., Mateescu, R., Sighireanu, M.: CADP - A protocol validation and verification toolbox. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 437-440. Springer, Heidelberg (1996)
13. Fernandez, J.-C., Jard, C., Jéron, T., Viho, C.: Using on-the-fly verification techniques for the generation of test suites. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 348-359. Springer, Heidelberg (1996)
14. Cavalli, A.R., Lee, D., Rinderknecht, C., Zaïdi, F.: Hit-or-Jump: An algorithm for embedded testing with applications to in services. In: Proceedings of FORTE XII / PSTV XIX 1999, pp. 41-56. Kluwer, Dordrecht (1999)