| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Logical time @ work: the RT-Simex project
Abstract : This paper overviews the benefits of using logical time in the context of the RT-Simex project. We focus on the use of logical time to, first, graphically specify the functional and extra-functional system requirements; second, to verify that an execution is correct with regards to the requirements. The system requirements are expressed by using the UML MARTE profile conjointly with CCSL, its formal and tooled companion language.
Cited literature [4 references]
https://hal.inria.fr/inria-00587151
Contributor : Team Kairos <>
Submitted on : Wednesday, April 20, 2011 - 10:07:33 AM
Last modification on : Tuesday, May 26, 2020 - 6:50:21 PM
Document(s) archivé(s) le : Thursday, July 21, 2011 - 2:38:50 AM
Contributor : Team Kairos <>
Submitted on : Wednesday, April 20, 2011 - 10:07:33 AM
Last modification on : Tuesday, May 26, 2020 - 6:50:21 PM
Document(s) archivé(s) le : Thursday, July 21, 2011 - 2:38:50 AM
File
deantoni_SAFA_2010.pdf
Files produced by the author(s)