Multi-paradigm semantics for simulating SysML models using SystemC-AMS
SysML is an industrial standard for the modeling of systems, providing a graphical way to model structure and behavior. Despite its flexibility, SysML lacks semantics to give language elements a precise meaning. Current implementations of the standard allow multiple interpretations of syntactical el...
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 | 8 |
|---|---|
| container_issue | |
| container_start_page | 1 |
| container_title | |
| container_volume | |
| creator | Cafe, Daniel Chaves dos Santos, Filipe Vinci Hardebolle, Cecile Jacquet, Christophe Boulanger, Frederic |
| description | SysML is an industrial standard for the modeling of systems, providing a graphical way to model structure and behavior. Despite its flexibility, SysML lacks semantics to give language elements a precise meaning. Current implementations of the standard allow multiple interpretations of syntactical elements and can cause misunderstandings when porting a model among tools. Our work focuses on the definition of concrete semantics for SysML to enable correct interpretation of heterogeneous models. We also add semantic adaptation elements to guarantee that interactions among different formalisms are unambiguous. We demonstrate our approach by generating SystemC-AMS code automatically from SysML diagrams for a case study with two distinct formalisms. This kind of translation allows the validation of system behavior through simulation. |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_6646636</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>6646636</ieee_id><sourcerecordid>6646636</sourcerecordid><originalsourceid>FETCH-LOGICAL-i90t-507cf814cdaade7397833022d513eb7cb37a4f4d52a8141a26e31f9bef261c823</originalsourceid><addsrcrecordid>eNotj8tqwzAUBVVooWmaL-hGPyDQW9YymKYt2HSR7MO1dRUEVhIseZG_b6BZHRiGgfNE3qQ3ihuuG_NMVsIqy3zj9CvZlJIGzp2W1ji-Irt-mWpiV5ghpFOmBTOcaxoLjZeZlpSXCWo6n-j-VvqO5kvAqdClPFDF3LJtv38nLxGmgpvHrslh93lov1n3-_XTbjuWPK_McDfGRugxAAR0yrtGKS5lMELh4MZBOdBRByPhbgmQFpWIfsAorRgbqdbk4z-bEPF4nVOG-Xa0Vtv7Q_UHTOFGEg</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Multi-paradigm semantics for simulating SysML models using SystemC-AMS</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Cafe, Daniel Chaves ; dos Santos, Filipe Vinci ; Hardebolle, Cecile ; Jacquet, Christophe ; Boulanger, Frederic</creator><creatorcontrib>Cafe, Daniel Chaves ; dos Santos, Filipe Vinci ; Hardebolle, Cecile ; Jacquet, Christophe ; Boulanger, Frederic</creatorcontrib><description>SysML is an industrial standard for the modeling of systems, providing a graphical way to model structure and behavior. Despite its flexibility, SysML lacks semantics to give language elements a precise meaning. Current implementations of the standard allow multiple interpretations of syntactical elements and can cause misunderstandings when porting a model among tools. Our work focuses on the definition of concrete semantics for SysML to enable correct interpretation of heterogeneous models. We also add semantic adaptation elements to guarantee that interactions among different formalisms are unambiguous. We demonstrate our approach by generating SystemC-AMS code automatically from SysML diagrams for a case study with two distinct formalisms. This kind of translation allows the validation of system behavior through simulation.</description><identifier>ISSN: 1636-9874</identifier><identifier>EISBN: 2953050485</identifier><identifier>EISBN: 9782953050486</identifier><language>eng</language><publisher>European Electronic Chips & Systems design Initiative - ECSI</publisher><subject>Adaptation models ; Computational modeling ; Engines ; Mathematical model ; Model Transformation ; Semantic Adaptation ; Semantics ; SysML ; System Modeling ; System Simulation ; SystemC-AMS ; Unified modeling language</subject><ispartof>Proceedings of the 2013 Forum on specification and Design Languages (FDL), 2013, p.1-8</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/6646636$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2056,54918</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/6646636$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Cafe, Daniel Chaves</creatorcontrib><creatorcontrib>dos Santos, Filipe Vinci</creatorcontrib><creatorcontrib>Hardebolle, Cecile</creatorcontrib><creatorcontrib>Jacquet, Christophe</creatorcontrib><creatorcontrib>Boulanger, Frederic</creatorcontrib><title>Multi-paradigm semantics for simulating SysML models using SystemC-AMS</title><title>Proceedings of the 2013 Forum on specification and Design Languages (FDL)</title><addtitle>FDL</addtitle><description>SysML is an industrial standard for the modeling of systems, providing a graphical way to model structure and behavior. Despite its flexibility, SysML lacks semantics to give language elements a precise meaning. Current implementations of the standard allow multiple interpretations of syntactical elements and can cause misunderstandings when porting a model among tools. Our work focuses on the definition of concrete semantics for SysML to enable correct interpretation of heterogeneous models. We also add semantic adaptation elements to guarantee that interactions among different formalisms are unambiguous. We demonstrate our approach by generating SystemC-AMS code automatically from SysML diagrams for a case study with two distinct formalisms. This kind of translation allows the validation of system behavior through simulation.</description><subject>Adaptation models</subject><subject>Computational modeling</subject><subject>Engines</subject><subject>Mathematical model</subject><subject>Model Transformation</subject><subject>Semantic Adaptation</subject><subject>Semantics</subject><subject>SysML</subject><subject>System Modeling</subject><subject>System Simulation</subject><subject>SystemC-AMS</subject><subject>Unified modeling language</subject><issn>1636-9874</issn><isbn>2953050485</isbn><isbn>9782953050486</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2013</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotj8tqwzAUBVVooWmaL-hGPyDQW9YymKYt2HSR7MO1dRUEVhIseZG_b6BZHRiGgfNE3qQ3ihuuG_NMVsIqy3zj9CvZlJIGzp2W1ji-Irt-mWpiV5ghpFOmBTOcaxoLjZeZlpSXCWo6n-j-VvqO5kvAqdClPFDF3LJtv38nLxGmgpvHrslh93lov1n3-_XTbjuWPK_McDfGRugxAAR0yrtGKS5lMELh4MZBOdBRByPhbgmQFpWIfsAorRgbqdbk4z-bEPF4nVOG-Xa0Vtv7Q_UHTOFGEg</recordid><startdate>201309</startdate><enddate>201309</enddate><creator>Cafe, Daniel Chaves</creator><creator>dos Santos, Filipe Vinci</creator><creator>Hardebolle, Cecile</creator><creator>Jacquet, Christophe</creator><creator>Boulanger, Frederic</creator><general>European Electronic Chips & Systems design Initiative - ECSI</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>201309</creationdate><title>Multi-paradigm semantics for simulating SysML models using SystemC-AMS</title><author>Cafe, Daniel Chaves ; dos Santos, Filipe Vinci ; Hardebolle, Cecile ; Jacquet, Christophe ; Boulanger, Frederic</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i90t-507cf814cdaade7397833022d513eb7cb37a4f4d52a8141a26e31f9bef261c823</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2013</creationdate><topic>Adaptation models</topic><topic>Computational modeling</topic><topic>Engines</topic><topic>Mathematical model</topic><topic>Model Transformation</topic><topic>Semantic Adaptation</topic><topic>Semantics</topic><topic>SysML</topic><topic>System Modeling</topic><topic>System Simulation</topic><topic>SystemC-AMS</topic><topic>Unified modeling language</topic><toplevel>online_resources</toplevel><creatorcontrib>Cafe, Daniel Chaves</creatorcontrib><creatorcontrib>dos Santos, Filipe Vinci</creatorcontrib><creatorcontrib>Hardebolle, Cecile</creatorcontrib><creatorcontrib>Jacquet, Christophe</creatorcontrib><creatorcontrib>Boulanger, Frederic</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>Cafe, Daniel Chaves</au><au>dos Santos, Filipe Vinci</au><au>Hardebolle, Cecile</au><au>Jacquet, Christophe</au><au>Boulanger, Frederic</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Multi-paradigm semantics for simulating SysML models using SystemC-AMS</atitle><btitle>Proceedings of the 2013 Forum on specification and Design Languages (FDL)</btitle><stitle>FDL</stitle><date>2013-09</date><risdate>2013</risdate><spage>1</spage><epage>8</epage><pages>1-8</pages><issn>1636-9874</issn><eisbn>2953050485</eisbn><eisbn>9782953050486</eisbn><abstract>SysML is an industrial standard for the modeling of systems, providing a graphical way to model structure and behavior. Despite its flexibility, SysML lacks semantics to give language elements a precise meaning. Current implementations of the standard allow multiple interpretations of syntactical elements and can cause misunderstandings when porting a model among tools. Our work focuses on the definition of concrete semantics for SysML to enable correct interpretation of heterogeneous models. We also add semantic adaptation elements to guarantee that interactions among different formalisms are unambiguous. We demonstrate our approach by generating SystemC-AMS code automatically from SysML diagrams for a case study with two distinct formalisms. This kind of translation allows the validation of system behavior through simulation.</abstract><pub>European Electronic Chips & Systems design Initiative - ECSI</pub><tpages>8</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 1636-9874 |
| ispartof | Proceedings of the 2013 Forum on specification and Design Languages (FDL), 2013, p.1-8 |
| issn | 1636-9874 |
| language | eng |
| recordid | cdi_ieee_primary_6646636 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Adaptation models Computational modeling Engines Mathematical model Model Transformation Semantic Adaptation Semantics SysML System Modeling System Simulation SystemC-AMS Unified modeling language |
| title | Multi-paradigm semantics for simulating SysML models using SystemC-AMS |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-13T19%3A15%3A00IST&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=Multi-paradigm%20semantics%20for%20simulating%20SysML%20models%20using%20SystemC-AMS&rft.btitle=Proceedings%20of%20the%202013%20Forum%20on%20specification%20and%20Design%20Languages%20(FDL)&rft.au=Cafe,%20Daniel%20Chaves&rft.date=2013-09&rft.spage=1&rft.epage=8&rft.pages=1-8&rft.issn=1636-9874&rft_id=info:doi/&rft_dat=%3Cieee_6IE%3E6646636%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&rft.eisbn=2953050485&rft.eisbn_list=9782953050486&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=6646636&rfr_iscdi=true |