-
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
-
Todd Carpenter
Todd Carpenter
Systems Engineering and Architecture; Real-time, Dependable, and Assured Systems; Model-based Systems Engineering
About
Todd Carpenter has spent his career developing systems for high-value and life-critical, real-time, fault-tolerant, and secure applications in domains including medical, defense and commercial avionics, space, and petrochemicals. Several of his fielded safety-critical products have demonstrated billion-plus hours of successful safe operation.
Todd is currently engaged in systems, architecture, dependability, and security developments for the medical device and defense industries. He has performed detailed hardware and software design, architecture development, systems design and specification, and tools, standards, and processes for enhancing the design flow. He is currently engaged in research and development of tools and techniques to develop safe and secure assured systems built on solid foundations.
Todd has maintained collaborative ties with industry, university and government researchers, including joint efforts with the academia, colloquium presentations, teaching security risk assessment, and sponsoring graduate and undergraduate interns.
Education
B.S. in Electrical Engineering, University of Minnesota
Past Work
Prior to Adventium, Todd’s work included technology transfer programs to productize innovations, including critical infrastructure protection for industrial applications, automating task-specific, user and device interactions, and commercial integrated, highly reliable embedded systems for medical, defense, and space markets.
Photo by Todd Carpenter
Image
