Embedded System Architecture Analysis Using SAE AADL

@inproceedings{Feiler2004EmbeddedSA,
  title={Embedded System Architecture Analysis Using SAE AADL},
  author={Peter H. Feiler and David P. Gluch and John J. Hudak and Bruce A. Lewis},
  year={2004}
}
Abstract : The emerging Society of Automotive Engineers Architecture Analysis and Design Language (AADL) standard is an architecture modeling language for real-time, fault-tolerant, scalable, embedded, multiprocessor systems. It enables the development and predictable integration of highly evolvable systems as well as analysis of existing systems. It supports early and repeated analyses of a system's architecture with respect to performance-critical properties through an extendable notation, a… CONTINUE READING

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 29 CITATIONS

Templates and automation for temporal query generation

  • ACM Southeast Regional Conference
  • 2006
VIEW 9 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

A Unified Approach to Architecture Conformance Checking

  • 2015 12th Working IEEE/IFIP Conference on Software Architecture
  • 2015

Kaolin: A system-level AADL tool for FPGA design reuse, upgrade and migration

  • 2015 NASA/ESA Conference on Adaptive Hardware and Systems (AHS)
  • 2015
VIEW 1 EXCERPT
CITES METHODS

Enforcing software engineering tools interoperability: An example with AADL subsets

  • 2013 International Symposium on Rapid System Prototyping (RSP)
  • 2013
VIEW 1 EXCERPT
CITES METHODS

AADL-based Modeling and TPN-based Verification of Reconfiguration in Integrated Modular Avionics

  • 2011 18th Asia-Pacific Software Engineering Conference
  • 2011
VIEW 1 EXCERPT
CITES BACKGROUND

Distributed Simulation of AADL Specifications in a Polychronous Model of Computation

  • 2009 International Conference on Embedded Software and Systems
  • 2009
VIEW 1 EXCERPT
CITES METHODS

References

Publications referenced by this paper.
SHOWING 1-8 OF 8 REFERENCES

The SAE AADL Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering.” Workshop on Model-Driven Embedded Systems, Real-Time Application Systems (RTAS) Conference

Peter Feiler, Bruce Lewis, Steve. Vestal
  • 2003

The Simplex architecture for safe online control system upgrades

  • Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207)
  • 1998

Incremental rate monotonic scheduling for improved control system performance

  • Proceedings Third IEEE Real-Time Technology and Applications Symposium
  • 1997

Real-time queueing theory

  • 17th IEEE Real-Time Systems Symposium
  • 1996

DEPENDABLE COMPUTING AND FAULT TOLERANCE : CONCEPTS AND TERMINOLOGY

  • Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'.
  • 1995

The N-Version Approach to Fault-Tolerant Software

  • IEEE Transactions on Software Engineering
  • 1985