Model-driven development for the seL4 microkernel using the HAMR framework
Jason Belt, John Hatcliff, Robby, John Shackleton, Jim Carciofini, Todd Carpenter, Eric Mercer, Isaac Amundson, Junaid Babar, Darren Cofer, David Hardin, Karl Hoech, Konrad Slind, Ihor Kuz, Kent Mcleod
Topics & Concepts
Computer scienceMicrokernelSoftware engineeringModel checkingComponent (thermodynamics)Systems engineeringEmbedded systemProgramming languageThermodynamicsEngineeringPhysicsSecurity and Verification in ComputingSafety Systems Engineering in AutonomyAdvanced Software Engineering Methodologies