The process took nearly a decade, but embedded software maker Green Hills Software has proven the mettle of its Integrity-178B operating system, obtaining a high security certification from the US National Security Agency.

Commack, NY &#151 announced today that its Integrity-178B operating system has achieved EAL6+ certification, the highest level of proven security for any OS to date, and that it would be launching a new company, Integrity Global Security, LLC, a wholly owned subsidiary, to market the OS to the enterprise.

Vliegtuigen mogen alleen software gebruiken die de luchtvaartautoriteiten vliegveilig hebben bevonden. De de facto standaard hiervoor is DO-178B. Frank van den Berg van Green Hills beschrijft hoe het certificeringsproces in zijn werk gaat en welke problemen daarbij de kop opsteken.

, 10:24:00 PM EDT) Have you ever had a bug that disappeared when you tried to debug it? Or how about an application that has to run at full-speed, and can't be stopped or slowed down to take a look at strange behavior? Problems like this can only be debugged non-intrusively - debugging that has no side...

, 12:00:00 AM EDT) Embedded Linux is the most hyped embedded operating system ever. It is promoted as inexpensive, high quality, high productivity, reliable, widely available, and well supported.

, 12:04:00 AM EDT) We often hear that security is "hard to implement." Why is that? A better way to phrase it is that it is very hard to find the right balance between usability and security in a system.

, 05:07:00 PM EDT) Security has become a hot global topic. Banks make a point to advertise the security of their online services. Credit cards boast built-in security chips.