-
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.
-
-
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
-
ISA Security Compliance Institute Announces SDLA Certification
ISA Security Compliance Institute Announces SDLA Certification
The ISA Security Compliance Institute (ISCI) announced the availability of the ISASecure Security Development Lifecycle Assurance (SDLA) certification for organizations that develop industrial automation and control systems (IACS). Adventium Labs provided primary staff for transforming draft technical requirements into a fully defined and documented organizational certification program. The certification's objective is to ensure that suppliers include cybersecurity requirements in all phases of their development and maintenance lifecycle processes for IACS products. Please click here for more information on ISASecure and how to take advantage of the certification process.