An ML-like module system for the synchronous language SIGNAL. Synchronous languages, such as SIGNAL, are best suited for the design of dependable real-time systems. Synchronous languages enable a very high-level specification and an extremely modular implementation of complex systems by structurally decomposing them into elementar synchronous processes. Separate compilation in reactive languages is however made a difficult issue by global safety requirements. To enable separate compilation of the functional components of reactive systems while preserving their global integrity, we introduce a module system for SIGNAL. Just as data-types describe the invariants of program modules in functional languages, temporal and data-flow invariants interface SIGNAL processes to their enviroument. In conventional languages, typing is the medium allowing the separate compilation of functions in a program. In SIGNAL, the notion of conditional data-flow graph can similarly be used for separately compiling reactive processes and for assembling them in complex systems. Following this principle, we present the first design and implementation of a polymorphic type system and of a module system for the synchronous language SIGNAL

References in zbMATH (referenced in 52 articles , 1 standard article )

Showing results 1 to 20 of 52.
Sorted by year (citations)

1 2 3 next

  1. Bozzelli, Laura; Sánchez, César: Foundations of Boolean stream runtime verification (2016)
  2. Raymond, Pascal; Maiza, Claire; Parent-Vigouroux, Catherine; Carrier, Fabienne; Asavoae, Mihail: Timing analysis enhancement for synchronous program (2015)
  3. Prähofer, Herbert; Schatz, Roland; Wirth, Christian; Hurnaus, Dominik; Mössenböck, Hanspeter: Monaco -- a domain-specific language solution for reactive process control programming with hierarchical components (2013)
  4. Ju, Lei; Huynh, Bach Khoa; Roychoudhury, Abhik; Chakraborty, Samarjit: Performance debugging of Esterel specifications (2012)
  5. Pagetti, Claire; Forget, Julien; Boniol, Frédéric; Cordovilla, Mikel; Lesens, David: Multi-task implementation of multi-periodic synchronous programs (2011)
  6. Bliudze, Simon; Sifakis, Joseph: Causal semantics for the algebra of connectors (2010)
  7. Field, John; Marinescu, Maria-Cristina; Stefansen, Christian: Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications (2009)
  8. Jose, Bijoy A.; Xue, Bin; Shukla, Sandeep K.: An analysis of the composition of synchronous systems (2009)
  9. Stevens, Kenneth S.; Gebhardt, Daniel; You, Junbok; Xu, Yang; Vij, Vikas; Das, Shomit; Desai, Krishnaji: The future of formal methods and GALS design (2009)
  10. Xue, Bin; Shukla, Sandeep K.: Modeling and analyzing the implementation of latency-insensitive protocols using the polychrony framework (2009)
  11. Boucaron, Julien; Millo, Jean-Vivien; De Simone, Robert: Another glance at relay stations in latency-insensitive design. (2006)
  12. Cooper, Gregory H.; Krishnamurthi, Shriram: Embedding dynamic dataflow in a call-by-value language (2006)
  13. Doucet, Frederic; Menarini, Massimiliano; Krüger, Ingolf H.; Gupta, Rajesh K.; Talpin, Jean-Pierre: A verification approach for GALS integration of synchronous components. (2006)
  14. Hammond, Kevin: Exploiting purely functional programming to obtain bounded resource behaviour: The Hume approach (2006)
  15. Hamon, Grégoire: Synchronous dataflow pattern matching. (2006)
  16. Jahier, Erwan; Raymond, Pascal; Baufreton, Philippe: Case studies with lurette V2 (2006)
  17. Nowak, David: Synchronous structures (2006)
  18. Talpin, Jean-Pierre; Le Guernic, Paul: An algebraic theory for behavioral modeling and protocol synthesis in system design (2006)
  19. Kerbœuf, Mickaël; Talpin, Jean-Pierre: Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation (2005)
  20. Talpin, Jean-Pierre; Guernic, Paul Le; Shukla, Sandeep Kumar; Gupta, Rajesh: A compositional behavioral modeling framework for embedded system design and conformance checking (2005)

1 2 3 next