-
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
-
John Shackleton
John Shackleton
Real-Time Embedded Systems; Avionics Software; Image Processing
About
John Shackleton has over 25 years of engineering experience, specializing in real-time embedded systems, model-based engineering, and cybersecurity.
Since 2013 he has served as the PI for several Adventium Labs projects. John is currently leading the effort on the DARPA Cyber Assured System Engineering (CASE) program, subcontracted to Collins Aerospace, to develop an automated AADL-based build environment for unmanned vehicle platforms.
Additionally, John is a lead developer for several of the AADL-based analysis tools that are under development in the current JMR project, including the FASTAR timing analysis tools, the MILS Analysis tool, and the the Network Synthesizer tool. He is also the technical lead for the Adventium ASoT study, responsible for developing a series of prototype demonstrations that highlight particular ASoT requirements and for a survey of commercial state-of-the-art tools that address different required ASoT capabilities.
Other technical areas of interest for John include time-critical systems, dynamic resource management, safety-critical systems, and cyber forensics.
Education
M.S. Computer Science, University of Minnesota
B.A. Computer Science, Saint John's University
Past Work
John's prior experience includes Raytheon-BBN Technologies, where he was the Project Lead in the design of an image-processing system for LIDAR-based real-time data collection and analysis. This was fielded within a proprietary commercial solution for railroad track safety inspections. His embedded sensor and communications work has included development on the BBN Boomerang heading sensor and dismounted Boomerang Warrior wireless personal area network (PAN).
Prior work at Honeywell included serving as project lead for the NASA Orion router/gateway, and architect for the Future Combat Systems (FCS) System Of Systems Common Operating Environment (SOSCOE), specializing in mission-critical safety and security. While at Honeywell, John earned three company-wide Technical Achievement Awards for his research in real-time adaptive resource management of embedded systems and modeling of complex cyber-physical systems.