-
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
-
Hazel Shackleton
Hazel Shackleton
Model-based Development Tools and Methodologies; User-centered Design; Next-generation Avionics Systems
About
Hazel Shackleton is a Six Sigma Certified Software Engineer with extensive experience developing complex systems with safety, security, and real-time requirements. This includes use of SysML and AADL for requirements capture, system specification, and design analysis. She has earned 4 patents for her work.
Hazel is currently working on a tool that supports SysML profiles to enable modelers to annotate MagicDraw/Cameo or Enterprise Architect and automatically produce AADL models for analysis and integration. Hazel was the software lead for the MILS and MADS plugins developed under this effort. Additionally she has a key role on the CAFFMAD project extracting data directly from the AADL model and integrating our analysis tools into the DSI (Design Space Investigator) workflow. Also, on the GUMBO project, Hazel is incorporating behavioral modeling into the SysML-to-AADL Bridge tool.
On SLICED, Hazel developed MagicDraw plugins to combine existing timing analysis and FACE data standards with behavioral models to detect incompatibilities.
Hazel has been principal developer on a number of model and tool integration projects, including FUSED, AFFMAD, and Adventium's MILS AADL analysis tools, including a graphical visualizer of security levels within a model.
Hazel was a primary developer of FORGE, a tool integration framework that enables instructional designers to create educational games for mobile devices. FORGE was used to develop iNeuron and CellEnergy, interactive, multi-user educational games that teach neuroscience and photosynthesis to high-schoolers, respectively.
Education
M.S. in Computer Science, Michigan Technological University
B.S. in Computer Science, Michigan Technological University
Past Work
As a Research Scientist at Honeywell Laboratories, Hazel was the principle developer and software lead for several internal avionic Flight Management System projects. Her work on DoME (an extensible graphical domain modeling tool) allowed for the smoother integration of external hardware and software design models. On the DARPA ADAPTERS program, she also worked to develop and evaluate tools specialized for distributed heterogeneous configurable computer platforms, and acted as project manager and principle investigator for Honeywell's participation in the DARPA Advanced Logistics Program.