loading
Space systems modeling using the Architecture Analysis & Design Language (AADL)
2013 Edition, November 1, 2013 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

Our interest focuses on how to accurately represent the behavior of complex flight and ground systems by properly selecting the key attributes particularly when model-based techniques are increasingly used for their development. Can new tools and technologies be...

Schedulability analysis of AADL models
2006 Edition, January 1, 2006 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

The paper discusses the use of formal methods for the analysis of architectural models expressed in the modeling language AADL. AADL describes the system as a collection of interacting components....

AADL modeling of M2M terminal
2010 Edition, May 1, 2010 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

This paper presents the application of Architecture Analysis and Design Language (AADL) for the modeling of Machine to Machine talk (M2M) terminal. Examined terminal is used in telemetry, utilizing GSM network and GPRS/EDGE services for...

Hazard analysis for AADL model
2014 Edition, August 1, 2014 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

Safety analysis is a significant aspect of safety critical embedded systems. In this paper, an architecture-based hazard analysis method is presented to support safety assessment for Architecture Analysis and Design Language (AADL)...

Embedded real-time system modeling and analysis using AADL
2010 Edition, June 1, 2010 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

Embedded real-time system has requirements for nonfunctional features such as schedulability, dependability and safety. With traditional design and development methodology these nonfunctional features could only be analyzed after the system is fully implemented....

A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex
2011 Edition, April 1, 2011 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

Cyberphysical (embedded) computer system availability and reliability can be modeled and assessed using the Architecture Analysis and Design Language (AADL) and its Error Model Annex. AADL can represent systems at...

Architectural semantics of AADL using Event-B
2014 Edition, November 1, 2014 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

AADL (Architectural Analysis and Design Language) can describe the architecture of an embedded control system at various levels of abstraction. In addition, AADL supports refinement mechanisms for refining abstract models to more...

A Qualitative Safety Analysis Method for AADL Model
2014 Edition, June 1, 2014 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

FMECA (Failure Modes, Effects and Criticality Analysis) is an effective systematic process to evaluate software safety. In this paper, the safety model of embedded systems is built by integrating the AADL (Architecture Analysis and...

An AADL-Based Modeling Method for ARINC653-Based Avionics Software
2011 Edition, July 1, 2011 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

Avionics software is safe-critical embedded software and its architecture is evolving from traditional federated architectures to Integrated Modular Avionics (IMA) to improve resource usability. ARINC653, as a standard widely employed in the avionics industry, supports...

Method for modeling and analysis real-time system dependability using AADL
2011 Edition, April 1, 2011 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

As real-time systems are becoming more and more complicated, how to analyze and evaluate system dependability indices at the early stage of system development, such as reliability, availability and safety, is a crucial means of guaranteeing the usability of...

Advertisement