Model-driven development for the seL4 microkernel using the HAMR framework
- 1 January 2023
- journal article
- research article
- Published by Elsevier BV in Journal of Systems Architecture
Abstract
No abstract availableKeywords
Funding Information
- U.S. Army
- U.S. Department of Homeland Security
- US Army Combat Capabilities Development Command
- Defense Advanced Research Projects Agency (HR00111890001)
- U.S. Department of Defense
- Air Force Research Laboratory
This publication has 15 references indexed in Scilit:
- Resolute assurance arguments for cyber assured systems engineeringPublished by Association for Computing Machinery (ACM) ,2021
- A Formal Approach to Constructing Secure Air Vehicle SoftwareComputer, 2018
- Features of Parent-Child Relationships in Adolescents with Internet Gaming DisorderInternational Journal of Mental Health and Addiction, 2016
- Architecture models refinement for fine grain timing analysis of embedded systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2014
- CakeMLPublished by Association for Computing Machinery (ACM) ,2014
- Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARKPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2012
- Compositional Verification of Architectural ModelsLecture Notes in Computer Science, 2012
- Specification and Checking of Software Contracts for Conditional Information FlowPublished by Springer Science and Business Media LLC ,2010
- Towards Automatic Middleware GenerationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2008
- Design and verification of secure systemsACM SIGOPS Operating Systems Review, 1981