Statements (52)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Cloud_Computing_Service
|
| gptkbp:developedBy |
gptkb:Lynx_Software_Technologies
|
| gptkbp:enables |
Safety-critical applications
|
| gptkbp:features |
Real-time performance
|
| https://www.w3.org/2000/01/rdf-schema#label |
LynxSecure
|
| gptkbp:integratesWith |
LynxOS
|
| gptkbp:isAvailableIn |
Cloud platforms
|
| gptkbp:isCompatibleWith |
x86 architecture
ARM architecture |
| gptkbp:isDesignedFor |
Embedded systems
|
| gptkbp:isInvolvedIn |
DO-178C
|
| gptkbp:isMarketedAs |
Research institutions
Software developers Aerospace manufacturers Defense contractors System integrators |
| gptkbp:isPartOf |
Real-time operating systems
Virtualization solutions Secure computing environments Safety-critical software solutions Lynx_Software_Technologies_product_suite |
| gptkbp:isPromotedBy |
Webinars
Trade shows Technical papers Industry conferences Online marketing campaigns |
| gptkbp:isSuitableFor |
Large systems
Small devices |
| gptkbp:isSupportedBy |
Technical documentation
Customer support services |
| gptkbp:isUsedBy |
Government agencies
Commercial enterprises |
| gptkbp:isUsedIn |
Industrial control systems
Medical devices Telecommunications Automotive_systems |
| gptkbp:isUtilizedFor |
Safety standards
Security standards |
| gptkbp:isVisitedBy |
Agile methodologies
|
| gptkbp:offers |
Secure Virtualization
High assurance security |
| gptkbp:operatingHours |
LynxOS
|
| gptkbp:provides |
Resource management
Dynamic resource allocation Isolation between applications Separation kernels |
| gptkbp:releaseDate |
2010
|
| gptkbp:supports |
Virtual machines
Multi-core processors Multiple operating environments Mixed_Criticality_Systems |
| gptkbp:usedIn |
Aerospace_and_Defense
|