From owner-freebsd-questions Wed Oct 9 10: 0: 2 2002 Delivered-To: freebsd-questions@freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 5CAF537B401; Wed, 9 Oct 2002 10:00:00 -0700 (PDT) Received: from ns1.ovis.net (ns1.ovis.net [207.0.147.2]) by mx1.FreeBSD.org (Postfix) with ESMTP id 9EFDF43E77; Wed, 9 Oct 2002 09:59:58 -0700 (PDT) (envelope-from chromexa@ovis.net) Received: from ovis.net (s45.pm5.ovis.net [207.0.147.111]) by ns1.ovis.net (Postfix) with ESMTP id 3BADA3B43; Wed, 9 Oct 2002 12:59:19 -0400 (EDT) Message-ID: <3DA4625F.332C5D20@ovis.net> Date: Wed, 09 Oct 2002 13:07:43 -0400 From: Steve Kudlak Reply-To: chromexa@ovis.net X-Mailer: Mozilla 4.5 [en]C-CCK-MCD ezn/58/n (Win98; U) X-Accept-Language: en MIME-Version: 1.0 To: "Nelson, Trent ." Cc: "'hackers@freebsd.org'" , "'questions@freebsd.org'" Subject: Re: FreeBSD usage in safety-critical environments References: <8F329FEDF58BD411BE5200508B10DA7607D71A10@exchptc1.switch.com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-freebsd-questions@FreeBSD.ORG Precedence: bulk List-ID: List-Archive: (Web Archive) List-Help: (List Instructions) List-Subscribe: List-Unsubscribe: X-Loop: FreeBSD.ORG "Nelson, Trent ." wrote: > [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 Well I don't know if this belongs on questions or hackers but the question has enough technical merit to be interesting. For example to what level has BSD been certified. I remember doing this consulting project and mucking with the "low grade" in my opinion C-2 security that Sun OSes had and finding bugs in things like FTP logging and the like. I now do other things so I don't worry about that. :) But it is an interesting issue. I wonder if we should move it to chat? Have Fun, Sends Steve To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-questions" in the body of the message