Shifting paradigm of regional integration in Asia

The objective of this paper is to examine the prospects for and progress in economic interdependence and regional integration in Asia. In particular it focuses on the changing scenario in integration of South Asia into the rest of dynamic East and Southeast Asia. With India emerging as a rapidly growing economy and with enhanced interest in sub-regional and regional integration taken by the South Asian economies, novel intra-regional economic ties have been evolving. During the last millennium, different geographic Asian economic regions had fairly good economic relations, albeit they were not economically integrated in the modern economic meaning of the term. Smooth trade flows and active commercial activity led to prosperity in many parts of Asia. Historical evidence is available to show that the Eastern, Southeastern and Southern regions of Asia continually interacted economically with each other and a good deal of commercial activity existed among them for centuries. To be sure, there were periods when this mutually profitable commercial interaction broke down and periods of hiatus and those of isolation of specific economies followed. Integration of Asian economies, particularly those from the South, East and Southeast Asia is neither a novel concept nor a new phenomenon. If the various sub-groups or sub-regions of Asian economies are now attempting to integrate, they are trying to return to their past

Pilot Preference, Compliance, and Performance With an Airborne Conflict Management Toolset

A human-in-the-loop experiment was conducted at the NASA Ames and Langley Research Centers, investigating the En Route Free Maneuvering component of a future air traffic management concept termed Distributed Air/Ground Traffic Management (DAG-TM). NASA Langley test subject pilots used the Autonomous Operations Planner (AOP) airborne toolset to detect and resolve traffic conflicts, interacting with subject pilots and air traffic controllers at NASA Ames. Experimental results are presented, focusing on conflict resolution maneuver choices, AOP resolution guidance acceptability, and performance metrics. Based on these results, suggestions are made to further improve the AOP interface and functionality

How OEMs and Suppliers can face the Network Integration Challenges

International audienceSystems integration is a major challenge in many industries. Systematic analysis of the complex integration effects, especially with respect to timing and performance, significantly improves the design process, enables optimizations, and increases the quality and profit of a product. And it helps to improve supply-chain communications. This paper surveys a set of interesting experiments we have conducted on a real-world automotive communication network using our new SymTA/S schedulability analysis technology. We demonstrate that, and how, analysis technology helps answering key integration questions, thereby carefully respecting the established business models

Trajectory-Oriented Approach to Managing Traffic Complexity: Operational Concept and Preliminary Metrics Definition

This document describes preliminary research on a distributed, trajectory-oriented approach for traffic complexity management. The approach is to manage traffic complexity in a distributed control environment, based on preserving trajectory flexibility and minimizing constraints. In particular, the document presents an analytical framework to study trajectory flexibility and the impact of trajectory constraints on it. The document proposes preliminary flexibility metrics that can be interpreted and measured within the framework

RT-MOVICAB-IDS: Addressing real-time intrusion detection

