SIGNAL

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

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

1 2 3 next

  1. Benveniste, Albert; Bourke, Timothy; Caillaud, Benoit; Pagano, Bruno; Pouzet, Marc: A type-based analysis of causality loops in hybrid systems modelers (2017)
  2. Bozzelli, Laura; Sánchez, César: Foundations of Boolean stream runtime verification (2016)
  3. Raymond, Pascal; Maiza, Claire; Parent-Vigouroux, Catherine; Carrier, Fabienne; Asavoae, Mihail: Timing analysis enhancement for synchronous program (2015) ioport
  4. Saraswat, Vijay; Gupta, Vineet; Jagadeesan, Radha: TCC, with history (2014)
  5. 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) ioport
  6. Ju, Lei; Huynh, Bach Khoa; Roychoudhury, Abhik; Chakraborty, Samarjit: Performance debugging of Esterel specifications (2012) ioport
  7. Pagetti, Claire; Forget, Julien; Boniol, Frédéric; Cordovilla, Mikel; Lesens, David: Multi-task implementation of multi-periodic synchronous programs (2011)
  8. Bliudze, Simon; Sifakis, Joseph: Causal semantics for the algebra of connectors (2010)
  9. Field, John; Marinescu, Maria-Cristina; Stefansen, Christian: Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications (2009)
  10. Cooper, Gregory H.; Krishnamurthi, Shriram: Embedding dynamic dataflow in a call-by-value language (2006)
  11. Hammond, Kevin: Exploiting purely functional programming to obtain bounded resource behaviour: The Hume approach (2006)
  12. Jahier, Erwan; Raymond, Pascal; Baufreton, Philippe: Case studies with lurette V2 (2006) ioport
  13. Nowak, David: Synchronous structures (2006)
  14. Talpin, Jean-Pierre; Le Guernic, Paul: An algebraic theory for behavioral modeling and protocol synthesis in system design (2006)
  15. Kerbœuf, Mickaël; Talpin, Jean-Pierre: Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation (2005)
  16. Talpin, Jean-Pierre; Guernic, Paul Le; Shukla, Sandeep Kumar; Gupta, Rajesh: A compositional behavioral modeling framework for embedded system design and conformance checking (2005)
  17. Nebut, Mirabelle: Specification and analysis of synchronous reactions (2004)
  18. 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)
  19. Attanasio, Candida; Corradini, Flavio; Inverardi, Paola: Static analysis of real-time component-based systems configurations (2003)
  20. Gay, Simon; Nagarajan, Rajagopal: Intensional and extensional semantics of dataflow programs (2003)

1 2 3 next