TL: a system-level specification language for system analysis
Analysis of the system-level specifications of embedded systems improves finding a better implementation. The specification language Task Level, custom tailored for designers, can specify the functional and temporal behaviour of the system. The language semantics and thus the design specification se...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 251 |
|---|---|
| container_issue | |
| container_start_page | 244 |
| container_title | |
| container_volume | |
| creator | Benders, L.P.M. |
| description | Analysis of the system-level specifications of embedded systems improves finding a better implementation. The specification language Task Level, custom tailored for designers, can specify the functional and temporal behaviour of the system. The language semantics and thus the design specification semantics are defined with Coloured Petri nets. A graphical toolbox using these nets generates performance information and utilization rates of resources. This information is used to rearrange the specification to get a more efficient implementation. It is easy to rearrange a specification in TL. This simplicity in the specification language requires complex modelling strategies in Coloured Petri nets. Fortunately, the designer never sees these nets. |
| doi_str_mv | 10.1109/ECBS.1996.494535 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_494535</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>494535</ieee_id><sourcerecordid>494535</sourcerecordid><originalsourceid>FETCH-LOGICAL-i174t-d820c08dd76f152f4b0448058d8ebce27d829bee7061ebce2c15e596c37cc23f3</originalsourceid><addsrcrecordid>eNotj81Kw0AYRQdEUGr24mpeIHG-zL_gQkP9gYCLtusymXxTRqZpyUQhb2-xvZsDl8OFS8g9sAqA2cdl87qqwFpVCSskl1eksNowA0ZpLqW9IUXO3-wUbQAEvyXP6_aJOprnPOG-TPiLieYj-hiid1M8DDS5YffjdkjDYbx41A0uzTnmO3IdXMpYXLggm7fluvko26_3z-alLSNoMZW9qZlnpu-1CiDrIDomhGHS9AY7j7U-CbZD1EzBf-FBorTKc-19zQNfkIfzbkTE7XGMezfO2_NH_gcc-0c-</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>TL: a system-level specification language for system analysis</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Benders, L.P.M.</creator><creatorcontrib>Benders, L.P.M.</creatorcontrib><description>Analysis of the system-level specifications of embedded systems improves finding a better implementation. The specification language Task Level, custom tailored for designers, can specify the functional and temporal behaviour of the system. The language semantics and thus the design specification semantics are defined with Coloured Petri nets. A graphical toolbox using these nets generates performance information and utilization rates of resources. This information is used to rearrange the specification to get a more efficient implementation. It is easy to rearrange a specification in TL. This simplicity in the specification language requires complex modelling strategies in Coloured Petri nets. Fortunately, the designer never sees these nets.</description><identifier>ISBN: 9780818673559</identifier><identifier>ISBN: 0818673559</identifier><identifier>DOI: 10.1109/ECBS.1996.494535</identifier><language>eng</language><publisher>IEEE</publisher><subject>Analytical models ; Embedded software ; Embedded system ; Handicapped aids ; Hardware ; Information systems ; Petri nets ; Power system modeling ; Protocols ; Specification languages</subject><ispartof>Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems, 1996, p.244-251</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/494535$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2058,4050,4051,27925,54920</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/494535$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Benders, L.P.M.</creatorcontrib><title>TL: a system-level specification language for system analysis</title><title>Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems</title><addtitle>ECBS</addtitle><description>Analysis of the system-level specifications of embedded systems improves finding a better implementation. The specification language Task Level, custom tailored for designers, can specify the functional and temporal behaviour of the system. The language semantics and thus the design specification semantics are defined with Coloured Petri nets. A graphical toolbox using these nets generates performance information and utilization rates of resources. This information is used to rearrange the specification to get a more efficient implementation. It is easy to rearrange a specification in TL. This simplicity in the specification language requires complex modelling strategies in Coloured Petri nets. Fortunately, the designer never sees these nets.</description><subject>Analytical models</subject><subject>Embedded software</subject><subject>Embedded system</subject><subject>Handicapped aids</subject><subject>Hardware</subject><subject>Information systems</subject><subject>Petri nets</subject><subject>Power system modeling</subject><subject>Protocols</subject><subject>Specification languages</subject><isbn>9780818673559</isbn><isbn>0818673559</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>1996</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotj81Kw0AYRQdEUGr24mpeIHG-zL_gQkP9gYCLtusymXxTRqZpyUQhb2-xvZsDl8OFS8g9sAqA2cdl87qqwFpVCSskl1eksNowA0ZpLqW9IUXO3-wUbQAEvyXP6_aJOprnPOG-TPiLieYj-hiid1M8DDS5YffjdkjDYbx41A0uzTnmO3IdXMpYXLggm7fluvko26_3z-alLSNoMZW9qZlnpu-1CiDrIDomhGHS9AY7j7U-CbZD1EzBf-FBorTKc-19zQNfkIfzbkTE7XGMezfO2_NH_gcc-0c-</recordid><startdate>1996</startdate><enddate>1996</enddate><creator>Benders, L.P.M.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>1996</creationdate><title>TL: a system-level specification language for system analysis</title><author>Benders, L.P.M.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i174t-d820c08dd76f152f4b0448058d8ebce27d829bee7061ebce2c15e596c37cc23f3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>1996</creationdate><topic>Analytical models</topic><topic>Embedded software</topic><topic>Embedded system</topic><topic>Handicapped aids</topic><topic>Hardware</topic><topic>Information systems</topic><topic>Petri nets</topic><topic>Power system modeling</topic><topic>Protocols</topic><topic>Specification languages</topic><toplevel>online_resources</toplevel><creatorcontrib>Benders, L.P.M.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Benders, L.P.M.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>TL: a system-level specification language for system analysis</atitle><btitle>Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems</btitle><stitle>ECBS</stitle><date>1996</date><risdate>1996</risdate><spage>244</spage><epage>251</epage><pages>244-251</pages><isbn>9780818673559</isbn><isbn>0818673559</isbn><abstract>Analysis of the system-level specifications of embedded systems improves finding a better implementation. The specification language Task Level, custom tailored for designers, can specify the functional and temporal behaviour of the system. The language semantics and thus the design specification semantics are defined with Coloured Petri nets. A graphical toolbox using these nets generates performance information and utilization rates of resources. This information is used to rearrange the specification to get a more efficient implementation. It is easy to rearrange a specification in TL. This simplicity in the specification language requires complex modelling strategies in Coloured Petri nets. Fortunately, the designer never sees these nets.</abstract><pub>IEEE</pub><doi>10.1109/ECBS.1996.494535</doi><tpages>8</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISBN: 9780818673559 |
| ispartof | Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems, 1996, p.244-251 |
| issn | |
| language | eng |
| recordid | cdi_ieee_primary_494535 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Analytical models Embedded software Embedded system Handicapped aids Hardware Information systems Petri nets Power system modeling Protocols Specification languages |
| title | TL: a system-level specification language for system analysis |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-26T20%3A26%3A47IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=TL:%20a%20system-level%20specification%20language%20for%20system%20analysis&rft.btitle=Proceedings%20IEEE%20Symposium%20and%20Workshop%20on%20Engineering%20of%20Computer-Based%20Systems&rft.au=Benders,%20L.P.M.&rft.date=1996&rft.spage=244&rft.epage=251&rft.pages=244-251&rft.isbn=9780818673559&rft.isbn_list=0818673559&rft_id=info:doi/10.1109/ECBS.1996.494535&rft_dat=%3Cieee_6IE%3E494535%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=494535&rfr_iscdi=true |