Reliability prediction in model driven development

Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development. Reliability is an important concern with regard to the correct delivery of software system service. Recently, the UML Profile for Modeling Quality of Service has defined a set of UML extensions to represent dependability concerns (including reliability) and other non-functional requirements in early stages of the software development lifecycle. Our research has shown that these extensions are not comprehensive enough to support reliability analysis for model-driven software engineering, because the description of reliability characteristics in this profile lacks support for certain dynamic aspects that are essential in modeling reliability. In this work, we define a profile for reliability analysis by extending the UML 2.0 specification to support reliability prediction based on scenario specifications. A UML model specified using the profile is translated to a labelled transition system (LTS), which is used for automated reliability prediction and identification of implied scenarios; the results of this analysis are then fed back to the UML model. The result is a comprehensive framework for addressing software reliability modeling, including analysis and evolution of reliability predictions. We exemplify our approach using the Boiler System used in previous work and demonstrate how reliability analysis results can be integrated into UML models

Active flow control systems architectures for civil transport aircraft

Copyright @ 2010 American Institute of Aeronautics and AstronauticsThis paper considers the effect of choice of actuator technology and associated power systems architecture on the mass cost and power consumption of implementing active flow control systems on civil transport aircraft. The research method is based on the use of a mass model that includes a mass due to systems hardware and a mass due to the system energy usage. An Airbus A320 aircraft wing is used as a case-study application. The mass model parameters are based on first-principle physical analysis of electric and pneumatic power systems combined with empirical data on system hardware from existing equipment suppliers. Flow control methods include direct fluidic, electromechanical-fluidic, and electrofluidic actuator technologies. The mass cost of electrical power distribution is shown to be considerably less than that for pneumatic systems; however, this advantage is reduced by the requirement for relatively heavy electrical power management and conversion systems. A tradeoff exists between system power efficiency and the system hardware mass required to achieve this efficiency. For short-duration operation the flow control solution is driven toward lighter but less power-efficient systems, whereas for long-duration operation there is benefit in considering heavier but more efficient systems. It is estimated that a practical electromechanical-fluidic system for flow separation control may have a mass up to 40% of the slat mass for a leading-edge application and 5% of flap mass for a trailing-edge application.This work is funded by the Sixth European Union Framework Programme as part of the AVERT project (Contract No. AST5-CT-2006-030914

An implementation of the behavior annex in the AADL-toolset Osate2

AADL is a modeling language to design and analyze High-Integrity Distributed and Real-time systems. Embedded sub-languages published as AADL annexes extend an AADL model to enhance analysis. The behavior annex specifies the behavior of an AADL application model. An implantation of this annex allows to perform behavior analysis. In addition, as there are several AADL annexes, the implementation of generic mechanisms to support each one of them is challenging. The behavior annex is a valid candidate to illustrate these challenges by combining several sub-languages. In this paper we expose our experiment to support the behavior annex in the reference AADL toolset OSATE2. This one, supports the AADL version 2 by providing a front-end and a set of analysis plug-ins to analyze an AADL model

An architecture-based dependability modeling framework using AADL

For efficiency reasons, the software system designers' will is to use an integrated set of methods and tools to describe specifications and designs, and also to perform analyses such as dependability, schedulability and performance. AADL (Architecture Analysis and Design Language) has proved to be efficient for software architecture modeling. In addition, AADL was designed to accommodate several types of analyses. This paper presents an iterative dependency-driven approach for dependability modeling using AADL. It is illustrated on a small example. This approach is part of a complete framework that allows the generation of dependability analysis and evaluation models from AADL models to support the analysis of software and system architectures, in critical application domains

The SIMIAN architecture-an object-orientated framework for integrated power system modelling, analysis and control

This paper details the work conducted by the Brunel Institute of Power Systems, UK, into an object orientated framework for power systems modelling, analysis and control. Based around a central OODBMS (object orientated database management system), the architecture provides a framework for the construction of analysis and control applications and the sharing of calculated or real-time data between the applications. Although the paper details the architecture only in so far as its applicability to two applications, the framework is designed such that further applications, either client output (such as control applications) or input(such as SCADA systems) may easily be added to the basic structure. To illustrate the architecture, a load flow simulation application is presented, along with the strategy for incorporating other applications. The mechanism by which these `applications' interact with the OODBMS and core structure of the architecture is illustrate