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
Self-adaptive Machine Learning Approach for Real-time Tuning of IEEE 802.11 PHY and MAC layers
The worldwide demand for wireless access networks providing very high throughputs has been increasing exponentially, namely due to bandwidth-hungry applications...
Distributed Private Trust
Decentralised trust and reputation system
TSCH-rs
Time Slotted Channel Hopping implement in Rust
Wireless Robotic Surveillance Platform
RobotView is a Wireless Robotic Surveillance Platform which enables real-time video surveillance using WiFi and mobile networks from remote controlled...
