Add to ORKGNational audienceThis 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
http://timesquare.inria.frTimeSquare is a software environment for the modeling, simulation and anal...
NewPort BeachInternational audienceThis paper presents an approach for modeling simulating and analy...
International audienceThis presentation demonstrates the early results from the French ANR project R...
National audienceThis paper overviews the benefits of using logical time in the context of the RT-Si...
Logical time is a relaxed form of time promoted by synchronous languages that is functional, elastic...
Design of real-time embedded systems requires particular attention to the careful scheduling of appl...
International audienceThe design of embedded control software calls for stringent real-time constrai...
The original publication is available at www.springerlink.com.International audienceThe Object Manag...
Chapter 7Multiform logical time, introduced and made popular through its central role in Synchronous...
The UML Profile for Modeling and Analysis of Real-Time and Embedded (MARTE) systems has recently bee...
The original publication is available at www.springerlink.com (http://dx.doi.org/10.1007/978-3-540-7...
The original publication is available at http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn...
CCSL has arisen from different inspiring models in an attempt to abstract away the data and the algo...
International audienceData-flow models are convenient to represent signal processing systems. They p...
International audienceData-flow models are convenient to represent signal processing systems. They p...
http://timesquare.inria.frTimeSquare is a software environment for the modeling, simulation and anal...
NewPort BeachInternational audienceThis paper presents an approach for modeling simulating and analy...
International audienceThis presentation demonstrates the early results from the French ANR project R...
National audienceThis paper overviews the benefits of using logical time in the context of the RT-Si...
Logical time is a relaxed form of time promoted by synchronous languages that is functional, elastic...
Design of real-time embedded systems requires particular attention to the careful scheduling of appl...
International audienceThe design of embedded control software calls for stringent real-time constrai...
The original publication is available at www.springerlink.com.International audienceThe Object Manag...
Chapter 7Multiform logical time, introduced and made popular through its central role in Synchronous...
The UML Profile for Modeling and Analysis of Real-Time and Embedded (MARTE) systems has recently bee...
The original publication is available at www.springerlink.com (http://dx.doi.org/10.1007/978-3-540-7...
The original publication is available at http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn...
CCSL has arisen from different inspiring models in an attempt to abstract away the data and the algo...
International audienceData-flow models are convenient to represent signal processing systems. They p...
International audienceData-flow models are convenient to represent signal processing systems. They p...
http://timesquare.inria.frTimeSquare is a software environment for the modeling, simulation and anal...
NewPort BeachInternational audienceThis paper presents an approach for modeling simulating and analy...
International audienceThis presentation demonstrates the early results from the French ANR project R...