Model-driven development for the seL4 microkernel using the HAMR framework

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 01, 2023
Source ID
10.1016/j.sysarc.2022.102789

Entities

People

  • D. Barrett Hardin
  • Darren Cofer
  • Eric Mercer
  • Ihor Kuz
  • Isaac Amundson
  • Jason Belt
  • Jim Carciofini
  • John Hatcliff
  • John Shackleton
  • Junaid Babar
  • Karl Hoech
  • Kent Mcleod
  • Konrad Slind
  • Robby
  • Todd Carpenter

Organizations

  • Air Force Research Laboratory
  • Defense Advanced Research Projects Agency
  • United States Army
  • United States Army Soldier Systems Center
  • United States Department of Defense
  • United States Department of Homeland Security