Appendix C. References

AADL Web

The Architecture Analysis & Design Language (AADL) Information Site (http://www.aadl.info) and public Wiki (https://wiki.sei.cmu.edu/aadl).

SEI Technology Highlight: AADL and Model-based Engineering (http://www.sei.cmu.edu/library/assets/ResearchandTechnology_AADLandMBE.pdf).

AADLSimulink

Gopal Raghav, Swaminathan Gopalswamy, Karthikeyan Radhakrishnan, Jérôme Hugues, Julien Delange, Model Based Code Generation for Distributed Embedded Systems Embedded Real-time Software and Systems Conference (ERTS2010), May 2010.

Ariane 5

“Ariane 5 Flight 501.” en.wikipedia.org/wiki/Ariane_5_Flight_501.

AS5506A

“Architecture Analysis & Design Language (AADL),” SAE International Standards document AS5506A, Nov 2004, Revised Jan 2009. http://www.sae.org/technical/standards/AS5506A.

AS5506/1

“Architecture Analysis & Design Language (AADL) Annex Volume 1,” SAE International Standards: AS5506/1, 2006. http://www.sae.org/technical/standards/AS5506/1.

AS5506/2

“Architecture Analysis & Design Language (AADL) Annex Volume 2,” SAE International Standards: AS5506/2, 2011. http://www.sae.org/technical/standards/AS5506/2.

ASIIST

Application Specific I/O Integration Support Tool. University of Illinois. https://agora.cs.illinois.edu/display/realTimeSystems/ASIIST.

BAnnex

Architecture Analysis & Design Language (AADL) Annex Volume 2: Annex D: Behavior Annex, SAE International Standards: AS5506/2, 2011. http://www.sae.org/technical/standards/AS5506/2.

BLESS

Behavioral Language for Embedded Systems with Software. Draft Annex standard. Brain Larson, [email protected].

BOE

Boeing 777 Family of Aircraft. http://www.boeing.com/commercial/777family/background.html.

CAT

Consumption Analysis Toolbox. https://sourceforge.net/projects/lab-sticc/files/CAT/.

Casteres 09

J. Casteres and T. Ramaherirariny, “Aircraft integration real-time simulator Modeling with AADL for architecture tradeoffs,” Proceedings of 9th Design, Automation & Test in Europe Conference, April 2009.

Cheddar

Real-time Scheduling Analyzer. http://beru.univ-brest.fr/~singhoff/cheddar/.

Clements 10

P. Clements, F. Bachmann, L. Bass, D. Garlan, J. Ivers, R. Little, R. Nord, and J. Stafford. Documenting Software Architectures: Views and Beyond. Second Edition. Boston, MA: Addison-Wesley, 2010.

COMPASS

Correctness, Modeling and Performance of Aerospace Systems (COMPASS) project and tool chain. http://compass.informatik.rwth-aachen.de/.

DAnnex

Architecture Analysis & Design Language (AADL) Annex Volume 2: Annex B: Data Modeling Annex, SAE International Standards: AS5506/2, 2011. http://www.sae.org/technical/standards/AS5506/2.

DDS

OMG Data Distribution Service. http://www.omgwiki.org/dds.

DeNiz 06

D. de Niz and R. Rajkumar, “Partitioning bin-packing algorithms for distributed real-time systems,” International Journal of Embedded Systems, vol. 2, no. 3-4, pp. 196–208, 2006.

DeNiz 08

Dio Deniz and Peter Feiler, “On Resource Allocation in Architectural Models,” Proceedings of the 11th IEEE International Symposium on Object Oriented Real-time Distributed Computing (ISORC), May 2008.

EAnnex

Architecture Analysis & Design Language (AADL) Annex Volume 1: Annex E: Error Model Annex, SAE International Standards: AS5506/1, 2006. http://www.sae.org/technical/standards/AS5506/1.

Eclipse

www.eclipse.org.

Feiler 07

P.H. Feiler and A. Rugina, “Dependability Modeling with the Architecture Analysis & Design Language (AADL)” (CMU/SEI-2007-TN-043). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2007. http://www.sei.cmu.edu/library/abstracts/reports/07tn043.cfm.

Feiler 07A

P.H. Feiler, “Modeling of System Families,” (CMU/SEI-2007-TN-047). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2007. http://www.sei.cmu.edu/library/abstracts/reports/07tn047.cfm.

FIACRE

B. Berthomieu, et. al., “FIACRE: an Intermediate Language for Model Verification in the TOPCASED Environment,” Proceedings of 4th International Congress on Embedded Real-Time Systems, Jan 2008. AADL to FIACRE Translator, http://gforge.enseeiht.fr/projects/aadl2fiacre.

Hansson 08

J. Hansson and P.H. Feiler, “Enforcement of Quality Attributes for Netcentric Systems through Modeling and Validation with Architecture Description Languages,” Proceedings of 4th International Congress on Embedded Real-Time Systems, Jan 2008.

Hofmeister 00

C. Hofmeister, R. Nord, and D. Soni, Applied Software Architecture, Object Technology Series. Boston, MA: Addison-Wesley, 2000.

IEEE 42010

Institute of Electrical and Electronics Engineers. Systems and software engineering—Architecture descriptions (IEEE Std 42010-2011). New York, NY: Institute of Electrical and Electronics Engineers, 2011.

MARTE

Modeling and Analysis of Real-time and Embedded systems. Object Management Group (OMG). http://www.omgmarte.org/.

NASA

P. Feiler, D. Gluch, K. Weiss, and K. Woodham, “Model-Based Software Quality Assurance with the Architecture Analysis and Design Language,” Proceedings of AIAA Infotech @Aerospace 2009 (April 2009).

Ocarina

Ocarina: Code Generator for AADL. http://ocarina.enst.fr/.

MDA

Model Driven Architecture. Object Management Group (OMG). http://www.omg.org/mda/.

OSATE

The Open Source AADL Tool Environment (OSATE) for the SAE Architecture Analysis & Design Language (AADL). http://www.aadl.info.

RC META

The Rockwell Collins META toolset. https://wiki.sei.cmu.edu/aadl/index.php/RC_META.

SAVI

David Redman, Donald Ward, John Chilenski, and Greg Pollari, “Virtual Integration for Improved System Design,” Proceedings of The First Analytic Virtual Integration of Cyber-Physical Systems Workshop in conjunction with RTSS 2010.

See also, P. Feiler, L. Wrage, and J. Hansson, “System Architecture Virtual Integration: A Case Study,” Embedded Real-time Software and Systems Conference (ERTS2010), May 2010.

STOOD

A tool environment for HOOD-RT and AADL used in European Aerospace industry. http://www.ellidiss.com.

SysML

Systems Modeling Language (SysML). Object Management Group (OMG). http://www.omgsysml.org/.

TASTE

TASTE (The ASSERT Set of Tools for Engineering) project and tool chain led by the European Space Agency. http://assert-project.net/taste.

TOPCASED

TOPCASED: The Open Source Tool for Critical Systems. http://www.topcased.org/.

UML

Unified Modeling Language (UML). Object Management Group (OMG). http://www.omg.org/technology/documents/modeling_spec_catalog.htm#UML.

W3C 04

World Wide Web Consortium (W3C). Extensible Markup Language (XML) 1.0 (Third Edition). http://www.w3.org/TR/2004/REC-xml-20040204/(2004).