PART II: Synchronous Languages
Several synchronous languages have been proposed in the literature. The principal languages of the family of synchronous languages that have been founded on the perfect synchrony hypothesis are ESTEREL, LUSTRE and SIGNAL. ESTEREL is an imperative language that has its origin in catering to explicit...
Saved in:
| Published in: | Real Time Programming: Languages, Specification And Verification p. 29 |
|---|---|
| Main Authors: | , |
| Format: | Book Chapter |
| Language: | English |
| Published: |
Singapore
World Scientific Publishing Company
2009
WORLD SCIENTIFIC |
| Subjects: | |
| ISBN: | 9789810225667, 9810225660, 9789814499316, 9789812814029, 9812814027, 9814499315 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | Several synchronous languages have been proposed in the literature. The principal languages of the family of synchronous languages that have been founded on the perfect synchrony hypothesis are ESTEREL, LUSTRE and SIGNAL. ESTEREL is an imperative language that has its origin in catering to explicit control applications. LUSTRE has been founded on a data flow model, whereas SIGNAL is a relational model that has its origin in the specification of feedback control systems. In a sense all these languages are equally powerful with the exception that SIGNAL is more expressive from the specification point of view. Statecharts is a visual formalism that can in fact be included in the family of synchronous languages considered from the perspective of specifying robust reactive systems. Statcharts are not strictly based on the synchrony hypothesis even though formally it has been defined with respect to asynchronous and synchronous models. Argos is another synchronous language that is based on visual formalism similar to Statecharts based on synchrony hypothesis. It must be noted that all these languages have found significant usage in various industries like Avionics, CAD, Nuclear plant control, Telecom, Automobile etc. In this part (next six chapters), we shall discuss the following languages structure, methodology, semantics and programming of typical reactive real-time systems in ESTEREL. |
|---|---|
| AbstractList | Several synchronous languages have been proposed in the literature. The principal languages of the family of synchronous languages that have been founded on the perfect synchrony hypothesis are ESTEREL, LUSTRE and SIGNAL. ESTEREL is an imperative language that has its origin in catering to explicit control applications. LUSTRE has been founded on a data flow model, whereas SIGNAL is a relational model that has its origin in the specification of feedback control systems. In a sense all these languages are equally powerful with the exception that SIGNAL is more expressive from the specification point of view. Statecharts is a visual formalism that can in fact be included in the family of synchronous languages considered from the perspective of specifying robust reactive systems. Statcharts are not strictly based on the synchrony hypothesis even though formally it has been defined with respect to asynchronous and synchronous models. Argos is another synchronous language that is based on visual formalism similar to Statecharts based on synchrony hypothesis. It must be noted that all these languages have found significant usage in various industries like Avionics, CAD, Nuclear plant control, Telecom, Automobile etc. In this part (next six chapters), we shall discuss the following languages structure, methodology, semantics and programming of typical reactive real-time systems in ESTEREL. |
| Author | R K Shyamasundar S Ramesh |
| Author_xml | – sequence: 1 fullname: R K Shyamasundar – sequence: 2 fullname: S Ramesh |
| BookMark | eNqdkMtKA0EQRVt8YIz5hZAfiHZV9_RDVyH4CAQUjeumX5OMhuk4PUH8eydEF4Ira1MUt85Z3DNyVKc6EjIEegHA8VJLpRWgAk5Rm9SuYpMpHpDBr-Dw56aIhRDyhPQkaoqUQ3FKBjm_0m44CslljwwfJ0-L0Wx2NXr-rP2qSXXa5tHc1sutXcZ8To5Lu85x8L375OX2ZjG9H88f7mbTyXy8gYKV4wJd8D5wLWRJkaEMVHDhixCYRbChsMxpzhxIr10UPCirVADumFJOC8_6ZLL3fqRmHbKvYt1WZeWNS-ktG6Bm14D5uwHjmiqWneP6_46Oxj29adL7NubWxB3nO0lj135lN233aEAoYEwa5IYL9gVtgHUt |
| ContentType | Book Chapter |
| Copyright | World Scientific Publishing Co. Pte. Ltd. |
| Copyright_xml | – notice: World Scientific Publishing Co. Pte. Ltd. |
| DBID | FFUUA |
| DEWEY | 005.273 |
| DOI | 10.1142/9789812814029_others02 |
| DatabaseName | ProQuest Ebook Central - Book Chapters - Demo use only |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 9789812814029 9812814027 9789814499316 9814499315 |
| EndPage | 29 |
| ExternalDocumentID | 10.1142/9789812814029_others02 EBC1681337_24_46 |
| GroupedDBID | -VQ -VX 089 20A 38. 5O. 92K 9WS A4J AABBV AATMT ABARN ABCYV ABIAV ABMRC ABQPQ ACBYE ACLGV ACZWY ADVEM AERYV AFOJC AHWGJ AIXPE AJFER AKHYG ALMA_UNASSIGNED_HOLDINGS ALUEM AMYDA AVGCG AZZ BBABE CDOZE CZZ DUGUG EBSCA ECOWB FFUUA GEOUK J-X JJU MYL PD6 PQQKQ PVBBV TM9 WMAQA XI1 YSPEL |
| ID | FETCH-LOGICAL-p153f-52bdccd4967f02327d0646c5dd3a21ad5a3b943b17c9be64d8a88d14b388b96c3 |
| ISBN | 9789810225667 9810225660 9789814499316 9789812814029 9812814027 9814499315 |
| IngestDate | Sat Mar 08 07:01:45 EST 2025 Tue Oct 21 06:32:59 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | false |
| LCCallNum | QA76.54 .S33 2010 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-p153f-52bdccd4967f02327d0646c5dd3a21ad5a3b943b17c9be64d8a88d14b388b96c3 |
| OCLC | 729020415 |
| PQID | EBC1681337_24_46 |
| PageCount | 1 |
| ParticipantIDs | worldscientific_books_10_1142_9789812814029_others02_brief proquest_ebookcentralchapters_1681337_24_46 worldscientific_books_10_1142_9789812814029_others02 |
| PublicationCentury | 2000 |
| PublicationDate | 2009 20091100 |
| PublicationDateYYYYMMDD | 2009-01-01 2009-11-01 |
| PublicationDate_xml | – year: 2009 text: 2009 |
| PublicationDecade | 2000 |
| PublicationPlace | Singapore |
| PublicationPlace_xml | – name: Singapore |
| PublicationTitle | Real Time Programming: Languages, Specification And Verification |
| PublicationYear | 2009 |
| Publisher | World Scientific Publishing Company WORLD SCIENTIFIC |
| Publisher_xml | – name: World Scientific Publishing Company – name: WORLD SCIENTIFIC |
| SSID | ssj0000426747 |
| Score | 1.3515146 |
| Snippet | Several synchronous languages have been proposed in the literature. The principal languages of the family of synchronous languages that have been founded on... |
| SourceID | worldscientific proquest |
| SourceType | Enrichment Source Publisher |
| StartPage | 29 |
| SubjectTerms | PART II: Synchronous Languages Software Engineering |
| Title | PART II: Synchronous Languages |
| URI | http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=1681337&ppg=46&c=UERG https://www.worldscientific.com/doi/10.1142/9789812814029_others02 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3da9swEBdpt4cx2PdY9lH8sDdjZsuyJfVxJdtCSleWdvTN6MOmgcbLkq60__3uZNmJQ1462ItJhByf9VOku9P97gj5WJoyT4yxUW55FrEyziLFdB4hK5MpKUysXdWSY35yIi4u5OlgMGm5MDdXvK7F7a1c_FeooQ3ARursPeDufhQa4DOADleAHa5bGnHf9-rzxiLffjYvkQGAgVdzT2g-9n5JB5srOl95bx3GNIY_QbK2oTuDCSfh9PJOzZVj8XVRvNPwB4bWXm7OtlPQi8PxGJ80vasNZtzF2NruqT3ngtxyLjQBPW6VcZFLm76x_nrV2KNSoAEJGiLfvToz2gRkQD-KqbaoLBzPbBXT9X7UnsGzrRTZbtMdfT5KcgGGNS8oK6DL4neEJcTwqN3XU9kje5zDkvfg6-j7-aRzuKGxCLZTk3RpLShY6t2X2FPIQc5Pu6Xs2SFPXFLbVTc6G4rJ2TPyGMkqAbJIQP7nZFDWL8jTtlRH4Fful-QAAQrG48NgA56gg-cVOf8yOjv6FvnSGNECtqgqyqi28A9jMucVaF2UW1Atc5NZmyqaKJupVEuW6oQbqcucWaGEsAnTqRBa5iZ9TfbrX3X5hgSx1ImKqyypFGeMKS0qUJpTyyhTSldmSML2lQt3gO-jhk3zZquih8eQsK1RKfAe6OUI8LTYPa5DcvgvtxV6OSurt_eS8B15tJ7p78n-9fJP-YE8NDfXs9XywM-avzAjefk |
| linkProvider | ProQuest Ebooks |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=Real+Time+Programming%3A+Languages%2C+Specification+And+Verification&rft.au=R+K+Shyamasundar&rft.au=S+Ramesh&rft.atitle=PART+II%3A+Synchronous+Languages&rft.date=2009-01-01&rft.pub=World+Scientific+Publishing+Company&rft.isbn=9789810225667&rft_id=info:doi/10.1142%2F9789812814029_others02&rft.externalDBID=46&rft.externalDocID=EBC1681337_24_46 |
| thumbnail_s | http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F1681337-l.jpg http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fwww.worldscientific.com%2Faction%2FshowCoverImage%3Fdoi%3D10.1142%2F9789812814029_others02 |