Complex device control software modeling and verification method based on SysML and Tango
The invention discloses a complex device control software modeling and verification method based on SysML and Tango, and the method comprises the steps: constructing a Tango meta-model field extension library based on SysML, and the Tango meta-model field extension library comprises key element info...
Gespeichert in:
| Hauptverfasser: | , , , , , , , , |
|---|---|
| Format: | Patent |
| Sprache: | chi ; eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | |
| container_title | |
| container_volume | |
| creator | YU BING ZHAO SHICAO ZENG SIFENG AN BAORAN LIU ZILONG OUYANG HAO ZHOU CHEN WU HUAI ZHANG XUEDONG |
| description | The invention discloses a complex device control software modeling and verification method based on SysML and Tango, and the method comprises the steps: constructing a Tango meta-model field extension library based on SysML, and the Tango meta-model field extension library comprises key element information such as functions, attributes and states; constructing a field template library oriented to the equipment service software development business process based on SysML; rapid construction of an equipment service software model is realized through parametric modeling; verifying equipment service software state logic through system behavior simulation; automatically generating a code framework of the equipment service control software through a model conversion and code generation tool; and software demand index design and verification are realized through simulation of the activity diagram and the parameter diagram. According to the method, the problems of control software document expression consistency, sof |
| format | Patent |
| fullrecord | <record><control><sourceid>epo_EVB</sourceid><recordid>TN_cdi_epo_espacenet_CN116680885A</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>CN116680885A</sourcerecordid><originalsourceid>FETCH-epo_espacenet_CN116680885A3</originalsourceid><addsrcrecordid>eNqNyrEKwjAURuEuDqK-w_UBBItYupaiOKiLXZzKNflTA2luSULVt1fEB3A6HPim2bWWfnB4ksZoFUiJT0EcRTHpwQHUi4azviP2mkYEa6ziZMVTj3QXTTeO0PT5yyuejl_WsO9knk0Mu4jFr7Nsud819WGFQVrEgRU8Uluf87woynVZbqvNP-YN2w86cA</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>patent</recordtype></control><display><type>patent</type><title>Complex device control software modeling and verification method based on SysML and Tango</title><source>esp@cenet</source><creator>YU BING ; ZHAO SHICAO ; ZENG SIFENG ; AN BAORAN ; LIU ZILONG ; OUYANG HAO ; ZHOU CHEN ; WU HUAI ; ZHANG XUEDONG</creator><creatorcontrib>YU BING ; ZHAO SHICAO ; ZENG SIFENG ; AN BAORAN ; LIU ZILONG ; OUYANG HAO ; ZHOU CHEN ; WU HUAI ; ZHANG XUEDONG</creatorcontrib><description>The invention discloses a complex device control software modeling and verification method based on SysML and Tango, and the method comprises the steps: constructing a Tango meta-model field extension library based on SysML, and the Tango meta-model field extension library comprises key element information such as functions, attributes and states; constructing a field template library oriented to the equipment service software development business process based on SysML; rapid construction of an equipment service software model is realized through parametric modeling; verifying equipment service software state logic through system behavior simulation; automatically generating a code framework of the equipment service control software through a model conversion and code generation tool; and software demand index design and verification are realized through simulation of the activity diagram and the parameter diagram. According to the method, the problems of control software document expression consistency, sof</description><language>chi ; eng</language><subject>CALCULATING ; COMPUTING ; COUNTING ; ELECTRIC DIGITAL DATA PROCESSING ; PHYSICS</subject><creationdate>2023</creationdate><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&date=20230901&DB=EPODOC&CC=CN&NR=116680885A$$EHTML$$P50$$Gepo$$Hfree_for_read</linktohtml><link.rule.ids>230,308,776,881,25542,76289</link.rule.ids><linktorsrc>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&date=20230901&DB=EPODOC&CC=CN&NR=116680885A$$EView_record_in_European_Patent_Office$$FView_record_in_$$GEuropean_Patent_Office$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>YU BING</creatorcontrib><creatorcontrib>ZHAO SHICAO</creatorcontrib><creatorcontrib>ZENG SIFENG</creatorcontrib><creatorcontrib>AN BAORAN</creatorcontrib><creatorcontrib>LIU ZILONG</creatorcontrib><creatorcontrib>OUYANG HAO</creatorcontrib><creatorcontrib>ZHOU CHEN</creatorcontrib><creatorcontrib>WU HUAI</creatorcontrib><creatorcontrib>ZHANG XUEDONG</creatorcontrib><title>Complex device control software modeling and verification method based on SysML and Tango</title><description>The invention discloses a complex device control software modeling and verification method based on SysML and Tango, and the method comprises the steps: constructing a Tango meta-model field extension library based on SysML, and the Tango meta-model field extension library comprises key element information such as functions, attributes and states; constructing a field template library oriented to the equipment service software development business process based on SysML; rapid construction of an equipment service software model is realized through parametric modeling; verifying equipment service software state logic through system behavior simulation; automatically generating a code framework of the equipment service control software through a model conversion and code generation tool; and software demand index design and verification are realized through simulation of the activity diagram and the parameter diagram. According to the method, the problems of control software document expression consistency, sof</description><subject>CALCULATING</subject><subject>COMPUTING</subject><subject>COUNTING</subject><subject>ELECTRIC DIGITAL DATA PROCESSING</subject><subject>PHYSICS</subject><fulltext>true</fulltext><rsrctype>patent</rsrctype><creationdate>2023</creationdate><recordtype>patent</recordtype><sourceid>EVB</sourceid><recordid>eNqNyrEKwjAURuEuDqK-w_UBBItYupaiOKiLXZzKNflTA2luSULVt1fEB3A6HPim2bWWfnB4ksZoFUiJT0EcRTHpwQHUi4azviP2mkYEa6ziZMVTj3QXTTeO0PT5yyuejl_WsO9knk0Mu4jFr7Nsud819WGFQVrEgRU8Uluf87woynVZbqvNP-YN2w86cA</recordid><startdate>20230901</startdate><enddate>20230901</enddate><creator>YU BING</creator><creator>ZHAO SHICAO</creator><creator>ZENG SIFENG</creator><creator>AN BAORAN</creator><creator>LIU ZILONG</creator><creator>OUYANG HAO</creator><creator>ZHOU CHEN</creator><creator>WU HUAI</creator><creator>ZHANG XUEDONG</creator><scope>EVB</scope></search><sort><creationdate>20230901</creationdate><title>Complex device control software modeling and verification method based on SysML and Tango</title><author>YU BING ; ZHAO SHICAO ; ZENG SIFENG ; AN BAORAN ; LIU ZILONG ; OUYANG HAO ; ZHOU CHEN ; WU HUAI ; ZHANG XUEDONG</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-epo_espacenet_CN116680885A3</frbrgroupid><rsrctype>patents</rsrctype><prefilter>patents</prefilter><language>chi ; eng</language><creationdate>2023</creationdate><topic>CALCULATING</topic><topic>COMPUTING</topic><topic>COUNTING</topic><topic>ELECTRIC DIGITAL DATA PROCESSING</topic><topic>PHYSICS</topic><toplevel>online_resources</toplevel><creatorcontrib>YU BING</creatorcontrib><creatorcontrib>ZHAO SHICAO</creatorcontrib><creatorcontrib>ZENG SIFENG</creatorcontrib><creatorcontrib>AN BAORAN</creatorcontrib><creatorcontrib>LIU ZILONG</creatorcontrib><creatorcontrib>OUYANG HAO</creatorcontrib><creatorcontrib>ZHOU CHEN</creatorcontrib><creatorcontrib>WU HUAI</creatorcontrib><creatorcontrib>ZHANG XUEDONG</creatorcontrib><collection>esp@cenet</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>YU BING</au><au>ZHAO SHICAO</au><au>ZENG SIFENG</au><au>AN BAORAN</au><au>LIU ZILONG</au><au>OUYANG HAO</au><au>ZHOU CHEN</au><au>WU HUAI</au><au>ZHANG XUEDONG</au><format>patent</format><genre>patent</genre><ristype>GEN</ristype><title>Complex device control software modeling and verification method based on SysML and Tango</title><date>2023-09-01</date><risdate>2023</risdate><abstract>The invention discloses a complex device control software modeling and verification method based on SysML and Tango, and the method comprises the steps: constructing a Tango meta-model field extension library based on SysML, and the Tango meta-model field extension library comprises key element information such as functions, attributes and states; constructing a field template library oriented to the equipment service software development business process based on SysML; rapid construction of an equipment service software model is realized through parametric modeling; verifying equipment service software state logic through system behavior simulation; automatically generating a code framework of the equipment service control software through a model conversion and code generation tool; and software demand index design and verification are realized through simulation of the activity diagram and the parameter diagram. According to the method, the problems of control software document expression consistency, sof</abstract><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | |
| ispartof | |
| issn | |
| language | chi ; eng |
| recordid | cdi_epo_espacenet_CN116680885A |
| source | esp@cenet |
| subjects | CALCULATING COMPUTING COUNTING ELECTRIC DIGITAL DATA PROCESSING PHYSICS |
| title | Complex device control software modeling and verification method based on SysML and Tango |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-05T16%3A50%3A36IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-epo_EVB&rft_val_fmt=info:ofi/fmt:kev:mtx:patent&rft.genre=patent&rft.au=YU%20BING&rft.date=2023-09-01&rft_id=info:doi/&rft_dat=%3Cepo_EVB%3ECN116680885A%3C/epo_EVB%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |