Add to ORKGThis paper describes a multi-formalism experiment design in the domain of real-time control systems. It uses several synchronous languages on a case studu which is a realistic industrial example. Co-simulation is provided through the use of a common format, and automatic distributed code generation is experimented in the context of the graphical environment of the data-flow language Signal
This paper addresses the design of distributed systems with synchronous dataflow languages. As modul...
The paper introduces a higher-order synchronous data-flow language in which communication channels m...
ARTIST Survey of Programming Languages, Alan Burns, Ed., http://www.artist-embedded.org/artist/ARTIS...
This paper describes a multi-formalism experiment design in the domain of real-time control systems....
This paper describes a multi-formalism experiment design in the domain of real-time control systems....
International audienceSIGNAL, a synchronous and data-flow oriented language, allows the user to desi...
In this paper, we present a theory of synchronous data-flow languages. Our theory is supported by bo...
This paper motivates the use of a synchronous methodology to program, to verify and to implement rea...
Methods for formal specification have been studied and evaluated in the academic environments alread...
This paper presents Signal-Meta, the metamodel designed for the synchronous data-flow language SIGNA...
International audienceArchitecture Analysis and Design Language (AADL) is used to describe the hardw...
With complex systems and complex requirements being a challenge that designers must face to reach qu...
International audienceThis paper presents Signal-Meta, the metamodel designed for the synchronous da...
ISSN 1206-212XInternational audienceModelling complex software systems requires multiple modelling f...
This paper addresses the design of distributed systems with synchronous dataflow languages. As modul...
The paper introduces a higher-order synchronous data-flow language in which communication channels m...
ARTIST Survey of Programming Languages, Alan Burns, Ed., http://www.artist-embedded.org/artist/ARTIS...
This paper describes a multi-formalism experiment design in the domain of real-time control systems....
This paper describes a multi-formalism experiment design in the domain of real-time control systems....
International audienceSIGNAL, a synchronous and data-flow oriented language, allows the user to desi...
In this paper, we present a theory of synchronous data-flow languages. Our theory is supported by bo...
This paper motivates the use of a synchronous methodology to program, to verify and to implement rea...
Methods for formal specification have been studied and evaluated in the academic environments alread...
This paper presents Signal-Meta, the metamodel designed for the synchronous data-flow language SIGNA...
International audienceArchitecture Analysis and Design Language (AADL) is used to describe the hardw...
With complex systems and complex requirements being a challenge that designers must face to reach qu...
International audienceThis paper presents Signal-Meta, the metamodel designed for the synchronous da...
ISSN 1206-212XInternational audienceModelling complex software systems requires multiple modelling f...
This paper addresses the design of distributed systems with synchronous dataflow languages. As modul...
The paper introduces a higher-order synchronous data-flow language in which communication channels m...
ARTIST Survey of Programming Languages, Alan Burns, Ed., http://www.artist-embedded.org/artist/ARTIS...