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.
https://hal.inria.fr/inria-00587151
Contributor : Team Kairos <>
Submitted on : Wednesday, April 20, 2011 - 10:07:33 AM Last modification on : Thursday, January 21, 2021 - 10:46:02 AM Long-term archiving on: : Thursday, July 21, 2011 - 2:38:50 AM