Andy Melnikov (nponeccop) wrote,
Andy Melnikov

Кто все эти люди?

By some accounts, the most ubiquitous operating system in the world is a Japanese commodity microkernel known as TRON, with many variations.

By early 2012, deployments of OKL4 had surpassed 1.5 billion, particularly in GSM baseband processors.

INTEGRITY, particularly its variant INTEGRITY-178B has an Evaluation Assurance Level of 6 and is compliant with the DO-178B standards for avionics software (hence the name), making it used in the B-2, F-16, F-22, F-35, Airbus A380 and others.

Nokia’s Symbian, lasting for over a decade, used a microkernel for the primary mobile operating system, disproving any notions of unsuitability for such devices.

QNX is used in military hardware, industrial automation, vehicles, medical equipment and networking hardware. It’s particularly famous for its use in the automotive industy, where it had an estimated ~60% share of infotainment and telematics from a 2011 report.

PikeOS is used by the likes of Airbus, Thales, Continental, Raytheon, Samsung, Rheinmetall, Rockwell-Collins, B. Braun, Miele and Rohde & Schwarz. Most famously it is in the Airbus A350 and Airbus A400M.

> I’ve barely had my Debian boxes crash on me, therefore monolithic kernels are highly robust!

It’s statements like the above that make “software engineering” sound like an oxymoron. Let’s all ignore that the gold standard for life-critical systems is secure RTOS, most of them microkernels. No, it’s the sharded MangoDB clusters sustaining containerized Baboontoo images from the Crocker registry that are the apex of engineering.
Tags: fp, programming, кто все эти люди

  • Post a new comment


    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.