International audienceWe start this chapter by explaining how modeling needs of thereal-time community have lead to the introduction of synchronouslanguages in the early 1980s. We present the characteristics of theselanguages as well as their limitations. We then propose aclassification of synchronous languages and of the languages relatedto them. This introduces a description of the main synchronouslanguages Signal, Lustre and Esterel byhighlighting their similarities and differences. We follow bydescribing the main techniques which allow to perform real-timescheduling from these synchronous languages. Finally, we present a fewextensions of these languages allowing to perform real-time schedulingmore easily
This paper describes an extension to Lustre to support the analysis of globally asyn-chronous, local...
We propose synchronous interfaces, a new interface theory for discrete-time systems. We use an appli...
This paper describes a system called SATURNE (Synchronous AnyTime coUpling for Real-time reasoNing d...
International audienceWe start this chapter by explaining how modeling needs of thereal-time communi...
Synchronous programming languages are programming languages with an abstract (logical) notion of tim...
Twelve years ago, Proceedings of the IEEE devoted a special section to the synchronous languages. Th...
Abstract: Synchronization expressions (SEs) were originally developed as practical high-level constr...
This is the first part of a series of three articles on synchronous programming. It introduces the b...
This seminar was the 11th in a series of semi-annual workshops on the Synchronous Languages (Esterel...
Twelve years ago, Proceedings of the IEEE devoted a special section to the synchronous languages. Th...
. The multi-language environment Synchronie supports the design and formal verification of synchron...
Synchronization languages are a model used to describe the behaviors of distributed applications who...
International audienceSynchronization languages are a model used to describe the behaviors of distri...
International audienceSynchronous languages, such as the recently proposed SCCharts language, have b...
International audienceWe propose synchronous interfaces, a new interface theory for discrete-time sy...
This paper describes an extension to Lustre to support the analysis of globally asyn-chronous, local...
We propose synchronous interfaces, a new interface theory for discrete-time systems. We use an appli...
This paper describes a system called SATURNE (Synchronous AnyTime coUpling for Real-time reasoNing d...
International audienceWe start this chapter by explaining how modeling needs of thereal-time communi...
Synchronous programming languages are programming languages with an abstract (logical) notion of tim...
Twelve years ago, Proceedings of the IEEE devoted a special section to the synchronous languages. Th...
Abstract: Synchronization expressions (SEs) were originally developed as practical high-level constr...
This is the first part of a series of three articles on synchronous programming. It introduces the b...
This seminar was the 11th in a series of semi-annual workshops on the Synchronous Languages (Esterel...
Twelve years ago, Proceedings of the IEEE devoted a special section to the synchronous languages. Th...
. The multi-language environment Synchronie supports the design and formal verification of synchron...
Synchronization languages are a model used to describe the behaviors of distributed applications who...
International audienceSynchronization languages are a model used to describe the behaviors of distri...
International audienceSynchronous languages, such as the recently proposed SCCharts language, have b...
International audienceWe propose synchronous interfaces, a new interface theory for discrete-time sy...
This paper describes an extension to Lustre to support the analysis of globally asyn-chronous, local...
We propose synchronous interfaces, a new interface theory for discrete-time systems. We use an appli...
This paper describes a system called SATURNE (Synchronous AnyTime coUpling for Real-time reasoNing d...