|
gptkbp:instance_of
|
gptkb:operating_system
|
|
gptkbp:acquired_by
|
gptkb:2018
gptkb:Silicon_Labs
|
|
gptkbp:developed_by
|
gptkb:Micrium,_Inc.
|
|
gptkbp:features
|
gptkb:infrastructure
gptkb:cloud_storage
Event Management
Memory Management
Multitasking
Real-time scheduling
Real-Time Scheduling
GUI support
Inter-Task Communication
|
|
gptkbp:first_released
|
gptkb:2002
|
|
gptkbp:founded_in
|
gptkb:2002
|
|
gptkbp:has
|
gptkb:Documentation
gptkb:Linux
Memory management
Debugging tools
Task management
Timers
Mutexes
Semaphores
Power management
Message queues
Event flags
Inter-task communication
Software timers
|
|
gptkbp:has_version
|
gptkb:Micrium_File_System
gptkb:Micrium_GUI
gptkb:Micrium_OS
gptkb:Micrium_TCP/_IP
gptkb:Micrium_USB
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Micrium
|
|
gptkbp:is_available_on
|
Various hardware platforms
|
|
gptkbp:is_compatible_with
|
gptkb:Free_RTOS
gptkb:Linux
gptkb:MIPS_architecture
gptkb:x86_architecture
gptkb:ARM_architecture
gptkb:Windows
|
|
gptkbp:is_known_for
|
gptkb:performance
gptkb:Reliability
Flexibility
Scalability
Low Latency
Portability
Deterministic Behavior
|
|
gptkbp:is_part_of
|
gptkb:Io_T_solutions
Real-Time Systems
Smart Devices
Embedded Software Development
Embedded software ecosystem
|
|
gptkbp:is_supported_by
|
Technical support
Community forums
|
|
gptkbp:is_targeted_at
|
OEMs
Embedded developers
System integrators
|
|
gptkbp:is_used_by
|
gptkb:engineers
gptkb:developers
gptkb:researchers
|
|
gptkbp:is_used_in
|
gptkb:Consumer_Electronics
gptkb:Industrial_Automation
gptkb:Telecommunications
gptkb:medical_devices
Automotive Systems
|
|
gptkbp:license
|
Commercial License
Academic License
Evaluation License
Source Code License
|
|
gptkbp:offers
|
Training programs
Consulting services
Licensing options
|
|
gptkbp:platforms
|
gptkb:NXP
gptkb:TI_MSP430
gptkb:ARM
gptkb:Microchip_PIC
|
|
gptkbp:programming_language
|
gptkb:C
|
|
gptkbp:provides
|
gptkb:File_System_API
gptkb:developers
Development tools
Support services
Middleware solutions
Real-Time Clock
TCP/ IP Stack
USB Stack
|
|
gptkbp:supports
|
gptkb:Embedded_Systems
Embedded systems
|
|
gptkbp:used_in
|
Consumer electronics
Medical devices
Automotive systems
Industrial automation
|
|
gptkbp:uses
|
gptkb:infrastructure
gptkb:Linux
gptkb:cloud_storage
GUI
Priority-based scheduling
Round-robin scheduling
Real-time scheduling algorithms
|
|
gptkbp:written_in
|
gptkb:C
|
|
gptkbp:bfsParent
|
gptkb:operating_system
|
|
gptkbp:bfsLayer
|
4
|