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. Müller, Peter (ed.); Schaefer, Ina (ed.): Principled software development. Essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday. Selected papers based on the presentations at the symposium, Kaiserslautern, Germany, November 2018 (2018)
  2. Benveniste, Albert; Bourke, Timothy; Caillaud, Benoit; Pagano, Bruno; Pouzet, Marc: A type-based analysis of causality loops in hybrid systems modelers (2017)
  3. Bozzelli, Laura; Sánchez, César: Foundations of Boolean stream runtime verification (2016)
  4. Garoche, Pierre-Loïc; Kahsai, Temesghen; Thirioux, Xavier: Hierarchical state machines as modular Horn clauses (2016)
  5. Chen, Yanwen; Chen, Yixiang; Madelaine, Eric: Timed-pNets: a communication behavioural semantic model for distributed systems (2015)
  6. Raymond, Pascal; Maiza, Claire; Parent-Vigouroux, Catherine; Carrier, Fabienne; Asavoae, Mihail: Timing analysis enhancement for synchronous program (2015) ioport
  7. Saraswat, Vijay; Gupta, Vineet; Jagadeesan, Radha: TCC, with history (2014)
  8. Ngo, Van Chan; Talpin, Jean-Pierre; Gautier, Thierry; Le Guernic, Paul; Besnard, Loïc: Formal verification of synchronous data-flow program transformations toward certified compilers (2013)
  9. Prähofer, Herbert; Schatz, Roland; Wirth, Christian; Hurnaus, Dominik; Mössenböck, Hanspeter: \textscMonaco-- a domain-specific language solution for reactive process control programming with hierarchical components (2013) ioport
  10. Ju, Lei; Huynh, Bach Khoa; Roychoudhury, Abhik; Chakraborty, Samarjit: Performance debugging of Esterel specifications (2012) ioport
  11. Pagetti, Claire; Forget, Julien; Boniol, Frédéric; Cordovilla, Mikel; Lesens, David: Multi-task implementation of multi-periodic synchronous programs (2011)
  12. Bliudze, Simon; Sifakis, Joseph: Causal semantics for the algebra of connectors (2010)
  13. Field, John; Marinescu, Maria-Cristina; Stefansen, Christian: Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications (2009)
  14. Cohen, Albert; Mandel, Louis; Plateau, Florence; Pouzet, Marc: Abstraction of clocks in synchronous data-flow systems (2008)
  15. Cooper, Gregory H.; Krishnamurthi, Shriram: Embedding dynamic dataflow in a call-by-value language (2006)
  16. Hammond, Kevin: Exploiting purely functional programming to obtain bounded resource behaviour: The Hume approach (2006)
  17. Jahier, Erwan; Raymond, Pascal; Baufreton, Philippe: Case studies with lurette V2 (2006) ioport
  18. Nowak, David: Synchronous structures (2006)
  19. Talpin, Jean-Pierre; Le Guernic, Paul: An algebraic theory for behavioral modeling and protocol synthesis in system design (2006)
  20. Kerbœuf, Mickaël; Talpin, Jean-Pierre: Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation (2005)

1 2 3 next