This study presents a novel Hybrid Intelligent Intrusion Detection System (IDS) known as RT-MOVICAB-IDS that incorporates temporal control. One of its main goals is to facilitate real-time Intrusion Detection, as accurate and swift responses are crucial in this field, especially if automatic abortion mechanisms are running. The formulation of this hybrid IDS combines Artificial Neural Networks (ANN) and Case-Based Reasoning (CBR) within a Multi-Agent System (MAS) to detect intrusions in dynamic computer networks. Temporal restrictions are imposed on this IDS, in order to perform real/execution time processing and assure system response predictability. Therefore, a dynamic real-time multi-agent architecture for IDS is proposed in this study, allowing the addition of predictable agents (both reactive and deliberative). In particular, two of the deliberative agents deployed in this system incorporate temporal-bounded CBR. This upgraded CBR is based on an anytime approximation, which allows the adaptation of this Artificial Intelligence paradigm to real-time requirements. Experimental results using real data sets are presented which validate the performance of this novel hybrid IDSMinisterio de Economía y Competitividad (TIN2010-21272-C02-01, TIN2009-13839-C03-01), Ministerio de Ciencia e Innovación (CIT-020000-2008-2, CIT-020000-2009-12

The Mexican experience with financial sector liberalization and prudential structural reform.

PhDAfter WWII, the Mexican government took increasingly the control over the economy including the banking sector in 1982. By 1985, a worsening economic crisis forced the government to begin a process of economic liberalization. The 1994-1995 financial crisis prompted efforts to develop a sound prudential framework for Mexico’s financial system. Toward this goal, liberalization in financial services is vital for developing countries to make their build financial systems viable and their economies stronger. Related economic legal reform scholarship indicates that safe and sound financial markets are built upon the effective implementation of key “international prudential standards”. In 1995, Mexico started to work domestically, from the “bottom-up”, in financial sector reform, while applying step by step international prudential standards and opening unilaterally the sector to foreign investment, even ahead of the liberalization agreed in NAFTA. NAFTA’s and MEFTA’s innovative chapters on financial services, with their various dispute resolution mechanisms, are examples of Mexico’s commitment to promoting high levels of cooperation at the bilateral, regional and hemispheric levels. At the global level, as part of G20, Mexico has promoted a financial system reform approach that continues liberalization with financial stability and sustainable economic development. This thesis argues that Mexico’s case demonstrates that financial liberalization and related structural reform need to be integrated in a coherent and coordinated policy manner, and be effected in an enlightened country-specific (bottom-up) and sequenced manner. This must be applied within a wider financial stability framework combined with sustainable, equitable economic policies consistent with a country’s particular developmental stage. Fifteen years after Mexico began its financial liberalization agenda, the Global Financial Crisis has demonstrated that such a process can deliver a stronger and more stable financial system. Mexico should therefore not backtrack on its commitment to the prudential liberalization of its financial sector but use the crisis as a basis for further meaningful reform and policy readjustment to create further substantial and sustainable liberalization and regeneration longer term

Verification of Component-based Distributed Real-time Systems

Component-based software architectures enable reuse by separating application-specific concerns into modular components that are shielded from each other and from common concerns addressed by underlying services. Even so, concerns such as invocation rates, execution latencies, deadlines, and concurrency and scheduling semantics still cross-cut component boundaries in many real-time systems. Verification of these systems therefore must consider how composition of components relates to timing, resource utilization, and other properties. However, existing approaches only address a sub-set of the concerns that must be modeled in component-based distributed real-time systems, and a new more comprehensive approach is thus needed. To address that need, this paper offers three contributions to the state of the art in verification of component-based distributed real-time systems: (1) it introduces a formal model called real-time component automata that combines and extends interface automata and timed automata models; (2) it presents new component composition operations for single-threaded and cooperative multitasking forms of concurrency; and (3) it describes how the composed models can be combined with task locations, a scheduling model, and a communication delay model, to generate a combined representation of the application components and supporting services that can be verified by existing model checkers. These contributions are embodied in an open-source tool prototype called the Real-time Component Model Translator (RTCMT)

Modeling Timed Component-Based Real-time Systems

Component based middleware helps to facilitate software reuse by separating application-specific concerns into modular components that are shielded from the concerns of other components and from the common concerns addressed by underlying middleware services. In real-time systems, concerns such as invocation rates, execution latencies, deadlines, and concurrency semantics cross-cut multiple component and middleware abstractions. Thus, the verification of these systems must consider features of the application components (e.g., their execution latencies and relative invocation rates) and of the supporting middleware (e.g., concurrency and scheduling) together. However, existing approaches only address a sub-set of the features that must be modeled in component based real-time systems, and a new more comprehensive approach is needed. To address that need, this paper offers three main contributions to the state of the art in the verification of component based real-time systems: (1) it introduces a formal model called component automata that combines new input/output rate specifications with input/output actions and timed internal actions from the existing interface automata and timed automata models respectively; (2) it presents new component composition operations for single-threaded and cooperative multi-tasking, in addition to composition under the preemptive multi-tasking semantics assumed by interface automata; and (3) it describes how the composed component models then can be combined with task location specifications, a scheduling model, and a communication delay model, to generate a combined timed automaton representation of the components and middleware that can be verified by existing timed model checkers. This research was supported in part by NSF grant CCF-0448562 titled CAREER: Time and Event Based System Software Construction