An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering-Reference-Cited by-同舟云学术

An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering

Published: Issue: Volume: Page:3-15
ISSN:
Container-title:IFIP The International Federation for Information Processing
language:
Short-container-title:

Author:

Feiler Peter H.,Lewis Bruce,Vestal Steve,Colbert Ed

Publisher

Springer-Verlag

Link

http://link.springer.com/content/pdf/10.1007/0-387-24590-1_1.pdf

Reference7 articles.

1. Pam Binns, Matt Englehart, Mike Jackson and Steve Vestal, “Domain Specific Software Architectures for Guidance, Navigation and Control,” Honeywell Technology Center, Minneapolis, MN, International Journal of Software Engineering and Knowledge Engineering, Vo16, No. 2, 1996, pages 201–227.

2. Peter H. Feiler, Bruce Lewis, Steve Vestal, “Improving Predictability in Embedded Real-time Systems,” Carnegie Mellon Software Engineering Institute, CMU/SEI-2000-SR-011, October 2000.

3. David J. McConnell, Bruce Lewis and Lisa Gray, “Reengineering a Single Threaded Embedded Missile application onto a Parallel Processing Platform using MetaH,” 5th Workshop on Parallel and Distributed Real Time Systems, 1996.

4. Patrick Farail, Pierre Dissaux, “COTRE a Software Design Workshop”, DASIA 2002, May 2002.

5. Bran Selic, “Performance Oriented UML”, Tutorial, 3rd International Workshop On Software and Performance, July 2002.

Cited by 17 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Attack–defense tree-based analysis and optimal defense synthesis for system design;Innovations in Systems and Software Engineering;2024-03-23

2. A Model-based, Quality Attribute-guided Architecture Re-Design Process at Google;2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP);2023-05

3. Decomposable and Executable Models for Verification of Real-Time Systems;Communications in Computer and Information Science;2023

4. Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT;Lecture Notes in Computer Science;2022

5. A development cycle for automated self-exploration of robot behaviors;AI Perspectives;2021-07-05