Blog Posts
Security Modeling Tools
Over the past six months, we have developed new security-focused modeling tools that capture vulnerabilities and their propagation paths in an architecture. Recent reports (such as the remote attack surface …
• By Julien Delange
In Software Architecture
EMFTA: an Open Source Tool for Fault Tree Analysis
Safety-critical software must be analyzed and checked carefully. Each potential error, failure, or defect must be considered and evaluated before you release a new product. For example, if you are …
• By Julien Delange
In Software Architecture
Improving System and Software Security with AADL
As our world becomes increasingly software-reliant, reports of security issues in the interconnected devices that we use throughout our day (i.e., the Internet of Things) are also increasing. This blog …
• By Julien Delange
In Software Architecture
Managing Software Complexity in Models
By Julien Delange Member of the Technical Staff Software Solutions DivisionFor decades, safety-critical systems have become more software intensive in every domain--in avionics, aerospace, automobiles, and medicine. Software acquisition is …
• By Julien Delange
In Software Architecture
AADL Code Generation for Avionics Systems
Using the Architecture Analysis & Design Language (AADL) modeling notation early in the development process not only helps the development team detect design errors before implementation, but also supports implementation …
• By Julien Delange
In Software Architecture
AADL: Four Real-World Perspectives
Mismatched assumptions about hardware, software, and their interactions often result in system problems detected too late in the development lifecycle, which is an expensive and potentially dangerous situation for developers …
• By Julien Delange
In Software Architecture
Managing Model Complexity
Over the years, software architects and developers have designed many methods and metrics to evaluate software complexity and its impact on quality attributes, such as maintainability, quality, and performance. Existing …
• By Julien Delange
In Software Architecture
Code Generation with AADL: A State-of-the-Art Report
Given that up to 70 percent of system errors are introduced during the design phase, stakeholders need a modeling language that will ensure both requirements enforcement during the development process …
• By Julien Delange
In Software Architecture
Architecture Analysis Using AADL: A Beginner's Perspective
This 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 …
• By Julien Delange
In Software Architecture
Specifying Behavior with AADL
The Architecture Analysis and Design Language (AADL) is a modeling language that, at its core, allows designers to specify the structure of a system (components and connections) and analyze its …