2009 | OriginalPaper | Chapter
Towards Compositional Verification in MEDISTAM-RT Methodological Framework
Authors : Kawtar Benghazi, Miguel J. Hornos, Manuel Noguera
Published in: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.