From: Kilgallen@SpamCop.net (Larry Kilgallen)
Subject: Re: n versioning is there any other better approach
Date: 21 Apr 2006 08:45:21 -0500
Date: 2006-04-21T08:45:21-05:00 [thread overview]
Message-ID: <7cWIiIwG$u01@eisner.encompasserve.org> (raw)
In-Reply-To: 1145599506.289672.274530@u72g2000cwu.googlegroups.com
In article <1145599506.289672.274530@u72g2000cwu.googlegroups.com>, "Ananth the Boss" <anboss@gmail.com> writes:
> we are developing safety critical flight software by n version
> approach.also we validate performance of flight software by comparing
> results of software with that of another version(autonomous).how can
> this be effective.ther may b a chance that autonomous may b wrong.since
> 'n' times the same task of development has 2 b carried out time and
> labor involved is wasted in this strategy.
1. I don't think you will have much luck with such inattention to spelling
and capitalization. (Ada does not require the latter, but documentation
does.
2. Formal Proof is a different approach from multiple versions.
3. Multiple versions do not count as multiple versions of they were done
by the same team. Probably they should also not be done in the same
programming language.
next prev parent reply other threads:[~2006-04-21 13:45 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-04-21 6:05 n versioning is there any other better approach Ananth the Boss
2006-04-21 13:45 ` Larry Kilgallen [this message]
2006-04-21 21:25 ` Robert A Duff
2006-04-22 0:50 ` Jeffrey R. Carter
2006-04-22 11:50 ` Larry Kilgallen
2006-04-23 5:44 ` Jeffrey R. Carter
2006-04-23 23:31 ` Peter Amey
2006-04-24 4:05 ` Ananth the Boss
2006-04-24 10:11 ` Ananth the Boss
2006-04-24 4:04 ` Ananth the Boss
2006-04-24 12:04 ` Simon Clubley
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox