Mostrar el registro sencillo del ítem
dc.contributor.author | USACH MOLINA, HECTOR | es_ES |
dc.contributor.author | Vila Carbó, Juan Antonio | es_ES |
dc.contributor.author | Torens, Cristoph | es_ES |
dc.contributor.author | Adolf, Florian M. | es_ES |
dc.date.accessioned | 2020-02-15T21:01:22Z | |
dc.date.available | 2020-02-15T21:01:22Z | |
dc.date.issued | 2018 | es_ES |
dc.identifier.issn | 1383-7621 | es_ES |
dc.identifier.uri | http://hdl.handle.net/10251/136975 | |
dc.description.abstract | [EN] Civil Aviation Authorities are elaborating a new regulatory framework for the safe operation of Unmanned Aircraft Systems (UAS). Current proposals are based on the analysis of the specific risks of the operation as well as on the definition of some risk mitigation measures. In order to achieve the target level of safety, we propose increasing the level of automation by providing the on-board system with Automated Contingency Management functions. The aim of the resulting Safe Mission Manager System is to autonomously adapt to contingency events while still achieving mission objectives through the degradation of mission performance. In this paper, we discuss some of the architectural issues in designing this system. The resulting architecture makes a conceptual differentiation between event monitoring, decision-making on a policy for dealing with contingencies and the execution of the corresponding policy. We also discuss how to allocate the different Safe Mission Manager components to a partitioned, Integrated Modular Avionics architecture. Finally, determinism and predictability are key aspects in contingency management due to their overall impact on safety. For this reason, we model and verify the correctness of a contingency management policy using formal methods. | es_ES |
dc.description.sponsorship | This work was supported by the Spanish Regional Government "Generalitat Valenciana" under contract ACIF/2016/197. | es_ES |
dc.language | Inglés | es_ES |
dc.publisher | Elsevier | es_ES |
dc.relation.ispartof | Journal of Systems Architecture | es_ES |
dc.rights | Reserva de todos los derechos | es_ES |
dc.subject | Software architecture | es_ES |
dc.subject | Automated Contingency Management | es_ES |
dc.subject | Formal methods | es_ES |
dc.subject | Partitioning | es_ES |
dc.subject | UAS | es_ES |
dc.subject.classification | ARQUITECTURA Y TECNOLOGIA DE COMPUTADORES | es_ES |
dc.title | Architectural Design of a Safe Mission Manager for Unmanned Aircraft Systems | es_ES |
dc.type | Artículo | es_ES |
dc.identifier.doi | 10.1016/j.sysarc.2018.09.003 | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/GVA//ACIF%2F2016%2F197/ | es_ES |
dc.rights.accessRights | Abierto | es_ES |
dc.contributor.affiliation | Universitat Politècnica de València. Departamento de Informática de Sistemas y Computadores - Departament d'Informàtica de Sistemes i Computadors | es_ES |
dc.description.bibliographicCitation | Usach Molina, H.; Vila Carbó, JA.; Torens, C.; Adolf, FM. (2018). Architectural Design of a Safe Mission Manager for Unmanned Aircraft Systems. Journal of Systems Architecture. 90:94-108. https://doi.org/10.1016/j.sysarc.2018.09.003 | es_ES |
dc.description.accrualMethod | S | es_ES |
dc.relation.publisherversion | https://doi.org/10.1016/j.sysarc.2018.09.003 | es_ES |
dc.description.upvformatpinicio | 94 | es_ES |
dc.description.upvformatpfin | 108 | es_ES |
dc.type.version | info:eu-repo/semantics/publishedVersion | es_ES |
dc.description.volume | 90 | es_ES |
dc.relation.pasarela | S\368910 | es_ES |
dc.contributor.funder | Generalitat Valenciana | es_ES |