Skip to Main Content Area
  • CPS-VO
    • Contact Support
  • Browse
    • Calendar
    • Announcements
    • Repositories
    • Groups
  • Search
    • Search for Content
    • Search for a Group
    • Search for People
    • Search for a Project
    • Tagcloud
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

CPS-VO

abstract permission declarations

biblio

Visible to the public A Formal Model for the Automatic Configuration of Access Protection Units in MPSoC-Based Embedded Systems

Submitted by grigby1 on Mon, 03/29/2021 - 11:56am
  • Resiliency
  • MPSoC-based embedded systems
  • multiple processing cores
  • multiprocessing systems
  • multiprocessor system-on-chip
  • on-chip isolation
  • pubcrawl
  • real-time systems
  • resilience
  • model-based design
  • Safety
  • safety-critical embedded system
  • safety-critical software
  • security
  • security-critical embedded system
  • system-level isolation
  • system-on-chip
  • timing
  • dedicated access protection units
  • access permissions
  • access protection
  • access protection unit
  • authorisation
  • Code Generation
  • composability
  • configuration code
  • Data protection
  • abstract permission declarations
  • embedded systems
  • formal model
  • Hardware
  • heterogeneous system-on-chip platforms
  • information flow requirements
  • information flow tracking
  • internal communication links
  • Metrics

Terms of Use  |  ©2023. CPS-VO