Flight elements: Fault detection and fault management

Fault management for an intelligent computational system must be developed using a top down integrated engineering approach. An approach proposed includes integrating the overall environment involving sensors and their associated data; design knowledge capture; operations; fault detection, identification, and reconfiguration; testability; causal models including digraph matrix analysis; and overall performance impacts on the hardware and software architecture. Implementation of the concept to achieve a real time intelligent fault detection and management system will be accomplished via the implementation of several objectives, which are: Development of fault tolerant/FDIR requirement and specification from a systems level which will carry through from conceptual design through implementation and mission operations; Implementation of monitoring, diagnosis, and reconfiguration at all system levels providing fault isolation and system integration; Optimize system operations to manage degraded system performance through system integration; and Lower development and operations costs through the implementation of an intelligent real time fault detection and fault management system and an information management system

Distributed real-time operating system (DRTOS) modeling in SpecC

System level design of an embedded computing system involves a multi-step process to refine the system from an abstract specification to an actual implementation by defining and modeling the system at various levels of abstraction. System level design supports evaluating and optimizing the system early in design exploration.;Embedded computing systems may consist of multiple processing elements, memories, I/O devices, sensors, and actors. The selection of processing elements includes instruction-set processors and custom hardware units, such as application specific integrated circuit (ASIC) and field programmable gate array (FPGA). Real-time operating systems (RTOS) have been used in embedded systems as an industry standard for years and can offer embedded systems the characteristics such as concurrency and time constraints. Some of the existing system level design languages, such as SpecC, provide the capability to model an embedded system including an RTOS for a single processor. However, there is a need to develop a distributed RTOS modeling mechanism as part of the system level design methodology due to the increasing number of processing elements in systems and to embedded platforms having multiple processors. A distributed RTOS (DRTOS) provides services such as multiprocessor tasks scheduling, interprocess communication, synchronization, and distributed mutual exclusion, etc.;In this thesis, we develop a DRTOS model as the extension of the existing SpecC single RTOS model to provide basic functionalities of a DRTOS implementation, and present the refinement methodology for using our DRTOS model during system level synthesis. The DRTOS model and refinement process are demonstrated in the SpecC SCE environment. The capabilities and limitations of the DRTOS modeling approach are presented

Microsimulation models incorporating both demand and supply dynamics

There has been rapid growth in interest in real-time transport strategies over the last decade, ranging from automated highway systems and responsive traffic signal control to incident management and driver information systems. The complexity of these strategies, in terms of the spatial and temporal interactions within the transport system, has led to a parallel growth in the application of traffic microsimulation models for the evaluation and design of such measures, as a remedy to the limitations faced by conventional static, macroscopic approaches. However, while this naturally addresses the immediate impacts of the measure, a difficulty that remains is the question of how the secondary impacts, specifically the effect on route and departure time choice of subsequent trips, may be handled in a consistent manner within a microsimulation framework. The paper describes a modelling approach to road network traffic, in which the emphasis is on the integrated microsimulation of individual trip-makers’ decisions and individual vehicle movements across the network. To achieve this it represents directly individual drivers’ choices and experiences as they evolve from day-to-day, combined with a detailed within-day traffic simulation model of the space–time trajectories of individual vehicles according to car-following and lane-changing rules and intersection regulations. It therefore models both day-to-day and within-day variability in both demand and supply conditions, and so, we believe, is particularly suited for the realistic modelling of real-time strategies such as those listed above. The full model specification is given, along with details of its algorithmic implementation. A number of representative numerical applications are presented, including: sensitivity studies of the impact of day-to-day variability; an application to the evaluation of alternative signal control policies; and the evaluation of the introduction of bus-only lanes in a sub-network of Leeds. Our experience demonstrates that this modelling framework is computationally feasible as a method for providing a fully internally consistent, microscopic, dynamic assignment, incorporating both within- and between-day demand and supply dynamic

Model-Based System Engineering Methodology for Implementing Networked Aircraft Control System on Integrated Modular Avionics - Environmental Control System Case Study

Integrated Modular Avionics (IMA) architecture host multiple federated avionics applications into a single platform and provides benefits in terms of Size, Weight and Power (SWaP), nonetheless brings a high level of complexity to aircraft control systems. The thesis presents Model-Based System Engineering a novel, structured development methodology to cope efficiently with increased complexity due to IMA. Using ARCADIA methodology and the open source Capella tool, the developed methodology is implemented for a complete design cycle: starting with capturing requirements from the aircraft level to streamlining the development, integration of avionics application in an ARINC 653 platform. The proposed methodology provides effective traceability and management of specification artifacts from aircraft to system to item-level adhering to SAE ARP4754A guideline. Further, the thesis presents the capability of the MBSE framework to effectively address a few technological variants through the proposed methodology. To illustrate the efficiency of the methodology and MBSE approach an Environmental Control System (ECS) case study is presented. The case study focuses on implementing ECS in an IMA architecture using MBSE framework and proposed methodology. However, the derived methodology is also applicable to other systems. Further, the case study also presents a demonstration of integrating Cabin Pressure Control Sub-system (CPCS) into a real-time IMA platform for validation of MBSE approach. In addition, the thesis provides important insights in challenges and advantages of the MBSE process in contrast to the traditional paper-based specification process

