Updates on Research Related to AADL

SEI Independent Research and Development Projects Based on AADL

Software Engineering Approach for Fault Containment

This project focuses on identifying system-wide design rules that must be satisfied in order to limit propagation of seemingly minor faults throughout a system. Our approach is to build architectural models using AADL to identify system fault behaviors that are not addressed by component-fault containment techniques, to develop a formalized analysis framework for system fault containment and stability management, and to validate system architectures in the context of this framework. For more information, visit http://www.sei.cmu.edu/pcs/fault.html.

 

Performance Challenges of Modern Hardware Architectures for Real-Time Systems

In this project, we are seeking engineering-based solutions of adequate and practicality with variation in a number of dimensions. This purpose requires us to better understand the combinatorial effects of cache architectures and pipeline depth, with respect to their temporal impact on software performance on single partition and multiple partitioned systems. For more information, view a presentation and visit http://www.sei.cmu.edu/pcs/processor-performance.html.

 

Technology for Managing Data and Data Quality in Distributed Embedded Real-Time Systems

We are advocating that data needs to be explicitly modeled early in the development process and that a data-centric framework provides a better platform for data-intensive real-time applications, in contrast to task-centric methodologies used today when designing real-time systems. In this project we have developed a framework for modeling and validating the following data quality attributes: logical correctness, confidence, temporal correctness, security. For more information, visit http://www.sei.cmu.edu/pcs/management.html.

 

SPICES Update

SPICES (Support for Predictable Integration of mission Critical Embedded Systems) is a European ITEA project in France, Spain, and Belgium among Airbus, Axlog, CEA, Féria, Lester, THALES, Avionics, THALES communications, Verimag, Barco, Cetic, K.U. Leuven, SQS, and U. Cantabria. It runs from September 2006 to August 2009. The principal goals of SPICES are to extend the capacities of the microCCM component-based framework and to couple it with an AADL modeller in order to offer to system architects, software architects and applications designers a component-based modeling, design, and analysis environment for distributed real-time embedded systems that should be deployed over heterogeneous targets such as GPP, DSP, or FPGA. It should make contributions to the AADL standard in these areas:

  • static properties (modeling CCM, power consumption)
  • dynamic properties (Behavior annex)
  • core language improvement (feedback from case studies)
  • tool developments
  • dissemination and promotion

Read more about SPICES (pdf, 238kb).

 

ASSERT Aims to Provide New System Engineering Methods

ASSERT (Automated proof based System and Software Engineering for Real-Time) is an integrated project of the European Commission. The project addresses the strategic objective of embedded Systems. Among the results expected from this project is the development of an ASSERT System family "oriented towards fault tolerant systems will be developed to the AADL models."