Name
Abstract | ||
|---|---|---|
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. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1007/978-3-642-02481-8_29 | IWANN (2) |
Keywords | Field | DocType |
communication protocol,real time systems,system design,communication protocols,real time | Principle of compositionality,Data mining,Functional verification,Programming language,Terminology,Computer science,Intelligent verification,Runtime verification,High-level verification,Temporal consistency,Distributed computing,Communications protocol | Conference |
Volume | ISSN | Citations |
5518 | 0302-9743 | 0 |
PageRank | References | Authors |
0.34 | 9 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Kawtar Benghazi Akhlaki | 1 | 80 | 17.92 |
| Miguel J. Hornos | 2 | 101 | 14.77 |
| Manuel Noguera | 3 | 196 | 32.94 |