ProvenCore (P&R-ProvenCore) is a formally proven secure operating system for embedded devices designed from the ground up, to enforce strong security properties on processes, and to keep full control on all deadlocks and Denial of Services (DoS) situations, that may occur in a complex system. ProvenCore uses a microkernel architecture implemented using formally proven code to get as close as possible to zero defects, to guarantee the expected security properties, and to ease the path to any required certifications. This architecture and these formal proofs also improve the sustainability of the maintenance process of the systems based on ProvenCore.
ProvenCore insures proven isolation between concurrent processes. This is much required for projects where some components of the software stack may not be fully trusted (3rd-party drivers, etc), when the stack is a merge of complex existing software components, when de-facto security properties need to be guaranteed due to the code complexity, or when they required a security assurance level. ProvenCore is usable on its own or as a low-level layer to support existing operating systems or applications.
ProvenCore-M is available for STM32 ARM®Cortex®-M3/M4/M7 microcontrollers.
This product is supplied by a third party not affiliated to ST. For the latest information on the specification, refer to the third party's website http://www.provenrun.com/.
|Part Number||Software Version||Supplier|
|P&R-ProvenCore||Prove & Run|