Network monitoring and troubleshooting is hard. TotalView makes it easy.
This means every device on your network, and every interface on every device is automatically analyzed for performance, errors, QoS, and configuration.
Modular solutions for change management, asset management and more
ChangeGear provides IT staff with the functions required to manage everything from ticketing to incident, change and asset management and more. ChangeGear includes a virtual agent, self-service portals and AI-based features to support analyst and end user productivity.
L4X is a collection of software servers that run on the L4 microkernel to implement file systems, network protocols, file access control, and other features of Unix kernels like Linux. L4X is "for fun project" developing with Hurd/QNX in mind.
Partial SDL implementation to support Prequengine (TwinEngine) on BlackBerry 10 smartphones.
See:
https://code.google.com/p/prequengine/
https://github.com/xesf/twin-e
For IT service providers and MSPs that need a data platform to manage their processes
BrightGauge, a ConnectWise solution, was started in 2011 to fill a missing need in the small-to-medium IT Services industry: a better way to manage data and provide the value of work to clients. BrightGauge Software allows you to display all of your important business metrics in one place through the use of gauges, dashboards, and client reports. Used by more than 1,800 companies worldwide, BrightGauge integrates with popular business solutions on the market, like ConnectWise, Continuum, Webroot, QuickBooks, Datto, IT Glue, Zendesk, Harvest, Smileback, and so many more. Dig deeper into your data by adding, subtracting, multiplying, and dividing one metric against another. BrightGauge automatically computes these formulas for you. Want to show your prospects how quick you are to respond to tickets? Show off your data with embeddable gauges on public sites.
X-RT: A portable multiprocessor real-time scheduling framework
... version supports major POSIX systems (Linux, QNX).
2) Hardware_GEDF_Scheduler: is a hardware implementation in VHDL (targeting FPGAs) of the G-EDF multiprocessor scheduling policy.