Reliability prediction in model-driven development

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

Volumn 3713 LNCS, Issue , 2005, Pages 339-354

  Rodrigues, Genaína N ^a   Rosenblum, David S ^a   Uchitel, Sebastian ^b  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; COMPUTER SOFTWARE; QUALITY OF SERVICE; SIGNAL FILTERING AND PREDICTION; SOFTWARE ENGINEERING;

ARCHITECTURE DESIGN; BOILER SYSTEM; LABELED TRANSITION SYSTEM; PROFILE FOR MODELING QUALITY OF SERVICE; RELIABILITY PREDICTION;

RELIABILITY THEORY;

EID: 33646204821     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11557432_25     Document Type: Conference Paper

References (24)

1. A. Aviz̊ienis, J. Laprie, and B. Randell. Fundamental Concepts of Dependability. In Proc. IARP/IEEE-RAS Workshop on Robot Dependability, May 2001.
2. T. Ayles, A. Field, J. Magee, and A. Bennett. Adding Performance Evaluation to the LISA Tool (Tool Demonstration). In Proc. 13th Performance Tools, September 2003.
3. R. C. Cheung. A User-Oriented Software Reliability Model. In IEEE Transactions on Software Engineering, volume 6(2), pages 118-125. IEEE, Mar. 1980.
4. th WOSP, pages 197-206. ACM Press, 2004.
5. P. R. D'Argenio, H. Hermanns, and J.-P. Katoen. On Generative Parallel Composition. In Electronic Notes in Theoretical Computer Science, volume 22. Elsevier, 2000.
6. G. P. Gu and D. C. Petriu. Early Evaluation of Software Performance Based on the UML Performance Profile. In Proc. of the 2003 CASCON, pages 66-79. IBM Press, 2003.
7. J. Magee and J. Kramer. Concurrency: State Models and Java Programs. Wiley, NY, 1999.
8. I. Majzik, A. Pataricza, and A. Bondavalli. Stochastic Dependability Analysis of System Architecture Based on UML Models. In Architecting Dependable Systems, LNCS-2667, pages 219-244. Springer, 2003.
9. J. D. Musa. Operational profiles in software-reliability engineering. IEEE Software, 10(2):14-32, 1993.
10. NoMagic Inc. MagicDraw UML. http://www.magicdraw.com/.
11. OMG. Model Driven Architecture, http://www.omg.org/mda/, July 2001.
12. OMG. XMI Specification, http://www.omg.org/cgi-bin/doc?formal/2002-01-01, Jan 2002.
13. OMG. MOF 2.0 Specification, http://www.omg.org/cgi-bin/doc?ptc/2003-10- 04, Oct2003.
14. OMG. UML 2.0 Superstructure, http://www.omg.org/cgi-bin/doc?ptc/2004-10- 02, 2003.
15. OMG. UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms. http://www.omg.org/docs/ptc/04-09-01.pdf, Sep2004.
16. OMG. UML Profile for Schedulability, Performance and Time Specification. http://www.omg.org/technology/documents/formal/schedulability.htm, Jan 2005.
17. G. Rodrigues, G. Roberts, and W. Emmerich. Reliability Support for the Model Driven Architecture. In Architecting Dependable Systems II. Springer, LNCS 3069, 2004.
18. G. Rodrigues, D. Rosenblum, and S. Uchitel. Sensitivity Analysis for a Scenario-Based Reliability Prediction Model. In Proc. ICSE 2005 Workshop on Architecting Dependable Systems, pages 73-77, May 2005.
19. G. Rodrigues, D. Rosenblum, and S. Uchitel. Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems. In Proc. ETAPS 2005 Conference on Formal Approaches to Software Engineering, pages 111-126. Springer, LNCS 3442, 2005.
20. th ASE. Toronto, CA. IEEE Computer Society, Oct. 2001.
21. th TACAS, Warsaw, Apr. 2003.
22. S. Uchitel, J. Kramer, and J.Magee. Synthesis of Behavioral Models from Scenarios. IEEE Transactions on Software Engineering, 29(2):99-115, Feb. 2003.
23. S. Uchitel, J. Kramer, and J.Magee. Incremental Elaboration of Scenario-Based Specifications and Behavior Models Using Implied Scenarios. ACM Transactions on Software Engineering and Methodologies, 13(1):37-85, Jan. 2004.
24. W3C. XSL Transformations (XSLT). http://www.w3.org/TR/xslt, November 1999.