In this paper, we present results ensuring the correct compositionality of the components (named capsules in UML-RT terminology) of a real-time system at different specification stages using the methodological framework called MEDISTAM-RT, which guarantees the temporal consistency and safe (deadlock free) communication between capsules. This allows the compositional verification of systems designed with this methodology, in such a way that the verification of a complete real-time system can be reduced to the verification of its smallest capsules. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Benghazi, K., Hornos, M. J., & Noguera, M. (2009). Towards compositional verification in MEDISTAM-RT methodological framework. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5518 LNCS, pp. 211–218). https://doi.org/10.1007/978-3-642-02481-8_29
Mendeley helps you to discover research relevant for your work.