-
Solutions
-
Researching, developing, and transitioning advances in separation architectures, model-based system engineering, and mathematical analysis.
- Safety & Security AnalysisAnalyze system models for gaps in safety and security compliance, and generate documentation to support certification requirements.
- Real-time Operating System SchedulingProvide end-to-end, system-wide schedulabilty analysis, and generate real-time operating system (RTOS) schedules and configuration information
- Embedded System Tradespace AnalysisSupport least-commitment design strategies by continuously evaluating embedded system design alternatives against diverse requirements.
- Isolation TechnologyEnable virtual security enclaves within a single physical server
-
-
Initiatives
-
What’s next: Innovative research examining hard problems of national importance.
- Weird MachinesAnticipating vulnerabilities related to computer systems that employ artificial intelligence
- Education InnovationDelivering game-based education to adolescents and young adults
- Automated Behavior AnalysisDetecting vulnerabilities in embedded systems using timed automata (VOLTA)
- Code GenerationAutomating the integration of cyber-resilient components in complex systems
-
- About Us
Third Party AADL Resources
- Library of Reusable AADL Models from Open AADL (3rd-party site)
- AADL Tool Exposition (2019) (3rd-party site)
- SEI Webinar: Architecture Analysis with AADL (2014) (3rd-party site)
- SEI AADL in Practice Workshop (3rd-party site)
- AADL Tutorial #0: Introduction to AADL and OSATE (3rd-party site)
- AADL Tutorial #1: Components in AADL (3rd-party site)
- AADL Tutorial #2: Ports and Connections in AADL (3rd-party site)
- AADL Tutorial #3: Processor and Memory in AADL (3rd-party site)
- AADL Tutorial #4: AADL Threads (3rd-party site)
- AADL In Practice: Become an expert of software architecture modeling and analysis by Julien Delange (3rd-party site)
- Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language, 1st Edition, by Peter H. Feiler and David P. Gluch (3rd-party site)
- Cyber-Physical Systems Design & Analysis, (Free course teaching AADL in Crazy Flie UAV development and analysis context) by Georgia Institute of Technology (3rd-party site)