Description:
Reliable Ada Verifiable Executive Needed for Scheduling Critical Applications in Real-time. Kernel of reduced size and complexity, certified for safety-critical applications, profile is subset of Ada tasking features. [Open Source, GPL]
Hits:
11 |
Rating:
( 5.0 )
by 1 users
