Essays on Identification of Structural VARMA models

This research has been possible thanks to the financial support from the scholarship MCIN/BES-2017-081997 from the Spanish Agency of Science and Innovation (Ministerio de Ciencia e Innovación).Programa de Doctorado en Economía por la Universidad Carlos III de MadridPresidente: Juan José Dolado Lobregad.- Secretario: Dante Amengual.- Vocal: Geert Mester

Integrated testing and verification system for research flight software design document

The NASA Langley Research Center is developing the MUST (Multipurpose User-oriented Software Technology) program to cut the cost of producing research flight software through a system of software support tools. The HAL/S language is the primary subject of the design. Boeing Computer Services Company (BCS) has designed an integrated verification and testing capability as part of MUST. Documentation, verification and test options are provided with special attention on real time, multiprocessing issues. The needs of the entire software production cycle have been considered, with effective management and reduced lifecycle costs as foremost goals. Capabilities have been included in the design for static detection of data flow anomalies involving communicating concurrent processes. Some types of ill formed process synchronization and deadlock also are detected statically