Publications and References for Model-Based Engineering and System Dependability
|
For More Information Customer Engagements
Technical Questions
|
Architecture Analysis & Design Language (AADL) and the Open Source AADL Tool Environment (OSATE)
Flow Latency Analysis with the Architecture Analysis and Design Language (AADL), CMU/SEI-2007-TN-010, December 2007
Developing AADL Models for Control Systems: A Practitioner's Guide, CMU/SEI-2007-TR-014, October 2007
Use AADL to analyze and design embedded systems, Embedded Systems Design, August 2007
From PIMs to PSMs, Proceedings of the UML& AADL'2007 Workshop at ICSE 2007
Dependability Modeling with the Architecture Analysis & Design Language (AADL), CMU/SEU-2007-TN-043, July 2007
Modeling of System Families, CMU/SEI-2007-TN-047, July 2007
Annex Behavior Language Compliance and Application Program Interface (pdf, 301 kb), April 2007
AADL Standard Enjoys Continuing Expansion and Transition, March 2007
Overview of the Error Modeling Annex for the Architecture Analysis and Design Language (pdf, 361kb), January 2007
Coupler Contracts Annex (pdf, 348kb), January 2007
The Architecture Analysis & Design Language (AADL): An Introduction, CMU/SEI-2006-TN-011, February 2006
Embedded Systems Architecture Analysis Using SAE AADL, CMU/SEI-2004-TN-005, June 2004
The SAE Avionics Architecture Description Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering (pdf, 223 kb), May 2003
See also: Articles and presentations on tool support for the AADL from the AADL Web site
Analysis-based Assurance
Survivability Assurance for Systems of Systems, 2008
Arguing Security—Creating Security Assurance Cases, 2007
Assurance Cases for Security: The Metrics Challenge, Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07)
Claims You'll Need to Justify to Assure That Your System Will Succeed, August 2006
Dependability Cases, CMU/SEI-2004-TN-016, May 2004
Performance-critical systems issues
Performance Evaluations and Estimations of Workload of On-Demand Updates in Soft Real-Time Systems, Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007)
Experimental Evaluation of Linear Time-Invariant Models for Feedback Performance Control in Real-Time Systems, Real-Time Systems, April 2007
Workshop on Model-Driven Architecture and Program Generation, CMU/SEI-2006-TN-031, November 2006
On System Scalability, CMU/SEI-2006-TN-012, March 2006
Improving Predictability in Embedded Real-Time Systems, CMU/SEI-2000-SR-011, December 2000
Return to PCS main page