Integration of reliability and performance analyses for active network services

Electronic Notes in Theoretical Computer Science

Volumn 133, Issue , 2005, Pages 217-236

  Del Mar Gallardo, María ^a   Martínez, Jesús ^a   Merino, Pedro ^a   Rodríguez, Guillermo ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

MDA; Performance analysis; Software testing; Specification; Verification; XML

Indexed keywords

ALGEBRA; AUTOMATION; COMPUTER PROGRAMMING LANGUAGES; PETRI NETS; QUALITY CONTROL; REAL TIME SYSTEMS; SOFTWARE ENGINEERING; TELECOMMUNICATION SERVICES; THROUGHPUT; XML;

MDA; PERFORMANCE ANALYSIS; SOFTWARE TESTING; SPECIFICATION; VERIFICATION;

COMPUTER NETWORKS;

EID: 18544383749     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.08.066     Document Type: Conference Paper

References (42)

1. T. Amnell, E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi TIMES: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems FORMATS 2003, Marseille, France September 6-7, 2003
2. S. Bhattacharjee, K.L. Calvert, and E.W. Zegura Self-Organizing Wide-Area Network Caches IEEE INFOCOM '98, San Francisco, CA March, 1998
3. S. Bhattacharjee, K. Calvert, and E. Zegura Reasoning about active network protocols IEEE ICNP'98 1998
4. K. Bhargavan, C.A. Gunter, M. Kim, I. Lee, D. Obradovic, O. Sokolsky, and M. Viswanathan Verisim: Formal Analysis of Network Simulations IEEE Transactions on Software Engineering 28 2 2002 129 145
5. M. Bozga, J.Cl. Fernandez, L. Ghirvu, S. Graf, J.P. Krimm, and L. Mounier IF: A Validation Environment for Timed Asynchronous Systems Proceedings of CAV'00 LNCS 1855 July 2000 Springer-Verlag 543 547
6. K.L. Calvert, S. Bhattacharjee, E. Zegura, and J. Sterbenz Directions in Active Network Research IEEE Communications Magazine 36 10 1998 72 78
7. K. Chandy, and J. Misra Parallel Program Design 1998 Addison-Wesley
8. M. Calderon, M. Sedano, A. Azcorra, and C. Alonso Active Network Support for Multicast Applications IEEE Network 1998 46 52
9. E.M. Clarke Formal methods: state of the art and future directions ACM Computing Surveys 28 4 1996 626 643
10. D. Dams Abstraction in Software Model Checking: Principles and Practice 9th Int. SPIN Workshop. Model Checking Software LNCS 2318 2002 Springer 14 21
11. A. David, G. Behrmann, K.G. Larsen, and W. Yi A Tool architecture for the next generation of UPPAAL Formal Methods at the Crossroads: from Panacea to Foundational Support, the proceedings of UNU/IIST 10th Anniversary Colloquium LNCS 2757 2003 Springer
12. E. Dominguez, A. Rubio, M. Zapata. Mapping models between different modelling languages. Workshop on Integration and Transformation of UML models.2000
13. P.R. D'Argenio, H. Hermanns, J.-P. Katoen, and R. Klaren MoDeST - A Modelling and Description Language for Stochastic Timed Systems, Proc. of Process Algebra and Probabilistic Methods Performance Modeling and Verification. Joint International Workshop PAPM-PROBMIV 2001 LNCS 2165 2001 87 104
14. M. Diaz, C. Vissers, and J. Ansart Sedos Software Environment for the Design of Open Distributed Systems The formal Description Technique LOTOS 1989 North-Holland
15. T. Faber ACC: Using Active Networking to Enhance Feedback Congestion Control Mechanisms IEEE Network 12 3 1998 61 65
16. J.C. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, and M. Sighireanu CADP: A Protocol Validation and Verification Toolbox Proceedings of the 8th Conference on Computer-Aided Verification 1996 Springer 437 440 vol. 1102
17. M.M. Gallardo, J. Martinez, P. Merino and E. Rosales, Using XML to implement Abstraction for Model Checking. In Proc. of ACM Symposium on Applied Computing, 2002
18. M.M. Gallardo, J. Martinez, P. Merino. Model Checking Active Networks with SPIN. Computer Communications (to appear)
19. M.M. Gallardo, J. Martinez, P. Merino, and E. Pimentel aSPIN: A Tool for Abstract Model Checking International Journal on Software Tools for Technology Transfer 5 2-3 2004 165 184
20. M.M. Gallardo, J. Martinez, P. Merino, and E. Pimentel Abstracting UML behavioral diagrams for verification. Chapter Hongji Yang Software Evolution with UML and XML 2004 IDEA Group Publishing to appear
21. A. Gerber, M. Lawley, K. Raymond, J. Steel, and A. Wood Transformation: The Missing Link of MDA Lecture notes in computer science 2505 2002 Springer-Verlag
22. J. Hatcliff, M. Dwyer, and C. Pasareanu Foundations of the bandera abstraction tools The essence of compution 172-203 2003 Springer Verlag
23. G.J. Holzmann Design and Validation of Comp. Protocolos 1991 Prentice-Hall
24. G.J. Holzmann The Model Checker SPIN IEEE Trans. on SE 23 5 1997
25. ITU-T.Z. 100 - Specification and Description Language (SDL), 2000
26. S. Kasera Scalable fair reliable multicast using active services IEEE Network Magazine 2000
27. C. Kong, D. Dieckman, and P. Alexander Formal Modeling of Active Network Nodes Using PVS Workshop on Formal Methods in Software Practice (FMSP-00) 2000
28. U. Legedza, D.J. Wetherall, and J.V. Guttag Improving the Performance of Distributed Applications Using Active Network Protocols Proc. IEEE INFOCOM'98 1998
29. Object Management Group. mda guide version 1.0.1. omg/2003-06-01. June, 2003
30. Object Management Group. xml Metadata Interchange, version 2.0. May, 2003
31. D. Peled Software Reliability Methods 2001 Springer
32. M. Peltier, J. Bezivin, G. Guillaume. MTRANS: A general framework, based on XSLT, for model transformations. Workshop on Transformation in UML, 2001
33. D. Pollet, D. Vojtisek. OCL as a Core UML Transformation Language. Workshop on Integration and Transformation of UML models, 2002
34. R. Reed W. Bouma J.D. Evans M. Dauphin M. Michel The SPECS Consortium. Specification and Programming Environment for Communication Software 1993 North-Holland
35. G. Rodríguez, P. Merino, and M.M. Gallardo An extension of the ns simulator for active network research Computer Communications 25 2002 189 197
36. S. Katz: Faithful Translations among Models and Specifications, Proc. of Formal Methods Europe, 2001
37. M. Stehr, and C. Talcott PLAN in Maude. Specifying an Active Network Programming Language Electronic Notes in theoretical Computer Science 71 2002
38. D. Tennenhouse, and D. Wetherall Towards an active network architecture Computer Communication Review 26 2 1996
39. The ETI Platform Available at http://eti.cs.uni-dormund.de 2004
40. The Network Simulator ns-2 Available at http://www.isi.edu/nsnam/ns/ 2004
41. D.J. Wetherall, J.V. Guttag, and D.L. Tennenhouse ANTS: Network Services without the Red Tape IEEE Computer 1999
42. W3Consortium. Extensible Markup Language (XML) 1.0 (Second Edition), available in http://www.w3.org/XML/ 2000