Add to ORKGInternational audienceThe design of embedded control software calls for stringent real-time constraints. For that, formalisms and theories based on the notion of logical time give abstraction of real-time durations that are usually not known at design level. Comparison between synchronous languages, Logical Execution Time (LET) and the PsyC language can be fruitful, in our case, with the goal of empowering the industrial language PsyC, which is close to LET, with (logical) time and functional verification methods inspired from synchronous languages
Real-time systems are found in an increasing variety of application elds. Usually, they are embedded...
The development of a product typically starts with the specification of the user’s requirements and ...
To specify and verify real-time systems, we consider a real-time version of temporal logic called Ex...
International audienceReal-Time industrial systems are not so much of those that have to perform tas...
National audienceThis paper overviews the benefits of using logical time in the context of the RT-Si...
Model-Driven Engineering enables to assess a system's model properties since the early phases of its...
Logical time is a relaxed form of time promoted by synchronous languages that is functional, elastic...
Formal methods have proved to be highly beneficial in the requirements specification phase of softwa...
. The most natural, compositional, way of modeling real-time systems uses a dense domain for time. T...
Formal methods have proved to be highly beneficial in the requirements specification phase of softwa...
The purpose of this document is to provide an analysis of the SAE standard AADL (AS5506) and submit ...
peer reviewedOur work is a contribution towards addressing what Thomas Henziger called the grand cha...
International audienceThis article presents a schedulability analysis for real-time systems designed...
AbstractCompilation or translation is not only an issue at the level of program but also at the leve...
In this paper we motivate the need for applying logic programming to the specification of real-time ...
Real-time systems are found in an increasing variety of application elds. Usually, they are embedded...
The development of a product typically starts with the specification of the user’s requirements and ...
To specify and verify real-time systems, we consider a real-time version of temporal logic called Ex...
International audienceReal-Time industrial systems are not so much of those that have to perform tas...
National audienceThis paper overviews the benefits of using logical time in the context of the RT-Si...
Model-Driven Engineering enables to assess a system's model properties since the early phases of its...
Logical time is a relaxed form of time promoted by synchronous languages that is functional, elastic...
Formal methods have proved to be highly beneficial in the requirements specification phase of softwa...
. The most natural, compositional, way of modeling real-time systems uses a dense domain for time. T...
Formal methods have proved to be highly beneficial in the requirements specification phase of softwa...
The purpose of this document is to provide an analysis of the SAE standard AADL (AS5506) and submit ...
peer reviewedOur work is a contribution towards addressing what Thomas Henziger called the grand cha...
International audienceThis article presents a schedulability analysis for real-time systems designed...
AbstractCompilation or translation is not only an issue at the level of program but also at the leve...
In this paper we motivate the need for applying logic programming to the specification of real-time ...
Real-time systems are found in an increasing variety of application elds. Usually, they are embedded...
The development of a product typically starts with the specification of the user’s requirements and ...
To specify and verify real-time systems, we consider a real-time version of temporal logic called Ex...