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 44 articles , 1 standard article )

Showing results 1 to 20 of 44.
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. Cooper, Gregory H.; Krishnamurthi, Shriram: Embedding dynamic dataflow in a call-by-value language (2006)
  9. Hammond, Kevin: Exploiting purely functional programming to obtain bounded resource behaviour: The Hume approach (2006)
  10. Jahier, Erwan; Raymond, Pascal; Baufreton, Philippe: Case studies with lurette V2 (2006)
  11. Nowak, David: Synchronous structures (2006)
  12. Talpin, Jean-Pierre; Le Guernic, Paul: An algebraic theory for behavioral modeling and protocol synthesis in system design (2006)
  13. Kerbœuf, Mickaël; Talpin, Jean-Pierre: Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation (2005)
  14. Talpin, Jean-Pierre; Guernic, Paul Le; Shukla, Sandeep Kumar; Gupta, Rajesh: A compositional behavioral modeling framework for embedded system design and conformance checking (2005)
  15. Nebut, Mirabelle: Specification and analysis of synchronous reactions (2004)
  16. Talpin, Jean-Pierre; Le Guernic, Paul; Shukla, Sandeep Kumar; Doucet, Frédéric; Gupta, Rajesh: Formal refinement checking in a system-level design methodology (2004)
  17. Attanasio, Candida; Corradini, Flavio; Inverardi, Paola: Static analysis of real-time component-based systems configurations (2003)
  18. Gay, Simon; Nagarajan, Rajagopal: Intensional and extensional semantics of dataflow programs (2003)
  19. Alferes, José J.; Brogi, Antonio; Leite, João A.; Pereira, Luís M.: Computing environment-aware agent behaviours with logic program updates (2002)
  20. Pnueli, Amir: Embedded systems: Challenges in specification and verification (2002)

1 2 3 next