Ironclad
Website
https://ironclad.nongnu.org
Hard real-time capable kernel written in SPARK/Ada
ProjectID
Ironclad
Acronym
Ironclad
Additional Info
Not available yet
Enduser Relevance
Not available yet
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country:
NGI Project: NGI zero core
Status: Early research demo
check other similar innovations
PyCM
Evaluate the performance of ML algorithms
Arcan-A12 Directory
Server side scripting API for Arcan’s directory server
Computation Offloading for IoT‐enabled Applications
COMFORT‐APP aims to provide an offloading mechanism for IoT‐enabled applications. IoT devices have limited resources in terms of energy, computation...
Testing low latency Industry4.0 applications using Fed4FIRE+
STONESHIELD has developed an Augmented Reality (AR) application prototype for training-on-the-job and assist maintenance operations of its robotic machines.More
