Vila Carbó, Juan Antonio

Profile Picture
Organizational Units
OrgUnit Logo
Organizational Unit
OrgUnit Logo
Organizational Unit
OrgUnit Logo
Organizational Unit
Job Title
ORCID
0000-0001-8330-8286
Panorama page
https://www.upv.es/ficha-personal/jvila
person.page.panorama
https://panorama.upv.es/es/ipublic/researcher/339698
Name
Email Address

Filters

2012 - 201952020 - 20212
Reset filters

Settings

Search Results

Now showing 1 - 7 of 7
  • Thumbnail Image
    Publication
    On the nature and impact of self-similarity in real-time systems
    (Springer Verlag (Germany), 2012-05) Hernández Orallo, Enrique; Vila Carbó, Juan Antonio; Departamento de Informática de Sistemas y Computadores; Escuela Técnica Superior de Ingeniería Aeroespacial y Diseño Industrial; Instituto Universitario de Automática e Informática Industrial; Escuela Técnica Superior de Ingeniería Informática; Grupo de Redes de Computadores; European Commission
    In real-time systems with highly variable task execution times simplistic task models are insufficient to accurately model and to analyze the system. Variability can be tackled using distributions rather than a single value, but the proper charac- terization depends on the degree of variability. Self-similarity is one of the deep- est kinds of variability. It characterizes the fact that a workload is not only highly variable, but it is also bursty on many time-scales. This paper identifies in which situations this source of indeterminism can appear in a real-time system: the com- bination of variability in task inter-arrival times and execution times. Although self- similarity is not a claim for all systems with variable execution times, it is not unusual in some applications with real-time requirements, like video processing, networking and gaming. The paper shows how to properly model and to analyze self-similar task sets and how improper modeling can mask deadline misses. The paper derives an analyti- cal expression for the dependence of the deadline miss ratio on the degree of self- similarity and proofs its negative impact on real-time systems performance through system¿s modeling and simulation. This study about the nature and impact of self- similarity on soft real-time systems can help to reduce its effects, to choose the proper scheduling policies, and to avoid its causes at system design time.
  • Thumbnail Image
    Publication
    Resource Management for Mobile Operating Systems based on the Active Object Model
    (Crl Publishing Ltd, 2013-07) Garcia-Valls, M.; Crespo, Alfons; Vila Carbó, Juan Antonio; Departamento de Informática de Sistemas y Computadores; Escuela Técnica Superior de Ingeniería Aeroespacial y Diseño Industrial; Instituto Universitario de Automática e Informática Industrial; European Commission; Ministerio de Economía y Competitividad; ARTEMIS Industry Association
    [EN] Personal devices are penetrating most technology market sectors nowadays. Despite their growing computation power, they execute powerful yet heavy software platforms that, in the end, expose the physical hardware resource limitations. Such software platforms are becoming thick layers that contain an embedded mobile operating system with graphical tools, communication software supporting wired and wireless protocols, and virtual machines and hosting platforms to enable portable code execution. In the last decade, mobile devices have also become part of some real-time domains that in the past only used specialized computing hardware; this is the case of, for example, industrial control infrastructures where personal devices are used mainly for interfacing purposes. Still, the full adoption of personal embedded devices in real-time environments has not been achieved due to their temporal unpredictability derived, among other reasons, from the operating system's execution and concurrency model. Therefore, mechanisms for efficient and timely management of resources are needed to meet, at least, soft real-time constrains of the emerging application domains that are heavy resource consumers. In this paper, we describe a scheme for integrating resource management techniques on top of the concurrency model of embedded operating systems that use the active object concurrency model; we illustrate the approach by taking, just as example, the model of Symbian. Also, results are presented and discussed that validate the proposed resource management scheme.
  • Thumbnail Image
    Publication
    Navegación Basada en Prestaciones: Aprendizaje Basado en Proyectos para estudiantes de Aeronavegación
    (Editorial Universitat Politècnica de València, 2021-09-28) Cuenca Gotor, Vanesa Paula; Yuste Pérez, Pedro; Vila Carbó, Juan Antonio; Despujol Zabala, Ignacio; Monsoriu Serra, Juan Antonio; Departamento de Física Aplicada; Departamento de Informática de Sistemas y Computadores; Instituto Universitario de Tecnologías de la Información y Comunicaciones; Departamento de Ingeniería de la Construcción y de Proyectos de Ingeniería Civil; Escuela Técnica Superior de Ingeniería Aeroespacial y Diseño Industrial; Instituto de Diseño para la Fabricación y Producción Automatizada; Instituto Universitario de Automática e Informática Industrial; Área de Sistemas de la Información y las Comunicaciones; Centro de Tecnologías Físicas: Acústica, Materiales y Astrofísica; Universitat Politècnica de València
    [EN] In aerospace engineering, motivation is considered a critical factor in the teaching-learning process, especially due to the difficulty of the subjects taught. Active methodologies, focused on student learning, can increase students' motivation and enhance their learning, helping them to persevere through a challenging workload. Previous studies have shown how the implementation of the Project-Based Learning methodology as a working tool in various disciplines is motivating and facilitates the integration of subjects and their permanence in student learning. In this work, the planning and development of this methodology in various subjects of Air Navigation Specific Technology is exposed, integrating the tasks that must be carried out in the different subjects, in lines of action with a common purpose: the development of the project of an airport according to its infrastructures and associated procedures.
  • Thumbnail Image
    Publication
    Architectural Design of a Safe Mission Manager for Unmanned Aircraft Systems
    (Elsevier, 2018) USACH MOLINA, HECTOR; Vila Carbó, Juan Antonio; Torens, Cristoph; Adolf, Florian M.; Departamento de Informática de Sistemas y Computadores; Escuela Técnica Superior de Ingeniería Aeroespacial y Diseño Industrial; Instituto Universitario de Automática e Informática Industrial; Generalitat Valenciana
    [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.
  • Thumbnail Image
    Publication
    Automatic deployment of an RPAS Mission Manager to an ARINC-653 compliant system
    (Springer-Verlag, 2018-12) USACH MOLINA, HECTOR; Vila Carbó, Juan Antonio; Crespo Lorente, Alfons; Yuste Pérez, Pedro; Departamento de Informática de Sistemas y Computadores; Instituto Universitario de Tecnologías de la Información y Comunicaciones; Escuela Técnica Superior de Ingeniería Aeroespacial y Diseño Industrial; Instituto Universitario de Automática e Informática Industrial; Escuela Técnica Superior de Ingeniería Informática; Generalitat Valenciana; Universitat Politècnica de València
    [EN] The development process of avionics system requiring a high level of safety is subjected to rigorous development and verification standards. In order to accelerate and facilitate this process, we present a testbed that uses a suite of methods and tools to comply with aerospace standards for certification. To illustrate the proposed methodology, we designed a Mission Management System for Remotely Piloted Aircraft Systems (RPAS) that was deployed on a particular run-time execution platform called XtratuM, an ARINC-653 compliant system developed in our research group. The paper discusses the system requirements, the software architecture, the key issues for porting designs to XtratuM, and how to automatize this process. Results show that the proposed testbed is a good platform for designing and qualifying avionics applications.
  • Thumbnail Image
    Publication
    Computer systems. An introduction to computers for engineering curricula
    (Editorial Universitat Politècnica de València, 2017-10-24) Vila Carbó, Juan Antonio; Departamento de Informática de Sistemas y Computadores; Escuela Técnica Superior de Ingeniería Aeroespacial y Diseño Industrial; Instituto Universitario de Automática e Informática Industrial
    This book presents the contents of an introduction course to Computer Science for engineering disciplines where the engineer makes use of the computer not only as an "office tool" but also as an integral part of his designs. This is the case of the curricula in Industrial Automation, Telecommunication, or Aeronautics, where some engineering designs really consist of embedded systems built around a microcontroller. In all these curricula, the engineer needs a deeper insight on the computer basics that goes beyond the classical introduction to programming, which is considered to be complementary to this book. This book introduces the basics of computer structure and organization. The topics covered by the book are Information Coding, Digital Systems, Computer Organization, Machine Language, and the Computer Input/Output. The approach followed to introduce all these topics is the use of Systems Theory and abstraction as a way to deal with complexity: a strong emphasis is put throughout the book in identifying boxes with a well-defined functionality and a set of inputs and outputs. Complex objects, as computers, can be usually decomposed into a set of simpler components interconnected through their inputs and outputs. These components define a lower level of abstraction that allows showing up some implementation details that were not relevant at higher levels of abstraction.
  • Thumbnail Image
    Publication
    Reconfigurable Mission Plans for RPAS
    (Elsevier, 2020-01) USACH MOLINA, HECTOR; Vila Carbó, Juan Antonio; Departamento de Informática de Sistemas y Computadores; Escuela Técnica Superior de Ingeniería Aeroespacial y Diseño Industrial; Instituto Universitario de Automática e Informática Industrial; Generalitat Valenciana
    [EN] This paper deals with the problem of formally defining and specifying Mission Plans for Remotely Piloted Aircraft Systems (RPAS). Firstly, the profile of RPAS missions is highly variable and different from those of commercial flights. Route variability from the planned route is frequent due to operating conditions and, especially, contingencies. For this reason, RPAS Mission Plans should be reconfigurable: they should allow the nominal plan to be modified during flight time. Secondly, aviation authorities may require the ability to operate in an autonomous mode in response to Command and Control (C2) link losses. As a result, RPAS Mission Plans should specify all possible routings and behaviors in greater detail. The Reconfigurable Mission Plan concept introduced in this paper expands on current flight plans by providing a level of description that improves predictability and allows for reconfiguration, contingency handling, and higher levels of automation and pilot assistance. The paper presents a detailed discussion of RPAS contingency handling and develops a formal specification of the Reconfigurable Mission Plan concept. The paper also develops algorithms for dynamically configuring Mission Plan routes that might mitigate the effect of contingencies. Finally, the whole proposal is validated with a prototype implementation and a proof of concept.