HS

Hazel Shackleton

Research & Engineering at Galois

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 four 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 the 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 (now Galois’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.

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.

She has an M.S. and a B.S. in Computer Science from Michigan Technological University.


Org chart