Automatic verification and performance analysis of time-constrained SysML activity diagrams

Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems

Volumn , Issue , 2007, Pages 515-522

  Jarraya, Yosr ^a   Soeanu, Andrei ^a   Debbabi, Mourad ^a   Hassaïne, Fawzi ^b  

^a Concordia University ^*  (Canada)

^b DEFENCE RESEARCH AND DEVELOPMENT CANADA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CONFORMAL MAPPING; MARKOV PROCESSES; MATHEMATICAL MODELS; REAL TIME SYSTEMS; SEMANTICS;

ACTIVITY DIAGRAMS; AUTOMATIC VERIFICATION; PERFORMANCE ANALYSIS; TIME CONSTRAINTS;

VERIFICATION;

EID: 34250162897     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.2007.22     Document Type: Conference Paper

References (16)

1. R. Alur and T. A. Henzinger. Reactive Modules. Form. Methods Syst. Des., 15(1):7-48, 1999.
2. S. Balsamo, A. D. Marco, P. Inverardi, and M. Simenoni. Model-Based Performance Prediction in Software Development: A Survey. IEEE Transactions on Software Engineering (TSE), 30(5):295-310, May 2004.
3. S. Balsamo and M. Marzolla. Performance Evaluation of UML Software Architectures with Multiclass Queueing Network Models. In WOSP '05: Proceedings of the 5th international workshop on Software and performance, pages 37-42, New York, USA, 2005. ACM Press.
4. C. Bock. Systems Engineering in the Product Lifecycle. Int. Journal Product Development, 2:123137, 2005.
5. C. Bock. SysML and UML 2 support for Activity Modeling. Syst. Eng., 9(2):160-186, 2006.
6. C. Canevet, S. Gilmore, J. Hillston, L. Kloul, and P. Stevens. Analysing UML 2.0 Activity Diagrams in the Software Performance Engineering Process. In WOSP '04: Proceedings of the 4th international workshop on Software and performance, pages 74-78, New York, USA, 2004. ACM Press.
7. F. Ciesinski and M. Größer. On Probabilistic Computation Tree Logic. In Validation of Stochastic Systems, pages 147-188, 2004.
8. E. M. Clarke and E. A. Emerson. Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic. In Logic of Programs, Workshop, pages 52-71, London, UK, 1982. Springer-Verlag.
9. O. M. G. UML Profile for Schedulability, Performance and Time, January 2005.
10. O. M. G. OMG Systems Modeling Language (OMG SysML) Specification, May 2006. Final Adopted Specification of Systems Modeling Language (SysML).
11. O. M. G. Unified Modeling Language: Superstructure Ver-sion 2.1, April 2006.
12. M. Kwiatkowska, G. Norman, and D. Parker. Quantitative Analysis with the Probabilistic Model Checker PRISM. Electronic Notes in Theoretical Computer Science, 153(2):5-31, 2005.
13. I. C. on Systems Engineering (INCOSE). INCOSE 2003 Fact Sheet, http://www.incose.org/symp2003/Sponsor%20Fact%20sheet.pdf.
14. J. Rutten, M. Kwiatkowska, G. Norman, and D. Parker. Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems, volume 23 of CRM Monograph Series. American Mathematical Society, 2004.
15. J. Trowitzsch, A. Zimmermann, and G. Hommel. Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets. In IPDPS '05: Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2, page 139.2, Washington, DC, USA, 2005. IEEE Computer Society.
16. L. Xuandong, C. Meng, P. Yu, Z. Jianhua, and Z. Guoliang. Timing Analysis of UML Activity Diagrams. In UML'01: Proceedings of the 4th Int. Conf. on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, pages 62-75, London, UK, 2001. Springer-Verlag.