From owner-freebsd-hackers Wed Oct 9 10:39:24 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 A23F837B401 for ; Wed, 9 Oct 2002 10:39:22 -0700 (PDT) Received: from dibbler.ne.client2.attbi.com (dibbler.ne.client2.attbi.com [24.61.41.247]) by mx1.FreeBSD.org (Postfix) with ESMTP id DF9C143E75 for ; Wed, 9 Oct 2002 10:39:21 -0700 (PDT) (envelope-from rodrigc@attbi.com) Received: from dibbler.ne.client2.attbi.com (localhost.ne.attbi.com [127.0.0.1]) by dibbler.ne.client2.attbi.com (8.12.6/8.12.5) with ESMTP id g99He2CK007874; Wed, 9 Oct 2002 13:40:02 -0400 (EDT) (envelope-from rodrigc@dibbler.ne.client2.attbi.com) Received: (from rodrigc@localhost) by dibbler.ne.client2.attbi.com (8.12.6/8.12.6/Submit) id g99He2te007873; Wed, 9 Oct 2002 13:40:02 -0400 (EDT) Date: Wed, 9 Oct 2002 13:40:01 -0400 From: Craig Rodrigues To: "Nelson, Trent ." Cc: "'chromexa@ovis.net'" , "'hackers@freebsd.org'" Subject: Re: FreeBSD usage in safety-critical environments Message-ID: <20021009134001.A7815@attbi.com> References: <8F329FEDF58BD411BE5200508B10DA7607D71A12@exchptc1.switch.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5.1i In-Reply-To: <8F329FEDF58BD411BE5200508B10DA7607D71A12@exchptc1.switch.com>; from tnelson@switch.com on Wed, Oct 09, 2002 at 01:08:46PM -0400 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 On Wed, Oct 09, 2002 at 01:08:46PM -0400, Nelson, Trent . wrote: > > > 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've seen this game before with other certification efforts, ie. U.S. Federal Aviation Administration's DO-178B for certification of software used in airborne systems and equipment. Certification is usually an expensive undertaking, so it usually requires a company with enough $$$ to jump through all the hoops of the certification process (ie. submitting to special tests, fixing the bugs, etc.). No one would go through this stuff unless there was an anticipated reward, ie. $$$. WindRiver has done this kind of stuff for VxWorks. Now, if the UK govt. is looking to certify Linux, what version and what vendor would they certify? Linux has a lot of buzz these days, and there are a number of vendors who are trying to pitch it in real-time and embedded systems markets, and many companies who are providing Linux-based services. I'm sure that any FreeBSD could be certified, but the questions would be: - which companies have the resources to submit to such an SIL certification and jump through all the hoops? - is there enough of a financial incentive to do so? - has the UK govt heard of BSD, and would they even care if someone wanted to certify it? Unfortunately marketing and mindshare plays a lot in these kinds of things. -- Craig Rodrigues http://www.gis.net/~craigr rodrigc@attbi.com To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-hackers" in the body of the message