Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata
This paper proposes a method for temporal verification of real-time multitasking applicationproperties based on a communicating timed automata IF language. The properties are divided into two kinds: local properties of application elements like object creation/destruction, object length, task deadlo...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| 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 | 195 |
|---|---|
| container_issue | |
| container_start_page | 188 |
| container_title | |
| container_volume | |
| creator | Belarbi, M. Babau, J.-P. Schwarz, J.-J. |
| description | This paper proposes a method for temporal verification of real-time multitasking applicationproperties based on a communicating timed automata IF language. The properties are divided into two kinds: local properties of application elements like object creation/destruction, object length, task deadlocks and secondly global properties such as data age, deadline, and time interval verification. These properties are represented by observer automata and verified by the IF2C tool exhaustive simulation. The notion of phrase is used to reduce the IF representation graph by partitioning the application on the basis of phases. |
| doi_str_mv | 10.1109/DS-RT.2004.39 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>pascalfrancis_6IE</sourceid><recordid>TN_cdi_pascalfrancis_primary_20336281</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>1364595</ieee_id><sourcerecordid>20336281</sourcerecordid><originalsourceid>FETCH-LOGICAL-i205t-c940e1a0512228ce10871f97d6c9be5ae88f0e50e37cec82247d64b7a874cff83</originalsourceid><addsrcrecordid>eNo9zD1PwzAQBmBLgERVMjKxeGFMOdtxYo-lfEpFoBJYq6t7RoZ8KU4H_j2BAre80r3PHWOnAmZCgL24ek5X5UwCZDNlD1hiCwNFbrWUSuaHbCK0hjTXUh-zJMZ3GEfZLAc9YVVJddf2WPFX6oMPDofQNrz1fEVYpWWoiT_sqiEMGD9C88bnXVf9qae-7agfAkV-iZG2fNwt2rreNT9i1N_3Wz7fDW2NA56wI49VpOQ3p-zl5rpc3KXLx9v7xXyZBgl6SJ3NgASCFlJK40iAKYS3xTZ3dkMayRgPpIFU4cgZKbOxyjYFmiJz3hs1Zef7vx1Gh5XvsXEhrrs-1Nh_riUolUsjRne2d4GI_muh8kxbrb4AWjVmog</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Belarbi, M. ; Babau, J.-P. ; Schwarz, J.-J.</creator><creatorcontrib>Belarbi, M. ; Babau, J.-P. ; Schwarz, J.-J.</creatorcontrib><description>This paper proposes a method for temporal verification of real-time multitasking applicationproperties based on a communicating timed automata IF language. The properties are divided into two kinds: local properties of application elements like object creation/destruction, object length, task deadlocks and secondly global properties such as data age, deadline, and time interval verification. These properties are represented by observer automata and verified by the IF2C tool exhaustive simulation. The notion of phrase is used to reduce the IF representation graph by partitioning the application on the basis of phases.</description><identifier>ISSN: 1550-6525</identifier><identifier>ISBN: 9780769522326</identifier><identifier>ISBN: 0769522327</identifier><identifier>DOI: 10.1109/DS-RT.2004.39</identifier><language>eng</language><publisher>Los Alamitos CA: IEEE</publisher><subject>Applied sciences ; Automata ; Communicating ; Computer science; control theory; systems ; Computer systems and distributed systems. User interface ; Exact sciences and technology ; Exhaustive Simulation ; Multitasking ; Observer Automata ; RTOS ; Software ; Temporal Verification ; Timed Automata</subject><ispartof>Eighth IEEE International Symposium on Distributed Simulation and Real-Time Applications, 2004, p.188-195</ispartof><rights>2008 INIST-CNRS</rights><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/1364595$$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/1364595$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=20336281$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>Belarbi, M.</creatorcontrib><creatorcontrib>Babau, J.-P.</creatorcontrib><creatorcontrib>Schwarz, J.-J.</creatorcontrib><title>Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata</title><title>Eighth IEEE International Symposium on Distributed Simulation and Real-Time Applications</title><addtitle>DISRTA</addtitle><description>This paper proposes a method for temporal verification of real-time multitasking applicationproperties based on a communicating timed automata IF language. The properties are divided into two kinds: local properties of application elements like object creation/destruction, object length, task deadlocks and secondly global properties such as data age, deadline, and time interval verification. These properties are represented by observer automata and verified by the IF2C tool exhaustive simulation. The notion of phrase is used to reduce the IF representation graph by partitioning the application on the basis of phases.</description><subject>Applied sciences</subject><subject>Automata</subject><subject>Communicating</subject><subject>Computer science; control theory; systems</subject><subject>Computer systems and distributed systems. User interface</subject><subject>Exact sciences and technology</subject><subject>Exhaustive Simulation</subject><subject>Multitasking</subject><subject>Observer Automata</subject><subject>RTOS</subject><subject>Software</subject><subject>Temporal Verification</subject><subject>Timed Automata</subject><issn>1550-6525</issn><isbn>9780769522326</isbn><isbn>0769522327</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2004</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNo9zD1PwzAQBmBLgERVMjKxeGFMOdtxYo-lfEpFoBJYq6t7RoZ8KU4H_j2BAre80r3PHWOnAmZCgL24ek5X5UwCZDNlD1hiCwNFbrWUSuaHbCK0hjTXUh-zJMZ3GEfZLAc9YVVJddf2WPFX6oMPDofQNrz1fEVYpWWoiT_sqiEMGD9C88bnXVf9qae-7agfAkV-iZG2fNwt2rreNT9i1N_3Wz7fDW2NA56wI49VpOQ3p-zl5rpc3KXLx9v7xXyZBgl6SJ3NgASCFlJK40iAKYS3xTZ3dkMayRgPpIFU4cgZKbOxyjYFmiJz3hs1Zef7vx1Gh5XvsXEhrrs-1Nh_riUolUsjRne2d4GI_muh8kxbrb4AWjVmog</recordid><startdate>2004</startdate><enddate>2004</enddate><creator>Belarbi, M.</creator><creator>Babau, J.-P.</creator><creator>Schwarz, J.-J.</creator><general>IEEE</general><general>IEEE Computer Society Press</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope><scope>IQODW</scope></search><sort><creationdate>2004</creationdate><title>Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata</title><author>Belarbi, M. ; Babau, J.-P. ; Schwarz, J.-J.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i205t-c940e1a0512228ce10871f97d6c9be5ae88f0e50e37cec82247d64b7a874cff83</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2004</creationdate><topic>Applied sciences</topic><topic>Automata</topic><topic>Communicating</topic><topic>Computer science; control theory; systems</topic><topic>Computer systems and distributed systems. User interface</topic><topic>Exact sciences and technology</topic><topic>Exhaustive Simulation</topic><topic>Multitasking</topic><topic>Observer Automata</topic><topic>RTOS</topic><topic>Software</topic><topic>Temporal Verification</topic><topic>Timed Automata</topic><toplevel>online_resources</toplevel><creatorcontrib>Belarbi, M.</creatorcontrib><creatorcontrib>Babau, J.-P.</creatorcontrib><creatorcontrib>Schwarz, J.-J.</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><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Belarbi, M.</au><au>Babau, J.-P.</au><au>Schwarz, J.-J.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata</atitle><btitle>Eighth IEEE International Symposium on Distributed Simulation and Real-Time Applications</btitle><stitle>DISRTA</stitle><date>2004</date><risdate>2004</risdate><spage>188</spage><epage>195</epage><pages>188-195</pages><issn>1550-6525</issn><isbn>9780769522326</isbn><isbn>0769522327</isbn><abstract>This paper proposes a method for temporal verification of real-time multitasking applicationproperties based on a communicating timed automata IF language. The properties are divided into two kinds: local properties of application elements like object creation/destruction, object length, task deadlocks and secondly global properties such as data age, deadline, and time interval verification. These properties are represented by observer automata and verified by the IF2C tool exhaustive simulation. The notion of phrase is used to reduce the IF representation graph by partitioning the application on the basis of phases.</abstract><cop>Los Alamitos CA</cop><pub>IEEE</pub><doi>10.1109/DS-RT.2004.39</doi><tpages>8</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 1550-6525 |
| ispartof | Eighth IEEE International Symposium on Distributed Simulation and Real-Time Applications, 2004, p.188-195 |
| issn | 1550-6525 |
| language | eng |
| recordid | cdi_pascalfrancis_primary_20336281 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Applied sciences Automata Communicating Computer science control theory systems Computer systems and distributed systems. User interface Exact sciences and technology Exhaustive Simulation Multitasking Observer Automata RTOS Software Temporal Verification Timed Automata |
| title | Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-25T20%3A25%3A41IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Temporal%20Verification%20of%20Real-Time%20Multitasking%20Application%20Properties%20Based%20on%20Communicating%20Timed%20Automata&rft.btitle=Eighth%20IEEE%20International%20Symposium%20on%20Distributed%20Simulation%20and%20Real-Time%20Applications&rft.au=Belarbi,%20M.&rft.date=2004&rft.spage=188&rft.epage=195&rft.pages=188-195&rft.issn=1550-6525&rft.isbn=9780769522326&rft.isbn_list=0769522327&rft_id=info:doi/10.1109/DS-RT.2004.39&rft_dat=%3Cpascalfrancis_6IE%3E20336281%3C/pascalfrancis_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=1364595&rfr_iscdi=true |