310,319 research outputs found
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
Recommended from our members
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
Extended-XRI Body Interfaces for Hyper-Connected Metaverse Environments
Hybrid mixed-reality (XR) internet-of-things (IoT) research, here called XRI,
aims at a strong integration between physical and virtual objects,
environments, and agents wherein IoT-enabled edge devices are deployed for
sensing, context understanding, networked communication and control of device
actuators. Likewise, as augmented reality systems provide an immersive overlay
on the environments, and virtual reality provides fully immersive environments,
the merger of these domains leads to immersive smart spaces that are
hyper-connected, adaptive and dynamic components that anchor the metaverse to
real-world constructs. Enabling the human-in-the-loop to remain engaged and
connected across these virtual-physical hybrid environments requires advances
in user interaction that are multi-dimensional. This work investigates the
potential to transition the user interface to the human body as an
extended-reality avatar with hybrid extended-body interfaces that can interact
both with the physical and virtual sides of the metaverse. It contributes: i)
an overview of metaverses, XRI, and avatarization concepts, ii) a taxonomy
landscape for extended XRI body interfaces, iii) an architecture and potential
interactions for XRI body designs, iv) a prototype XRI body implementation
based on the architecture, v) a design-science evaluation, toward enabling
future design research directions
- âŠ