Abstract
Many modern systems are now being developed by aggregating other subsystems and components that may have different expected, though not exactly determined, characteristics and features. As such, these kinds of systems may exhibit features such as concurrency and probabilistic behavior . In this context, appropriate models are needed in order to effectively capture the system behavior.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Relating to the other probabilistic models supported by PRISM, CTMC can be viewed as DTMC with an infinitesimally small time step whereas MDP is extending DTMC with non-determinism [140].
References
L. Aceto, W. J. Fokkink, and C. Verhoef. Structural Operational Semantics, chapter 3, pages 197–292. In Bergstra, J. A., Ponse, A., and Smolka, S. A., editors, Handbook of Process Algebra. Elsevier Science, Amsterdam, 2001.
D. Agnew, L. J. M. Claesen, and R. Camposano, editors. Computer Hardware Description Languages and their Applications, volume A-32 of IFIP Transactions. North-Holland, Amsterdam, 1993.
R. Alur and T. A. Henzinger. Reactive Modules. Formal Methods in System Design, 15(1): 7–48, 1999.
C. Bock. Systems Engineering in the Product Lifecycle. International Journal of Product Development, 2:123–137, 2005.
C. Bock. SysML and UML 2 Support for Activity Modeling. Systems Engineering, 9(2):160–186, 2006.
M. Duflot, M. Kwiatkowska, G. Norman, and D. Parker. A Formal Analysis of Bluetooth Device Discovery. International Journal on Software Tools for Technology Transfer, 8(6):621–632, 2006.
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.
Object Management Group. UML Profile for Schedulability, Performance and Time, January 2005.
Object Management Group. Unified Modeling Language: Superstructure Version 2.1.1, February 2007.
Object Management Group. OMG Systems Modeling Language (OMG SysML) Specification v1.0, September 2007. OMG Available Specification.
H. A. Oldenkamp. Probabilistic Model Checking – A Comparison of Tools. Master’s Thesis, University of Twenty, The Netherlands, May 2007.
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, Providence, RI, 2004.
University of Birmingham. http://www.bham.ac.uk/. Last Visited: January 2010.
University of Oxford. http://www.ox.ac.uk/. Last Visited: January 2010.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Debbabi, M., Hassaïne, F., Jarraya, Y., Soeanu, A., Alawneh, L. (2010). Performance Analysis of Time-Constrained SysML Activity Diagrams. In: Verification and Validation in Systems Engineering. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15228-3_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-15228-3_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15227-6
Online ISBN: 978-3-642-15228-3
eBook Packages: Computer ScienceComputer Science (R0)