http://sei.cmu.edu/feeds/tag/Updates on changes and additions to the SEI Blog for posts matching Architecture Analysis and Design Language (AADL)en-usMon, 30 Jan 2023 00:00:00 -0500https://www.sei.cmu.edu/blog/software-modeling-what-to-model-and-why/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesThis post describes modeling and analysis activities intended to achieve robust design, define the modeling chain, and effect evolution from specification to implementation.John McGregor, Sholom CohenMon, 30 Jan 2023 00:00:00 -0500https://www.sei.cmu.edu/blog/software-modeling-what-to-model-and-why/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesArchitecture Analysis and Design Language (AADL)Digital EngineeringModel-Based Systems Engineeringhttps://www.sei.cmu.edu/blog/modeling-languages-for-model-based-systems-engineering-mbse/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesThis post summarizes the benefits, practices, and tools for using a modeling language and compares the capabilities of SysML and AADL for use in model-based systems engineering (MBSE).John McGregor, Sholom CohenMon, 21 Nov 2022 00:00:00 -0500https://www.sei.cmu.edu/blog/modeling-languages-for-model-based-systems-engineering-mbse/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesDigital EngineeringArchitecture Analysis and Design Language (AADL)Model-Based Systems Engineeringhttps://www.sei.cmu.edu/blog/some-challenges-in-making-the-transition-to-digital-engineering/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesChallenges observed in making the transition from traditional development practices to digital engineering (DE).Bill NicholsMon, 13 Dec 2021 00:00:00 -0500https://www.sei.cmu.edu/blog/some-challenges-in-making-the-transition-to-digital-engineering/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesArchitecture Analysis and Design Language (AADL)Measurement and AnalysisDigital EngineeringModel-Based Systems Engineeringhttps://www.sei.cmu.edu/blog/from-model-based-systems-and-software-engineering-to-moddevops/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesIntroduction to ModDevOps, an extension of DevSecOps that embraces model-based systems engineering (MBSE) technologyJerome Hugues, Joseph YankelMon, 22 Nov 2021 00:00:00 -0500https://www.sei.cmu.edu/blog/from-model-based-systems-and-software-engineering-to-moddevops/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesDevopsArchitecture Analysis and Design Language (AADL)Model-Based Systems EngineeringSystems EngineeringDigital Engineeringhttps://www.sei.cmu.edu/blog/automating-system-security-with-aadl-11-rules-for-ensuring-a-security-model/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesThis SEI Blog post presents an approach for modeling and validating confidentiality using AADL, and 11 analysis rules for ensuring security model consistency.Aaron GreenhouseMon, 26 Apr 2021 00:00:00 -0400https://www.sei.cmu.edu/blog/automating-system-security-with-aadl-11-rules-for-ensuring-a-security-model/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesSecurity-Related RequirementsArchitecture Analysis and Design Language (AADL)https://www.sei.cmu.edu/blog/the-aadl-error-library-4-families-of-system-errors/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesClassifying the way that things can go wrong in a component-based system is a hard challenge since components--and the systems that rely on them--can fail in myriad, unpredictable ways....Sam ProcterMon, 20 May 2019 00:00:00 -0400https://www.sei.cmu.edu/blog/the-aadl-error-library-4-families-of-system-errors/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesArchitecture Analysis and Design Language (AADL)Software Architecturehttps://www.sei.cmu.edu/blog/analysis-system-architecture-virtual-integration-nets-significant-savings/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesThe size of aerospace software, as measured in source lines of code (SLOC), has grown rapidly. Airbus and Boeing data show that SLOC have doubled every four years....Peter FeilerMon, 07 May 2018 00:00:00 -0400https://www.sei.cmu.edu/blog/analysis-system-architecture-virtual-integration-nets-significant-savings/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesArchitecture Analysis and Design Language (AADL)Software and Information AssuranceSoftware Architecturehttps://www.sei.cmu.edu/blog/data-science-blacklists-and-mixed-critical-software-the-latest-research-from-the-sei/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesDiscover recently released SEI publications in early lifecycle cost estimation, host protection strategies, AADL, and more in this SEI Blog post.Douglas SchmidtMon, 05 Sep 2016 00:00:00 -0400https://www.sei.cmu.edu/blog/data-science-blacklists-and-mixed-critical-software-the-latest-research-from-the-sei/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesMalwareSoftware ArchitectureArchitecture Analysis and Design Language (AADL)https://www.sei.cmu.edu/blog/top-10-sei-blog-posts-of-2016/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesDiscover the 10 most popular SEI Blog posts published in the first half of 2016.Douglas SchmidtMon, 04 Jul 2016 00:00:00 -0400https://www.sei.cmu.edu/blog/top-10-sei-blog-posts-of-2016/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesSoftware ArchitectureArchitecture Analysis and Design Language (AADL)Big Datahttps://www.sei.cmu.edu/blog/improving-system-and-software-security-with-aadl/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesLearn the benefits of using AADL in the improvement of software security systems and explore examples of its implementation in this SEI Blog.Julien DelangeMon, 01 Feb 2016 00:00:00 -0500https://www.sei.cmu.edu/blog/improving-system-and-software-security-with-aadl/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesSoftware ArchitectureArchitecture Analysis and Design Language (AADL)https://www.sei.cmu.edu/blog/aadl-code-generation-for-avionics-systems/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesThis SEI Blog post discusses the automation of code production from AADL and generation of configuration files for ARINC653 systems in the avionics industry.Julien DelangeMon, 22 Jun 2015 00:00:00 -0400https://www.sei.cmu.edu/blog/aadl-code-generation-for-avionics-systems/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesSoftware ArchitectureArchitecture Analysis and Design Language (AADL)https://www.sei.cmu.edu/blog/model-driven-engineering-automatic-code-generation-and-beyond/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesThis SEI Blog post highlights the application of MDE tools for automatic code generation and provides a template for collecting information from MDE vendors.John KleinMon, 11 May 2015 00:00:00 -0400https://www.sei.cmu.edu/blog/model-driven-engineering-automatic-code-generation-and-beyond/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesSoftware ArchitectureArchitecture Analysis and Design Language (AADL)Acquisition Transformationhttps://www.sei.cmu.edu/blog/aadl-four-real-world-perspectives/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesFour practitioners share their experience of applying the Architecture Analysis and Design Language in their projects in this informative SEI Blog.Julien DelangeMon, 02 Mar 2015 00:00:00 -0500https://www.sei.cmu.edu/blog/aadl-four-real-world-perspectives/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesSoftware ArchitectureArchitecture Analysis and Design Language (AADL)https://www.sei.cmu.edu/blog/code-generation-with-aadl-a-state-of-the-art-report/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesThis SEI Blog post discusses the state of the art in code generation with AADL and highlights challenges and opportunities for further research.Julien DelangeMon, 06 Oct 2014 00:00:00 -0400https://www.sei.cmu.edu/blog/code-generation-with-aadl-a-state-of-the-art-report/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesSoftware ArchitectureArchitecture Analysis and Design Language (AADL)https://www.sei.cmu.edu/blog/architecture-analysis-using-aadl-a-beginners-perspective/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesThis blog post presents research conducted independently of the SEI that aims to evaluate the safety concerns of several unmanned aerial vehicle (UAV) systems using AADL and the SEI safety analysis tools implemented in OSATE.Julien DelangeMon, 16 Jun 2014 00:00:00 -0400https://www.sei.cmu.edu/blog/architecture-analysis-using-aadl-a-beginners-perspective/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesArchitecture Analysis and Design Language (AADL)Software Architecturehttps://www.sei.cmu.edu/blog/specifying-behavior-with-aadl/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesDiscover an SEI tool developed to support the AADL Behavior Annex by allowing architects to import behavior from Simulink into an architecture model in this blog.Julien DelangeMon, 07 Apr 2014 00:00:00 -0400https://www.sei.cmu.edu/blog/specifying-behavior-with-aadl/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesSoftware ArchitectureArchitecture Analysis and Design Language (AADL)https://www.sei.cmu.edu/blog/2013-the-research-year-in-review/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesDiscover highlights of the SEI’s R&D accomplishments in 2013.Douglas SchmidtMon, 23 Dec 2013 00:00:00 -0500https://www.sei.cmu.edu/blog/2013-the-research-year-in-review/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesInsider ThreatMalwareAgileSoftware ArchitectureArchitecture Analysis and Design Language (AADL)https://www.sei.cmu.edu/blog/detecting-architecture-traps-and-pitfalls-in-safety-critical-software/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesThis SEI Blog post discusses an SEI effort to help engineers apply architecture patterns and validate their correct usage to improve safety-critical software.Julien DelangeMon, 09 Dec 2013 00:00:00 -0500https://www.sei.cmu.edu/blog/detecting-architecture-traps-and-pitfalls-in-safety-critical-software/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesSoftware ArchitectureArchitecture Analysis and Design Language (AADL)https://www.sei.cmu.edu/blog/aadl-savi-and-beyond/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesThis SEI Blog post explores the use of the Architecture Analysis and Design Language (AADL) and the SAE SAVI initiative to improve system safety.Julien DelangeFri, 25 Oct 2013 00:00:00 -0400https://www.sei.cmu.edu/blog/aadl-savi-and-beyond/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesSoftware ArchitectureArchitecture Analysis and Design Language (AADL)https://www.sei.cmu.edu/blog/aadl-initial-foundations/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesThis blog posting, part of an ongoing series on AADL, focuses on the initial foundations of AADL.Julien DelangeMon, 14 Oct 2013 00:00:00 -0400https://www.sei.cmu.edu/blog/aadl-initial-foundations/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesSoftware ArchitectureArchitecture Analysis and Design Language (AADL)