• DocumentCode
    1129233
  • Title

    The synchronous languages 12 years later

  • Author

    Benveniste, Albert ; Caspi, Paul ; Edwards, Stephen A. ; Halbwachs, Nicolas ; Le Guernic, Paul ; De Simone, Robert

  • Author_Institution
    IRISA/INRIA, France
  • Volume
    91
  • Issue
    1
  • fYear
    2003
  • fDate
    1/1/2003 12:00:00 AM
  • Firstpage
    64
  • Lastpage
    83
  • Abstract
    Twelve years ago, Proceedings of the IEEE devoted a special section to the synchronous languages. This paper discusses the improvements, difficulties, and successes that have occured with the synchronous languages since then. Today, synchronous languages have been established as a technology of choice for modeling, specifying, validating, and implementing real-time embedded applications. The paradigm of synchrony has emerged as an engineer-friendly design method based on mathematically sound tools.
  • Keywords
    distributed programming; embedded systems; high level languages; Esterel; Lustre; Signal; concurrency; embedded applications; formal methods; modeling; real-time systems; specifying; synchronous languages; Acoustical engineering; Centralized control; Commercialization; Concurrent computing; Control systems; Costs; Design engineering; Design methodology; Natural languages; Synchronization;
  • fLanguage
    English
  • Journal_Title
    Proceedings of the IEEE
  • Publisher
    ieee
  • ISSN
    0018-9219
  • Type

    jour

  • DOI
    10.1109/JPROC.2002.805826
  • Filename
    1173191
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1129233