Compatibility verification of real-time components' behavior

Compatibility verification of real-time components' behavior

This paper presents a model-based approach to verify compatibility of coordinated real-time components' behavior. Timed Behavior Protocol (TBP) is introduced to specify real-time components' timed interaction behaviors. TBP extends the behavior protocol used in SOFA component model by inco...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Yangli Jia, Zhenling Zhang, Shengxian Xie
Format: Tagungsbericht
Sprache:eng
Schlagworte:
behavior
compatibility verification
component
Protocols
Real time systems
timed behavior protocol
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page V5-23
container_issue
container_start_page V5-19
container_title
container_volume 5
creator Yangli Jia
Zhenling Zhang
Shengxian Xie
description This paper presents a model-based approach to verify compatibility of coordinated real-time components' behavior. Timed Behavior Protocol (TBP) is introduced to specify real-time components' timed interaction behaviors. TBP extends the behavior protocol used in SOFA component model by incorporating time factor into behavior protocol model of component based real-time system. Event tokens in TBP are bound with timing constraint information according to requirements of practical applications, and time-related operators are added into the model language. Common compatibility errors in component composition are analyzed and the compatibility verification algorithm based on formal specification is given. The formal specification language of timed behavior protocol is simple and compatibility verification of real-time components' behavior specified as timed behavior protocol is convenient to apply. Other specification and verification methods of real-time components' behavior are discussed finally.
doi_str_mv 10.1109/ICACTE.2010.5579193
format Conference Proceeding
fullrecord <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_5579193</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>5579193</ieee_id><sourcerecordid>5579193</sourcerecordid><originalsourceid>FETCH-LOGICAL-i90t-8f3d453ffe17e7978a4e71600cea1a9d6c39aed87bec39a6d7f05ab97230457a3</originalsourceid><addsrcrecordid>eNo9kElrwzAQhdUNmqb5Bbn41pNTrR4LeikmXSDQi-9hbI-oipcgi0D-fVWadi5veN8wPB5ja8E3QnD7-F49V_V2I3kyjAErrLpgd0JLrQujJVyyhRRG52C4ufoHysL1H9BW3LLVPH_xNNpIA-WCPVXTcMDoG9_7eMqOFLzzbTKmMZtcFgj7PPqBsjbdTSONcX7IGvrEo5_CPbtx2M-0OuuS1S_bunrLdx-vKe8u95bHvHSq00Y5RwIILJSoCUTBeUso0HZFqyxSV0JDP1vRgeMGGwtSpZiAasnWv289Ee0PwQ8YTvtzCeoboaFNLg</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Compatibility verification of real-time components' behavior</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Yangli Jia ; Zhenling Zhang ; Shengxian Xie</creator><creatorcontrib>Yangli Jia ; Zhenling Zhang ; Shengxian Xie</creatorcontrib><description>This paper presents a model-based approach to verify compatibility of coordinated real-time components' behavior. Timed Behavior Protocol (TBP) is introduced to specify real-time components' timed interaction behaviors. TBP extends the behavior protocol used in SOFA component model by incorporating time factor into behavior protocol model of component based real-time system. Event tokens in TBP are bound with timing constraint information according to requirements of practical applications, and time-related operators are added into the model language. Common compatibility errors in component composition are analyzed and the compatibility verification algorithm based on formal specification is given. The formal specification language of timed behavior protocol is simple and compatibility verification of real-time components' behavior specified as timed behavior protocol is convenient to apply. Other specification and verification methods of real-time components' behavior are discussed finally.</description><identifier>ISSN: 2154-7491</identifier><identifier>ISBN: 1424465397</identifier><identifier>ISBN: 9781424465392</identifier><identifier>EISSN: 2154-7505</identifier><identifier>EISBN: 1424465427</identifier><identifier>EISBN: 9781424465415</identifier><identifier>EISBN: 9781424465422</identifier><identifier>EISBN: 1424465419</identifier><identifier>DOI: 10.1109/ICACTE.2010.5579193</identifier><language>eng</language><publisher>IEEE</publisher><subject>behavior ; compatibility verification ; component ; Protocols ; Real time systems ; timed behavior protocol</subject><ispartof>2010 3rd International Conference on Advanced Computer Theory and Engineering(ICACTE), 2010, Vol.5, p.V5-19-V5-23</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/5579193$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2058,27925,54920</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/5579193$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Yangli Jia</creatorcontrib><creatorcontrib>Zhenling Zhang</creatorcontrib><creatorcontrib>Shengxian Xie</creatorcontrib><title>Compatibility verification of real-time components' behavior</title><title>2010 3rd International Conference on Advanced Computer Theory and Engineering(ICACTE)</title><addtitle>ICACTE</addtitle><description>This paper presents a model-based approach to verify compatibility of coordinated real-time components' behavior. Timed Behavior Protocol (TBP) is introduced to specify real-time components' timed interaction behaviors. TBP extends the behavior protocol used in SOFA component model by incorporating time factor into behavior protocol model of component based real-time system. Event tokens in TBP are bound with timing constraint information according to requirements of practical applications, and time-related operators are added into the model language. Common compatibility errors in component composition are analyzed and the compatibility verification algorithm based on formal specification is given. The formal specification language of timed behavior protocol is simple and compatibility verification of real-time components' behavior specified as timed behavior protocol is convenient to apply. Other specification and verification methods of real-time components' behavior are discussed finally.</description><subject>behavior</subject><subject>compatibility verification</subject><subject>component</subject><subject>Protocols</subject><subject>Real time systems</subject><subject>timed behavior protocol</subject><issn>2154-7491</issn><issn>2154-7505</issn><isbn>1424465397</isbn><isbn>9781424465392</isbn><isbn>1424465427</isbn><isbn>9781424465415</isbn><isbn>9781424465422</isbn><isbn>1424465419</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2010</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNo9kElrwzAQhdUNmqb5Bbn41pNTrR4LeikmXSDQi-9hbI-oipcgi0D-fVWadi5veN8wPB5ja8E3QnD7-F49V_V2I3kyjAErrLpgd0JLrQujJVyyhRRG52C4ufoHysL1H9BW3LLVPH_xNNpIA-WCPVXTcMDoG9_7eMqOFLzzbTKmMZtcFgj7PPqBsjbdTSONcX7IGvrEo5_CPbtx2M-0OuuS1S_bunrLdx-vKe8u95bHvHSq00Y5RwIILJSoCUTBeUso0HZFqyxSV0JDP1vRgeMGGwtSpZiAasnWv289Ee0PwQ8YTvtzCeoboaFNLg</recordid><startdate>201008</startdate><enddate>201008</enddate><creator>Yangli Jia</creator><creator>Zhenling Zhang</creator><creator>Shengxian Xie</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>201008</creationdate><title>Compatibility verification of real-time components' behavior</title><author>Yangli Jia ; Zhenling Zhang ; Shengxian Xie</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i90t-8f3d453ffe17e7978a4e71600cea1a9d6c39aed87bec39a6d7f05ab97230457a3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2010</creationdate><topic>behavior</topic><topic>compatibility verification</topic><topic>component</topic><topic>Protocols</topic><topic>Real time systems</topic><topic>timed behavior protocol</topic><toplevel>online_resources</toplevel><creatorcontrib>Yangli Jia</creatorcontrib><creatorcontrib>Zhenling Zhang</creatorcontrib><creatorcontrib>Shengxian Xie</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>Yangli Jia</au><au>Zhenling Zhang</au><au>Shengxian Xie</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Compatibility verification of real-time components' behavior</atitle><btitle>2010 3rd International Conference on Advanced Computer Theory and Engineering(ICACTE)</btitle><stitle>ICACTE</stitle><date>2010-08</date><risdate>2010</risdate><volume>5</volume><spage>V5-19</spage><epage>V5-23</epage><pages>V5-19-V5-23</pages><issn>2154-7491</issn><eissn>2154-7505</eissn><isbn>1424465397</isbn><isbn>9781424465392</isbn><eisbn>1424465427</eisbn><eisbn>9781424465415</eisbn><eisbn>9781424465422</eisbn><eisbn>1424465419</eisbn><abstract>This paper presents a model-based approach to verify compatibility of coordinated real-time components' behavior. Timed Behavior Protocol (TBP) is introduced to specify real-time components' timed interaction behaviors. TBP extends the behavior protocol used in SOFA component model by incorporating time factor into behavior protocol model of component based real-time system. Event tokens in TBP are bound with timing constraint information according to requirements of practical applications, and time-related operators are added into the model language. Common compatibility errors in component composition are analyzed and the compatibility verification algorithm based on formal specification is given. The formal specification language of timed behavior protocol is simple and compatibility verification of real-time components' behavior specified as timed behavior protocol is convenient to apply. Other specification and verification methods of real-time components' behavior are discussed finally.</abstract><pub>IEEE</pub><doi>10.1109/ICACTE.2010.5579193</doi></addata></record>
fulltext fulltext_linktorsrc
identifier ISSN: 2154-7491
ispartof 2010 3rd International Conference on Advanced Computer Theory and Engineering(ICACTE), 2010, Vol.5, p.V5-19-V5-23
issn 2154-7491
2154-7505
language eng
recordid cdi_ieee_primary_5579193
source IEEE Electronic Library (IEL) Conference Proceedings
subjects behavior
compatibility verification
component
Protocols
Real time systems
timed behavior protocol
title Compatibility verification of real-time components' behavior
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-30T17%3A27%3A55IST&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=Compatibility%20verification%20of%20real-time%20components'%20behavior&rft.btitle=2010%203rd%20International%20Conference%20on%20Advanced%20Computer%20Theory%20and%20Engineering(ICACTE)&rft.au=Yangli%20Jia&rft.date=2010-08&rft.volume=5&rft.spage=V5-19&rft.epage=V5-23&rft.pages=V5-19-V5-23&rft.issn=2154-7491&rft.eissn=2154-7505&rft.isbn=1424465397&rft.isbn_list=9781424465392&rft_id=info:doi/10.1109/ICACTE.2010.5579193&rft_dat=%3Cieee_6IE%3E5579193%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&rft.eisbn=1424465427&rft.eisbn_list=9781424465415&rft.eisbn_list=9781424465422&rft.eisbn_list=1424465419&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=5579193&rfr_iscdi=true