Skip to main content
We're excited to share that Adventium Labs has joined Galois.
Learn more about the acquisition here.
Home Home
Adventium Labs
  • Solutions
    • Researching, developing, and transitioning advances in separation architectures, model-based system engineering, and mathematical analysis.

      Structure
    • 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.

      Initiatives
    • 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
    • Who We Are
    • Newsroom
    • Publications
    • Team
    • Careers
Search

Secondary Nav

  • CAMET Library
  • Training
Menu
Home Home
Adventium Labs
Close
  • Solutions
    • Researching, developing, and transitioning advances in separation architectures, model-based system engineering, and mathematical analysis.

      Structure
    • 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.

      Initiatives
    • 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
    • Who We Are
    • Newsroom
    • Publications
    • Team
    • Careers

Secondary Nav

  • CAMET Library
  • Training

Third Party AADL Resources

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)

 

Home Home
Adventium Labs
Developing solutions for safe and secure software-intensive complex systems.
  • Solutions
    • Safety & Security Analysis
    • Real-time Operating System Scheduling
    • Embedded System Tradespace Analysis
  • Company
    • About Us
    • Team
    • News
    • Publications
    • Careers
    • Contact Us

Location

111 Third Ave South
Suite 100
Minneapolis, MN 55401 USA
Visit us on YouTube
Visit us on LinkedIn
© 2023 Adventium Labs. All rights reserved.