Using MDE for the Rapid Prototyping of Space Critical Systems
The reliability requirements for space-critical system call for specific tools and models. Space systems have been a long time user of models (synchronous or asynchronous building blocks), from which code generators could derive analyzable code, while also providing additional benefits like simulati...
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 | 16 |
|---|---|
| container_issue | |
| container_start_page | 10 |
| container_title | |
| container_volume | |
| creator | Hugues, J. Perrotin, M. Tsiodras, T. |
| description | The reliability requirements for space-critical system call for specific tools and models. Space systems have been a long time user of models (synchronous or asynchronous building blocks), from which code generators could derive analyzable code, while also providing additional benefits like simulation, model checking, etc. However, the integration of multiple models to form one complete system was done manually, in an ad hoc and time consuming way. In this paper, we show how a MDE process built around ASN.l, SDL, SCADE and AADL allows for more rigor by separating concerns to defining data models, functional blocks, interfaces and then behavior of a complete system; and then weave them to build the final systems. By automating the full process, we show the benefits from the system designer perspective: reduced implied complexity, quicker access to evaluation prototype of the end system. |
| doi_str_mv | 10.1109/RSP.2008.19 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_4550883</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>4550883</ieee_id><sourcerecordid>4550883</sourcerecordid><originalsourceid>FETCH-LOGICAL-i175t-21150e52cadaeaab70c650982b95141b2d49657a5984f34f31fceb9adeaa0c523</originalsourceid><addsrcrecordid>eNo9TztPwzAYtIBKlJKJkcV_IOH7_EjsgQGF8pCKqBo6V47jgFFLothL_n1TgZBOuuEeuiPkBiFDBH23qdYZA1AZ6jMyZyghlRL1OUl0oaDIteSoQF_8awAzcnVKaKYwLy5JEsI3AHAGAkU-J_fb4H8-6dvjkrbdQOOXoxvT-4auhy52cexPatfSqjfW0XLw0Vuzp9UYojuEazJrzT645I8XZPu0_Chf0tX782v5sEo9FjKmDKc1TjJrGuOMqQuwuQStWK0lCqxZI3QuCyO1Ei2fgK11tTbNZAYrGV-Q299e75zb9YM_mGHciemfUpwfAdSrSwQ</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Using MDE for the Rapid Prototyping of Space Critical Systems</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Hugues, J. ; Perrotin, M. ; Tsiodras, T.</creator><creatorcontrib>Hugues, J. ; Perrotin, M. ; Tsiodras, T.</creatorcontrib><description>The reliability requirements for space-critical system call for specific tools and models. Space systems have been a long time user of models (synchronous or asynchronous building blocks), from which code generators could derive analyzable code, while also providing additional benefits like simulation, model checking, etc. However, the integration of multiple models to form one complete system was done manually, in an ad hoc and time consuming way. In this paper, we show how a MDE process built around ASN.l, SDL, SCADE and AADL allows for more rigor by separating concerns to defining data models, functional blocks, interfaces and then behavior of a complete system; and then weave them to build the final systems. By automating the full process, we show the benefits from the system designer perspective: reduced implied complexity, quicker access to evaluation prototype of the end system.</description><identifier>ISSN: 2150-5500</identifier><identifier>ISBN: 9780769531809</identifier><identifier>ISBN: 0769531806</identifier><identifier>EISSN: 2150-5519</identifier><identifier>DOI: 10.1109/RSP.2008.19</identifier><identifier>LCCN: 2008928167</identifier><language>eng</language><publisher>IEEE</publisher><subject>AADL ; Analytical models ; Data models ; Hardware ; Information technology ; Logic ; MDE ; Model driven engineering ; Prototypes ; Real time systems ; space systems ; Space technology ; Synchronous generators</subject><ispartof>2008 The 19th IEEE/IFIP International Symposium on Rapid System Prototyping, 2008, p.10-16</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/4550883$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,776,780,785,786,2052,27904,54897</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/4550883$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Hugues, J.</creatorcontrib><creatorcontrib>Perrotin, M.</creatorcontrib><creatorcontrib>Tsiodras, T.</creatorcontrib><title>Using MDE for the Rapid Prototyping of Space Critical Systems</title><title>2008 The 19th IEEE/IFIP International Symposium on Rapid System Prototyping</title><addtitle>RSP</addtitle><description>The reliability requirements for space-critical system call for specific tools and models. Space systems have been a long time user of models (synchronous or asynchronous building blocks), from which code generators could derive analyzable code, while also providing additional benefits like simulation, model checking, etc. However, the integration of multiple models to form one complete system was done manually, in an ad hoc and time consuming way. In this paper, we show how a MDE process built around ASN.l, SDL, SCADE and AADL allows for more rigor by separating concerns to defining data models, functional blocks, interfaces and then behavior of a complete system; and then weave them to build the final systems. By automating the full process, we show the benefits from the system designer perspective: reduced implied complexity, quicker access to evaluation prototype of the end system.</description><subject>AADL</subject><subject>Analytical models</subject><subject>Data models</subject><subject>Hardware</subject><subject>Information technology</subject><subject>Logic</subject><subject>MDE</subject><subject>Model driven engineering</subject><subject>Prototypes</subject><subject>Real time systems</subject><subject>space systems</subject><subject>Space technology</subject><subject>Synchronous generators</subject><issn>2150-5500</issn><issn>2150-5519</issn><isbn>9780769531809</isbn><isbn>0769531806</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2008</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNo9TztPwzAYtIBKlJKJkcV_IOH7_EjsgQGF8pCKqBo6V47jgFFLothL_n1TgZBOuuEeuiPkBiFDBH23qdYZA1AZ6jMyZyghlRL1OUl0oaDIteSoQF_8awAzcnVKaKYwLy5JEsI3AHAGAkU-J_fb4H8-6dvjkrbdQOOXoxvT-4auhy52cexPatfSqjfW0XLw0Vuzp9UYojuEazJrzT645I8XZPu0_Chf0tX782v5sEo9FjKmDKc1TjJrGuOMqQuwuQStWK0lCqxZI3QuCyO1Ei2fgK11tTbNZAYrGV-Q299e75zb9YM_mGHciemfUpwfAdSrSwQ</recordid><startdate>200806</startdate><enddate>200806</enddate><creator>Hugues, J.</creator><creator>Perrotin, M.</creator><creator>Tsiodras, T.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>200806</creationdate><title>Using MDE for the Rapid Prototyping of Space Critical Systems</title><author>Hugues, J. ; Perrotin, M. ; Tsiodras, T.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i175t-21150e52cadaeaab70c650982b95141b2d49657a5984f34f31fceb9adeaa0c523</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2008</creationdate><topic>AADL</topic><topic>Analytical models</topic><topic>Data models</topic><topic>Hardware</topic><topic>Information technology</topic><topic>Logic</topic><topic>MDE</topic><topic>Model driven engineering</topic><topic>Prototypes</topic><topic>Real time systems</topic><topic>space systems</topic><topic>Space technology</topic><topic>Synchronous generators</topic><toplevel>online_resources</toplevel><creatorcontrib>Hugues, J.</creatorcontrib><creatorcontrib>Perrotin, M.</creatorcontrib><creatorcontrib>Tsiodras, T.</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>Hugues, J.</au><au>Perrotin, M.</au><au>Tsiodras, T.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Using MDE for the Rapid Prototyping of Space Critical Systems</atitle><btitle>2008 The 19th IEEE/IFIP International Symposium on Rapid System Prototyping</btitle><stitle>RSP</stitle><date>2008-06</date><risdate>2008</risdate><spage>10</spage><epage>16</epage><pages>10-16</pages><issn>2150-5500</issn><eissn>2150-5519</eissn><isbn>9780769531809</isbn><isbn>0769531806</isbn><abstract>The reliability requirements for space-critical system call for specific tools and models. Space systems have been a long time user of models (synchronous or asynchronous building blocks), from which code generators could derive analyzable code, while also providing additional benefits like simulation, model checking, etc. However, the integration of multiple models to form one complete system was done manually, in an ad hoc and time consuming way. In this paper, we show how a MDE process built around ASN.l, SDL, SCADE and AADL allows for more rigor by separating concerns to defining data models, functional blocks, interfaces and then behavior of a complete system; and then weave them to build the final systems. By automating the full process, we show the benefits from the system designer perspective: reduced implied complexity, quicker access to evaluation prototype of the end system.</abstract><pub>IEEE</pub><doi>10.1109/RSP.2008.19</doi><tpages>7</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 2150-5500 |
| ispartof | 2008 The 19th IEEE/IFIP International Symposium on Rapid System Prototyping, 2008, p.10-16 |
| issn | 2150-5500 2150-5519 |
| language | eng |
| recordid | cdi_ieee_primary_4550883 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | AADL Analytical models Data models Hardware Information technology Logic MDE Model driven engineering Prototypes Real time systems space systems Space technology Synchronous generators |
| title | Using MDE for the Rapid Prototyping of Space Critical Systems |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-28T07%3A37%3A30IST&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=Using%20MDE%20for%20the%20Rapid%20Prototyping%20of%20Space%20Critical%20Systems&rft.btitle=2008%20The%2019th%20IEEE/IFIP%20International%20Symposium%20on%20Rapid%20System%20Prototyping&rft.au=Hugues,%20J.&rft.date=2008-06&rft.spage=10&rft.epage=16&rft.pages=10-16&rft.issn=2150-5500&rft.eissn=2150-5519&rft.isbn=9780769531809&rft.isbn_list=0769531806&rft_id=info:doi/10.1109/RSP.2008.19&rft_dat=%3Cieee_6IE%3E4550883%3C/ieee_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=4550883&rfr_iscdi=true |