Model-Based Design, Development and Validation for UAS Critical Software
This paper focuses on the major phases present in the development of critical software for UAS: design, development, testing and validation with flying experiments. A model-based approach is the backbone of all these development phases. The presented approach enables the researchers or engineers to...
Gespeichert in:
| Veröffentlicht in: | Journal of intelligent & robotic systems 2012, Vol.65 (1-4), p.103-114 |
|---|---|
| Hauptverfasser: | , , , , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 114 |
|---|---|
| container_issue | 1-4 |
| container_start_page | 103 |
| container_title | Journal of intelligent & robotic systems |
| container_volume | 65 |
| creator | Santamaría, Daniel Alarcón, Francisco Jiménez, Antonio Viguria, Antidio Béjar, Manuel Ollero, Aníbal |
| description | This paper focuses on the major phases present in the development of critical software for UAS: design, development, testing and validation with flying experiments. A model-based approach is the backbone of all these development phases. The presented approach enables the researchers or engineers to work over the whole development cycle with the same tools, and produces an improvement over the classical design cycle. The model-based approach is illustrated with the development of guidance, navigation and control algorithms applied to rotary-wing UAVs. The paper discusses several implementation issues, including the integration of a hardware in the loop (HWIL) test environment within the model-based development cycle. Finally, several simulations and experimental results for this application are shown. |
| doi_str_mv | 10.1007/s10846-011-9618-9 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_1019625827</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2538844371</sourcerecordid><originalsourceid>FETCH-LOGICAL-c348t-b04dca766aeb3687882bd3c0dca680c76e5f2e12fc160a525abb329456124e7e3</originalsourceid><addsrcrecordid>eNp1kE1Lw0AURQdRsFZ_gLvgyoWj702SycxS6ydUXNS6HSbJS0lJM3UmVfz3TqkgCK4uPM69PA5jpwiXCFBcBQSVSQ6IXEtUXO-xEeZFyiEDvc9GoAVyEFoesqMQlgCgVa5H7PHZ1dTxGxuoTm4ptIv-IuYHdW69on5IbF8nb7Zrazu0rk8a55P59SyZ-HZoK9slM9cMn9bTMTtobBfo5CfHbH5_9zp55NOXh6fJ9ZRXaaYGXkJWV7aQ0lKZSlUoJco6rSAepYKqkJQ3glA0FUqwuchtWaZCZ7lEkVFB6Zid73bX3r1vKAxm1YaKus725DbBIKCWIleiiOjZH3TpNr6P3xmNiEIpyCKEO6jyLgRPjVn7dmX9V1wyW7Vmp9ZEtWar1ujYEbtOiGy_IP87_H_pGzBqegU</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>911128804</pqid></control><display><type>article</type><title>Model-Based Design, Development and Validation for UAS Critical Software</title><source>SpringerLink (Online service)</source><creator>Santamaría, Daniel ; Alarcón, Francisco ; Jiménez, Antonio ; Viguria, Antidio ; Béjar, Manuel ; Ollero, Aníbal</creator><creatorcontrib>Santamaría, Daniel ; Alarcón, Francisco ; Jiménez, Antonio ; Viguria, Antidio ; Béjar, Manuel ; Ollero, Aníbal</creatorcontrib><description>This paper focuses on the major phases present in the development of critical software for UAS: design, development, testing and validation with flying experiments. A model-based approach is the backbone of all these development phases. The presented approach enables the researchers or engineers to work over the whole development cycle with the same tools, and produces an improvement over the classical design cycle. The model-based approach is illustrated with the development of guidance, navigation and control algorithms applied to rotary-wing UAVs. The paper discusses several implementation issues, including the integration of a hardware in the loop (HWIL) test environment within the model-based development cycle. Finally, several simulations and experimental results for this application are shown.</description><identifier>ISSN: 0921-0296</identifier><identifier>EISSN: 1573-0409</identifier><identifier>DOI: 10.1007/s10846-011-9618-9</identifier><language>eng</language><publisher>Dordrecht: Springer Netherlands</publisher><subject>Artificial Intelligence ; Computer programs ; Computer simulation ; Control ; Design engineering ; Electrical Engineering ; Engineering ; Flying ; Hardware ; Mechanical Engineering ; Mechatronics ; Navigation ; Phases ; Robotics ; Software</subject><ispartof>Journal of intelligent & robotic systems, 2012, Vol.65 (1-4), p.103-114</ispartof><rights>Springer Science+Business Media B.V. 2011</rights><rights>Springer Science+Business Media B.V. 2012</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c348t-b04dca766aeb3687882bd3c0dca680c76e5f2e12fc160a525abb329456124e7e3</citedby><cites>FETCH-LOGICAL-c348t-b04dca766aeb3687882bd3c0dca680c76e5f2e12fc160a525abb329456124e7e3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/s10846-011-9618-9$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/s10846-011-9618-9$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>314,776,780,27901,27902,41464,42533,51294</link.rule.ids></links><search><creatorcontrib>Santamaría, Daniel</creatorcontrib><creatorcontrib>Alarcón, Francisco</creatorcontrib><creatorcontrib>Jiménez, Antonio</creatorcontrib><creatorcontrib>Viguria, Antidio</creatorcontrib><creatorcontrib>Béjar, Manuel</creatorcontrib><creatorcontrib>Ollero, Aníbal</creatorcontrib><title>Model-Based Design, Development and Validation for UAS Critical Software</title><title>Journal of intelligent & robotic systems</title><addtitle>J Intell Robot Syst</addtitle><description>This paper focuses on the major phases present in the development of critical software for UAS: design, development, testing and validation with flying experiments. A model-based approach is the backbone of all these development phases. The presented approach enables the researchers or engineers to work over the whole development cycle with the same tools, and produces an improvement over the classical design cycle. The model-based approach is illustrated with the development of guidance, navigation and control algorithms applied to rotary-wing UAVs. The paper discusses several implementation issues, including the integration of a hardware in the loop (HWIL) test environment within the model-based development cycle. Finally, several simulations and experimental results for this application are shown.</description><subject>Artificial Intelligence</subject><subject>Computer programs</subject><subject>Computer simulation</subject><subject>Control</subject><subject>Design engineering</subject><subject>Electrical Engineering</subject><subject>Engineering</subject><subject>Flying</subject><subject>Hardware</subject><subject>Mechanical Engineering</subject><subject>Mechatronics</subject><subject>Navigation</subject><subject>Phases</subject><subject>Robotics</subject><subject>Software</subject><issn>0921-0296</issn><issn>1573-0409</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2012</creationdate><recordtype>article</recordtype><sourceid>BENPR</sourceid><recordid>eNp1kE1Lw0AURQdRsFZ_gLvgyoWj702SycxS6ydUXNS6HSbJS0lJM3UmVfz3TqkgCK4uPM69PA5jpwiXCFBcBQSVSQ6IXEtUXO-xEeZFyiEDvc9GoAVyEFoesqMQlgCgVa5H7PHZ1dTxGxuoTm4ptIv-IuYHdW69on5IbF8nb7Zrazu0rk8a55P59SyZ-HZoK9slM9cMn9bTMTtobBfo5CfHbH5_9zp55NOXh6fJ9ZRXaaYGXkJWV7aQ0lKZSlUoJco6rSAepYKqkJQ3glA0FUqwuchtWaZCZ7lEkVFB6Zid73bX3r1vKAxm1YaKus725DbBIKCWIleiiOjZH3TpNr6P3xmNiEIpyCKEO6jyLgRPjVn7dmX9V1wyW7Vmp9ZEtWar1ujYEbtOiGy_IP87_H_pGzBqegU</recordid><startdate>2012</startdate><enddate>2012</enddate><creator>Santamaría, Daniel</creator><creator>Alarcón, Francisco</creator><creator>Jiménez, Antonio</creator><creator>Viguria, Antidio</creator><creator>Béjar, Manuel</creator><creator>Ollero, Aníbal</creator><general>Springer Netherlands</general><general>Springer Nature B.V</general><scope>AAYXX</scope><scope>CITATION</scope><scope>3V.</scope><scope>7SC</scope><scope>7SP</scope><scope>7TB</scope><scope>7XB</scope><scope>8AL</scope><scope>8FD</scope><scope>8FE</scope><scope>8FG</scope><scope>8FK</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>ARAPS</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>FR3</scope><scope>GNUQQ</scope><scope>HCIFZ</scope><scope>JQ2</scope><scope>K7-</scope><scope>L6V</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>M0N</scope><scope>M7S</scope><scope>P5Z</scope><scope>P62</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope><scope>Q9U</scope><scope>F28</scope><scope>H8D</scope></search><sort><creationdate>2012</creationdate><title>Model-Based Design, Development and Validation for UAS Critical Software</title><author>Santamaría, Daniel ; Alarcón, Francisco ; Jiménez, Antonio ; Viguria, Antidio ; Béjar, Manuel ; Ollero, Aníbal</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c348t-b04dca766aeb3687882bd3c0dca680c76e5f2e12fc160a525abb329456124e7e3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2012</creationdate><topic>Artificial Intelligence</topic><topic>Computer programs</topic><topic>Computer simulation</topic><topic>Control</topic><topic>Design engineering</topic><topic>Electrical Engineering</topic><topic>Engineering</topic><topic>Flying</topic><topic>Hardware</topic><topic>Mechanical Engineering</topic><topic>Mechatronics</topic><topic>Navigation</topic><topic>Phases</topic><topic>Robotics</topic><topic>Software</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Santamaría, Daniel</creatorcontrib><creatorcontrib>Alarcón, Francisco</creatorcontrib><creatorcontrib>Jiménez, Antonio</creatorcontrib><creatorcontrib>Viguria, Antidio</creatorcontrib><creatorcontrib>Béjar, Manuel</creatorcontrib><creatorcontrib>Ollero, Aníbal</creatorcontrib><collection>CrossRef</collection><collection>ProQuest Central (Corporate)</collection><collection>Computer and Information Systems Abstracts</collection><collection>Electronics & Communications Abstracts</collection><collection>Mechanical & Transportation Engineering Abstracts</collection><collection>ProQuest Central (purchase pre-March 2016)</collection><collection>Computing Database (Alumni Edition)</collection><collection>Technology Research Database</collection><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>ProQuest Central (Alumni) (purchase pre-March 2016)</collection><collection>Materials Science & Engineering Collection</collection><collection>ProQuest Central (Alumni)</collection><collection>ProQuest Central UK/Ireland</collection><collection>Advanced Technologies & Aerospace Collection</collection><collection>ProQuest Central Essentials</collection><collection>AUTh Library subscriptions: ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central</collection><collection>Engineering Research Database</collection><collection>ProQuest Central Student</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Computer Science Collection</collection><collection>Computer Science Database</collection><collection>ProQuest Engineering Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>Computing Database</collection><collection>Engineering Database</collection><collection>ProQuest advanced technologies & aerospace journals</collection><collection>ProQuest Advanced Technologies & Aerospace Collection</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering collection</collection><collection>ProQuest Central Basic</collection><collection>ANTE: Abstracts in New Technology & Engineering</collection><collection>Aerospace Database</collection><jtitle>Journal of intelligent & robotic systems</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Santamaría, Daniel</au><au>Alarcón, Francisco</au><au>Jiménez, Antonio</au><au>Viguria, Antidio</au><au>Béjar, Manuel</au><au>Ollero, Aníbal</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Model-Based Design, Development and Validation for UAS Critical Software</atitle><jtitle>Journal of intelligent & robotic systems</jtitle><stitle>J Intell Robot Syst</stitle><date>2012</date><risdate>2012</risdate><volume>65</volume><issue>1-4</issue><spage>103</spage><epage>114</epage><pages>103-114</pages><issn>0921-0296</issn><eissn>1573-0409</eissn><abstract>This paper focuses on the major phases present in the development of critical software for UAS: design, development, testing and validation with flying experiments. A model-based approach is the backbone of all these development phases. The presented approach enables the researchers or engineers to work over the whole development cycle with the same tools, and produces an improvement over the classical design cycle. The model-based approach is illustrated with the development of guidance, navigation and control algorithms applied to rotary-wing UAVs. The paper discusses several implementation issues, including the integration of a hardware in the loop (HWIL) test environment within the model-based development cycle. Finally, several simulations and experimental results for this application are shown.</abstract><cop>Dordrecht</cop><pub>Springer Netherlands</pub><doi>10.1007/s10846-011-9618-9</doi><tpages>12</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0921-0296 |
| ispartof | Journal of intelligent & robotic systems, 2012, Vol.65 (1-4), p.103-114 |
| issn | 0921-0296 1573-0409 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_1019625827 |
| source | SpringerLink (Online service) |
| subjects | Artificial Intelligence Computer programs Computer simulation Control Design engineering Electrical Engineering Engineering Flying Hardware Mechanical Engineering Mechatronics Navigation Phases Robotics Software |
| title | Model-Based Design, Development and Validation for UAS Critical Software |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-12T01%3A10%3A02IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Model-Based%20Design,%20Development%20and%20Validation%20for%20UAS%20Critical%20Software&rft.jtitle=Journal%20of%20intelligent%20&%20robotic%20systems&rft.au=Santamar%C3%ADa,%20Daniel&rft.date=2012&rft.volume=65&rft.issue=1-4&rft.spage=103&rft.epage=114&rft.pages=103-114&rft.issn=0921-0296&rft.eissn=1573-0409&rft_id=info:doi/10.1007/s10846-011-9618-9&rft_dat=%3Cproquest_cross%3E2538844371%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=911128804&rft_id=info:pmid/&rfr_iscdi=true |