Modeling reactive systems in Java
We present an application of the JavaTM programming language to specify and implement reactive real-time systems. We have developed and tested a collection of classes and methods to describe concurrent modules and their asynchronous communication by means of signals. The control structures are close...
Gespeichert in:
| Veröffentlicht in: | ACM transactions on design automation of electronic systems 1998-10, Vol.3 (4), p.515-523 |
|---|---|
| Hauptverfasser: | , , , , , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 523 |
|---|---|
| container_issue | 4 |
| container_start_page | 515 |
| container_title | ACM transactions on design automation of electronic systems |
| container_volume | 3 |
| creator | Passerone, C. Sansoe, C. Lavagno, L. McGeer, R. Martin, J. Passerone, R. Sangiovanni-Vincentelli, A. |
| description | We present an application of the JavaTM programming language to specify and implement reactive real-time systems. We have developed and tested a collection of classes and methods to describe concurrent modules and their asynchronous communication by means of signals. The control structures are closely patterned after those of the synchronous language Esterel, succinctly describing concurrency, sequencing and preemption. We show the user-friendliness and efficiency of the proposed technique by using an example from the automotive domain. |
| doi_str_mv | 10.1145/296333.296334 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_28929450</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>28929450</sourcerecordid><originalsourceid>FETCH-LOGICAL-a201t-43330671f181119c807eaee725e95cd48ebd1ac01a033d59439aca1c130ba43d3</originalsourceid><addsrcrecordid>eNo9kDtPwzAUhS0EEqUwMrCFhS3l3tiO4xFVPFXEArN169ygoDyKnVbqvyeQiuk70vl0hiPEJcICUenbzOZSysUf1JGYodYmNRLs8ZihUKka86k4i_ELALTJ9Uxcv_YlN3X3mQQmP9Q7TuI-DtzGpO6SF9rRuTipqIl8ceBcfDzcvy-f0tXb4_PybpVSBjiM21JCbrDCAhGtL8AwMZtMs9W-VAWvSyQPSCBlqa2SljyhRwlrUrKUc3Ez7W5C_73lOLi2jp6bhjrut9Flhc2s0jCK6ST60McYuHKbULcU9g7B_R7hpiMmqNG_mnzy7b966H4AGWdWCQ</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>28929450</pqid></control><display><type>article</type><title>Modeling reactive systems in Java</title><source>ACM Digital Library Complete</source><creator>Passerone, C. ; Sansoe, C. ; Lavagno, L. ; McGeer, R. ; Martin, J. ; Passerone, R. ; Sangiovanni-Vincentelli, A.</creator><creatorcontrib>Passerone, C. ; Sansoe, C. ; Lavagno, L. ; McGeer, R. ; Martin, J. ; Passerone, R. ; Sangiovanni-Vincentelli, A.</creatorcontrib><description>We present an application of the JavaTM programming language to specify and implement reactive real-time systems. We have developed and tested a collection of classes and methods to describe concurrent modules and their asynchronous communication by means of signals. The control structures are closely patterned after those of the synchronous language Esterel, succinctly describing concurrency, sequencing and preemption. We show the user-friendliness and efficiency of the proposed technique by using an example from the automotive domain.</description><identifier>ISSN: 1084-4309</identifier><identifier>EISSN: 1557-7309</identifier><identifier>DOI: 10.1145/296333.296334</identifier><language>eng</language><publisher>New York, NY, USA: ACM</publisher><subject>Applied computing ; Architecture (buildings) ; Arts and humanities ; Computer-aided design ; Computing methodologies ; Electronic design automation ; Electronics ; Engineering ; Hardware ; Hardware description languages and compilation ; Model development and analysis ; Model verification and validation ; Modeling and simulation ; Physical sciences and engineering</subject><ispartof>ACM transactions on design automation of electronic systems, 1998-10, Vol.3 (4), p.515-523</ispartof><rights>ACM</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-a201t-43330671f181119c807eaee725e95cd48ebd1ac01a033d59439aca1c130ba43d3</citedby><cites>FETCH-LOGICAL-a201t-43330671f181119c807eaee725e95cd48ebd1ac01a033d59439aca1c130ba43d3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://dl.acm.org/doi/pdf/10.1145/296333.296334$$EPDF$$P50$$Gacm$$H</linktopdf><link.rule.ids>314,776,780,2276,27901,27902,40172,75970</link.rule.ids></links><search><creatorcontrib>Passerone, C.</creatorcontrib><creatorcontrib>Sansoe, C.</creatorcontrib><creatorcontrib>Lavagno, L.</creatorcontrib><creatorcontrib>McGeer, R.</creatorcontrib><creatorcontrib>Martin, J.</creatorcontrib><creatorcontrib>Passerone, R.</creatorcontrib><creatorcontrib>Sangiovanni-Vincentelli, A.</creatorcontrib><title>Modeling reactive systems in Java</title><title>ACM transactions on design automation of electronic systems</title><addtitle>ACM TODAES</addtitle><description>We present an application of the JavaTM programming language to specify and implement reactive real-time systems. We have developed and tested a collection of classes and methods to describe concurrent modules and their asynchronous communication by means of signals. The control structures are closely patterned after those of the synchronous language Esterel, succinctly describing concurrency, sequencing and preemption. We show the user-friendliness and efficiency of the proposed technique by using an example from the automotive domain.</description><subject>Applied computing</subject><subject>Architecture (buildings)</subject><subject>Arts and humanities</subject><subject>Computer-aided design</subject><subject>Computing methodologies</subject><subject>Electronic design automation</subject><subject>Electronics</subject><subject>Engineering</subject><subject>Hardware</subject><subject>Hardware description languages and compilation</subject><subject>Model development and analysis</subject><subject>Model verification and validation</subject><subject>Modeling and simulation</subject><subject>Physical sciences and engineering</subject><issn>1084-4309</issn><issn>1557-7309</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1998</creationdate><recordtype>article</recordtype><recordid>eNo9kDtPwzAUhS0EEqUwMrCFhS3l3tiO4xFVPFXEArN169ygoDyKnVbqvyeQiuk70vl0hiPEJcICUenbzOZSysUf1JGYodYmNRLs8ZihUKka86k4i_ELALTJ9Uxcv_YlN3X3mQQmP9Q7TuI-DtzGpO6SF9rRuTipqIl8ceBcfDzcvy-f0tXb4_PybpVSBjiM21JCbrDCAhGtL8AwMZtMs9W-VAWvSyQPSCBlqa2SljyhRwlrUrKUc3Ez7W5C_73lOLi2jp6bhjrut9Flhc2s0jCK6ST60McYuHKbULcU9g7B_R7hpiMmqNG_mnzy7b966H4AGWdWCQ</recordid><startdate>19981001</startdate><enddate>19981001</enddate><creator>Passerone, C.</creator><creator>Sansoe, C.</creator><creator>Lavagno, L.</creator><creator>McGeer, R.</creator><creator>Martin, J.</creator><creator>Passerone, R.</creator><creator>Sangiovanni-Vincentelli, A.</creator><general>ACM</general><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>7SP</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>19981001</creationdate><title>Modeling reactive systems in Java</title><author>Passerone, C. ; Sansoe, C. ; Lavagno, L. ; McGeer, R. ; Martin, J. ; Passerone, R. ; Sangiovanni-Vincentelli, A.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a201t-43330671f181119c807eaee725e95cd48ebd1ac01a033d59439aca1c130ba43d3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1998</creationdate><topic>Applied computing</topic><topic>Architecture (buildings)</topic><topic>Arts and humanities</topic><topic>Computer-aided design</topic><topic>Computing methodologies</topic><topic>Electronic design automation</topic><topic>Electronics</topic><topic>Engineering</topic><topic>Hardware</topic><topic>Hardware description languages and compilation</topic><topic>Model development and analysis</topic><topic>Model verification and validation</topic><topic>Modeling and simulation</topic><topic>Physical sciences and engineering</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Passerone, C.</creatorcontrib><creatorcontrib>Sansoe, C.</creatorcontrib><creatorcontrib>Lavagno, L.</creatorcontrib><creatorcontrib>McGeer, R.</creatorcontrib><creatorcontrib>Martin, J.</creatorcontrib><creatorcontrib>Passerone, R.</creatorcontrib><creatorcontrib>Sangiovanni-Vincentelli, A.</creatorcontrib><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Electronics & Communications Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>ACM transactions on design automation of electronic systems</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Passerone, C.</au><au>Sansoe, C.</au><au>Lavagno, L.</au><au>McGeer, R.</au><au>Martin, J.</au><au>Passerone, R.</au><au>Sangiovanni-Vincentelli, A.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Modeling reactive systems in Java</atitle><jtitle>ACM transactions on design automation of electronic systems</jtitle><stitle>ACM TODAES</stitle><date>1998-10-01</date><risdate>1998</risdate><volume>3</volume><issue>4</issue><spage>515</spage><epage>523</epage><pages>515-523</pages><issn>1084-4309</issn><eissn>1557-7309</eissn><abstract>We present an application of the JavaTM programming language to specify and implement reactive real-time systems. We have developed and tested a collection of classes and methods to describe concurrent modules and their asynchronous communication by means of signals. The control structures are closely patterned after those of the synchronous language Esterel, succinctly describing concurrency, sequencing and preemption. We show the user-friendliness and efficiency of the proposed technique by using an example from the automotive domain.</abstract><cop>New York, NY, USA</cop><pub>ACM</pub><doi>10.1145/296333.296334</doi><tpages>9</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 1084-4309 |
| ispartof | ACM transactions on design automation of electronic systems, 1998-10, Vol.3 (4), p.515-523 |
| issn | 1084-4309 1557-7309 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_28929450 |
| source | ACM Digital Library Complete |
| subjects | Applied computing Architecture (buildings) Arts and humanities Computer-aided design Computing methodologies Electronic design automation Electronics Engineering Hardware Hardware description languages and compilation Model development and analysis Model verification and validation Modeling and simulation Physical sciences and engineering |
| title | Modeling reactive systems in Java |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-07T13%3A57%3A37IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Modeling%20reactive%20systems%20in%20Java&rft.jtitle=ACM%20transactions%20on%20design%20automation%20of%20electronic%20systems&rft.au=Passerone,%20C.&rft.date=1998-10-01&rft.volume=3&rft.issue=4&rft.spage=515&rft.epage=523&rft.pages=515-523&rft.issn=1084-4309&rft.eissn=1557-7309&rft_id=info:doi/10.1145/296333.296334&rft_dat=%3Cproquest_cross%3E28929450%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=28929450&rft_id=info:pmid/&rfr_iscdi=true |