Model Based Development of Quality-Aware Software Services

Modelling languages and development frameworks give support for functional and structural description of software architectures. But quality-aware applications require languages which allow expressing QoS as a first-class concept during architecture design and service composition, and to extend existing tools and infrastructures adding support for modelling, evaluating, managing and monitoring QoS aspects. In addition to its functional behaviour and internal structure, the developer of each service must consider the fulfilment of its quality requirements. If the service is flexible, the output quality depends both on input quality and available resources (e.g., amounts of CPU execution time and memory). From the software engineering point of view, modelling of quality-aware requirements and architectures require modelling support for the description of quality concepts, support for the analysis of quality properties (e.g. model checking and consistencies of quality constraints, assembly of quality), tool support for the transition from quality requirements to quality-aware architectures, and from quality-aware architecture to service run-time infrastructures. Quality management in run-time service infrastructures must give support for handling quality concepts dynamically. QoS-aware modeling frameworks and QoS-aware runtime management infrastructures require a common evolution to get their integration

A Powerful Optimization Tool for Analog Integrated Circuits Design

This paper presents a new optimization tool for analog circuit design. Proposed tool is based on the robust version of the differential evolution optimization method. Corners of technology, temperature, voltage and current supplies are taken into account during the optimization. That ensures robust resulting circuits. Those circuits usually do not need any schematic change and are ready for the layout.. The newly developed tool is implemented directly to the Cadence design environment to achieve very short setup time of the optimization task. The design automation procedure was enhanced by optimization watchdog feature. It was created to control optimization progress and moreover to reduce the search space to produce better design in shorter time. The optimization algorithm presented in this paper was successfully tested on several design examples

Building the future: integrating building information management and environmental assessment methodologies

The demand for sustainable buildings is increasing driven in part by legislation, rising energy costs and growing environmental concerns amongst consumers. As a result clients and developers are increasingly seeking to incorporate environmental attributes into buildings and demonstrate these sustainability credentials by certifying a development using an environmental assessment methodology such as BREEAM or LEED. One of the major issues in delivering sustainable buildings is ensuring that measures incorporated into a building at design stage are translated into action during building construction. This disconnect between design and construction phases of a project often results in the need to undertake costly remedial measures to achieve a targeted sustainability rating, or the building failing the assessment. This paper suggests that by integrating BIM with Environmental Assessment Methodologies decisions made with regard to sustainability attributes at the design stage can be clearly communicated and understood by all involved in the buildings specification and construction. It introduces a conceptual framework that seeks to define the relationship between BIM and EAMs

A design model for Open Distributed Processing systems

This paper proposes design concepts that allow the conception, understanding and development of complex technical structures for open distributed systems. The proposed concepts are related to, and partially motivated by, the present work on Open Distributed Processing (ODP). As opposed to the current ODP approach, the concepts are aimed at supporting a design trajectory with several, related abstraction levels. Simple examples are used to illustrate the proposed concepts

Refinement of SDBC Business Process Models Using ISDL

Aiming at aligning business process modeling and software specification, the SDBC approach considers a multi-viewpoint modeling where static, dynamic, and data business process aspect models have to be mapped adequately to corresponding static, dynamic, and data software specification aspect models. Next to that, the approach considers also a business process modeling viewpoint which concerns real-life communication and coordination issues, such as meanings, intentions, negotiations, commitments, and obligations. Hence, in order to adequately align communication and dynamic aspect models, SDBC should use at least two modeling techniques. However, the transformation between two techniques unnecessarily complicates the modeling process. Next to that, different techniques use different modeling formalisms whose reflection sometimes causes limitations. For this reason, we explore in the current paper the value which the (modeling) language ISDL could bring to SDBC in the alignment of communication and behavioral (dynamic) business process aspect models; ISDL can usefully refine dynamic process models. Thus, it is feasible to expect that ISDL can complement the SDBC approach, allowing refinement of dynamic business process aspect models, by adding communication and coordination actions. Furthermore, SDBC could benefit from ISDL-related methods assessing whether a realized refinement conforms to the original process model. Our studies in the paper are supported by an illustrative example