OBSERVER FOR SIMULATION TEST AND VERIFICATION
Systems and methods validate the operation of a component of an executable model without inadvertently altering the behavior of the component. The model may be partitioned into a design space and a verification space. The component may be placed in the design space, while an observer for validating...
Gespeichert in:
| Hauptverfasser: | , , , , |
|---|---|
| Format: | Patent |
| Sprache: | 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 | Nanjundappa, Mahesh Raghavan, Vijaya Dirner, John P Nejhum, S.M. Shahed Balasubramanian, Krishna |
| description | Systems and methods validate the operation of a component of an executable model without inadvertently altering the behavior of the component. The model may be partitioned into a design space and a verification space. The component may be placed in the design space, while an observer for validating the component may be placed in the verification space, and linked to the component. During execution of the model, input or output values for the component may be computed and buffered. Execution of the observer may follow execution of the component. The input or output values may be read out of the buffer, and utilized during execution of validation functionality defined for the observer. Model compilation operations that may inadvertently alter the behavior of the component, such as back propagation of attributes, are blocked between the observer and the component. |
| format | Patent |
| fullrecord | <record><control><sourceid>epo_EVB</sourceid><recordid>TN_cdi_epo_espacenet_US2020050533A1</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>US2020050533A1</sourcerecordid><originalsourceid>FETCH-epo_espacenet_US2020050533A13</originalsourceid><addsrcrecordid>eNrjZND1dwp2DQpzDVJw8w9SCPb0DfVxDPH091MIcQ0OUXD0c1EAynm6eTqDRXkYWNMSc4pTeaE0N4Oym2uIs4duakF-fGpxQWJyal5qSXxosJGBkYGBqYGpsbGjoTFxqgBmSiZ6</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>patent</recordtype></control><display><type>patent</type><title>OBSERVER FOR SIMULATION TEST AND VERIFICATION</title><source>esp@cenet</source><creator>Nanjundappa, Mahesh ; Raghavan, Vijaya ; Dirner, John P ; Nejhum, S.M. Shahed ; Balasubramanian, Krishna</creator><creatorcontrib>Nanjundappa, Mahesh ; Raghavan, Vijaya ; Dirner, John P ; Nejhum, S.M. Shahed ; Balasubramanian, Krishna</creatorcontrib><description>Systems and methods validate the operation of a component of an executable model without inadvertently altering the behavior of the component. The model may be partitioned into a design space and a verification space. The component may be placed in the design space, while an observer for validating the component may be placed in the verification space, and linked to the component. During execution of the model, input or output values for the component may be computed and buffered. Execution of the observer may follow execution of the component. The input or output values may be read out of the buffer, and utilized during execution of validation functionality defined for the observer. Model compilation operations that may inadvertently alter the behavior of the component, such as back propagation of attributes, are blocked between the observer and the component.</description><language>eng</language><subject>CALCULATING ; COMPUTING ; COUNTING ; ELECTRIC DIGITAL DATA PROCESSING ; PHYSICS</subject><creationdate>2020</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=20200213&DB=EPODOC&CC=US&NR=2020050533A1$$EHTML$$P50$$Gepo$$Hfree_for_read</linktohtml><link.rule.ids>230,308,780,885,25564,76547</link.rule.ids><linktorsrc>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&date=20200213&DB=EPODOC&CC=US&NR=2020050533A1$$EView_record_in_European_Patent_Office$$FView_record_in_$$GEuropean_Patent_Office$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>Nanjundappa, Mahesh</creatorcontrib><creatorcontrib>Raghavan, Vijaya</creatorcontrib><creatorcontrib>Dirner, John P</creatorcontrib><creatorcontrib>Nejhum, S.M. Shahed</creatorcontrib><creatorcontrib>Balasubramanian, Krishna</creatorcontrib><title>OBSERVER FOR SIMULATION TEST AND VERIFICATION</title><description>Systems and methods validate the operation of a component of an executable model without inadvertently altering the behavior of the component. The model may be partitioned into a design space and a verification space. The component may be placed in the design space, while an observer for validating the component may be placed in the verification space, and linked to the component. During execution of the model, input or output values for the component may be computed and buffered. Execution of the observer may follow execution of the component. The input or output values may be read out of the buffer, and utilized during execution of validation functionality defined for the observer. Model compilation operations that may inadvertently alter the behavior of the component, such as back propagation of attributes, are blocked between the observer and the component.</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>2020</creationdate><recordtype>patent</recordtype><sourceid>EVB</sourceid><recordid>eNrjZND1dwp2DQpzDVJw8w9SCPb0DfVxDPH091MIcQ0OUXD0c1EAynm6eTqDRXkYWNMSc4pTeaE0N4Oym2uIs4duakF-fGpxQWJyal5qSXxosJGBkYGBqYGpsbGjoTFxqgBmSiZ6</recordid><startdate>20200213</startdate><enddate>20200213</enddate><creator>Nanjundappa, Mahesh</creator><creator>Raghavan, Vijaya</creator><creator>Dirner, John P</creator><creator>Nejhum, S.M. Shahed</creator><creator>Balasubramanian, Krishna</creator><scope>EVB</scope></search><sort><creationdate>20200213</creationdate><title>OBSERVER FOR SIMULATION TEST AND VERIFICATION</title><author>Nanjundappa, Mahesh ; Raghavan, Vijaya ; Dirner, John P ; Nejhum, S.M. Shahed ; Balasubramanian, Krishna</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-epo_espacenet_US2020050533A13</frbrgroupid><rsrctype>patents</rsrctype><prefilter>patents</prefilter><language>eng</language><creationdate>2020</creationdate><topic>CALCULATING</topic><topic>COMPUTING</topic><topic>COUNTING</topic><topic>ELECTRIC DIGITAL DATA PROCESSING</topic><topic>PHYSICS</topic><toplevel>online_resources</toplevel><creatorcontrib>Nanjundappa, Mahesh</creatorcontrib><creatorcontrib>Raghavan, Vijaya</creatorcontrib><creatorcontrib>Dirner, John P</creatorcontrib><creatorcontrib>Nejhum, S.M. Shahed</creatorcontrib><creatorcontrib>Balasubramanian, Krishna</creatorcontrib><collection>esp@cenet</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Nanjundappa, Mahesh</au><au>Raghavan, Vijaya</au><au>Dirner, John P</au><au>Nejhum, S.M. Shahed</au><au>Balasubramanian, Krishna</au><format>patent</format><genre>patent</genre><ristype>GEN</ristype><title>OBSERVER FOR SIMULATION TEST AND VERIFICATION</title><date>2020-02-13</date><risdate>2020</risdate><abstract>Systems and methods validate the operation of a component of an executable model without inadvertently altering the behavior of the component. The model may be partitioned into a design space and a verification space. The component may be placed in the design space, while an observer for validating the component may be placed in the verification space, and linked to the component. During execution of the model, input or output values for the component may be computed and buffered. Execution of the observer may follow execution of the component. The input or output values may be read out of the buffer, and utilized during execution of validation functionality defined for the observer. Model compilation operations that may inadvertently alter the behavior of the component, such as back propagation of attributes, are blocked between the observer and the component.</abstract><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | |
| ispartof | |
| issn | |
| language | eng |
| recordid | cdi_epo_espacenet_US2020050533A1 |
| source | esp@cenet |
| subjects | CALCULATING COMPUTING COUNTING ELECTRIC DIGITAL DATA PROCESSING PHYSICS |
| title | OBSERVER FOR SIMULATION TEST AND VERIFICATION |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-06T05%3A23%3A55IST&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=Nanjundappa,%20Mahesh&rft.date=2020-02-13&rft_id=info:doi/&rft_dat=%3Cepo_EVB%3EUS2020050533A1%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 |