From owner-freebsd-hackers Wed Oct 9 9:17:49 2002 Delivered-To: freebsd-hackers@freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 1D45337B401; Wed, 9 Oct 2002 09:17:48 -0700 (PDT) Received: from bulwark.switch.com (bulwark.switch.com [206.181.77.34]) by mx1.FreeBSD.org (Postfix) with ESMTP id 8A27143E3B; Wed, 9 Oct 2002 09:17:46 -0700 (PDT) (envelope-from tnelson@switch.com) Received: from bulwark.switch.com (root@localhost) by bulwark.switch.com with ESMTP id g99FomDS016535; Wed, 9 Oct 2002 11:50:48 -0400 (EDT) Received: from isunix2.switch.com (isunix2.switch.com [199.234.168.6]) by bulwark.switch.com with ESMTP id g99Folkt016526; Wed, 9 Oct 2002 11:50:47 -0400 (EDT) Received: from exchptc1.switch.com ([199.234.168.10]) by isunix2.switch.com (PMDF V5.2-32 #37720) with ESMTP id <0H3Q0097P1CMPO@isunix2.switch.com>; Wed, 9 Oct 2002 11:50:46 -0400 (EDT) Received: by exchptc1.switch.com with Internet Mail Service (5.5.2653.19) id <4LCC1HLM>; Wed, 09 Oct 2002 11:50:46 -0400 Content-return: allowed Date: Wed, 09 Oct 2002 11:50:45 -0400 From: "Nelson, Trent ." Subject: FreeBSD usage in safety-critical environments To: "'hackers@freebsd.org'" Cc: "'questions@freebsd.org'" Message-id: <8F329FEDF58BD411BE5200508B10DA7607D71A10@exchptc1.switch.com> MIME-version: 1.0 X-Mailer: Internet Mail Service (5.5.2653.19) Content-type: text/plain; charset="iso-8859-1" Sender: owner-freebsd-hackers@FreeBSD.ORG Precedence: bulk List-ID: List-Archive: (Web Archive) List-Help: (List Instructions) List-Subscribe: List-Unsubscribe: X-Loop: FreeBSD.ORG [Please include me directly as I'm not on the list] Hi, Has anyone had any experience with deploying FreeBSD in safety-critical environments? Has any work been done attempting to certify FreeBSD to any particular SIL? Is there any intention to do such a thing? If not FreeBSD, I'd be interested to hear if any has had exposure to other BSD flavors being used in safety-critical environments. I've just been shown a report at work that has been commissioned by the UK Health & Safety Executives and sponsored by the UK Ministry of Defense and Safety Regulation Group of the UK Civil Aviation Authority undertaking a preliminary assessment of Linux for safety-related systems. The report 'identifies' that it would be possible to certify Linux to SIL 1 and SIL 2 quite easily, and SIL 3 with a little work. I'd hate to think that this would be an arena where BSD couldn't compete. I'd also hate to think that the tendency for big players such as the MoD or DoD etc to lean towards Linux is based on the general Linux 'hype', rather than technical merit... Regards, Trent. To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-hackers" in the body of the message