In message <20060516171050.GC581@chives.local>, Jack Carroll writes:
quoted text
> Clarification:
> 	I didn't mean that OGP or OGA has anything to do with a vote
> counting machine.  I meant that what I found out about formal proofs of
> correctness while researching design principles for the vote counting
> machine could also be applied to OGA-based products.  That could increase
> their value to certain markets.  If an OGA ASIC can be shown by formal proof
> to be correct in its implementation, that would increase its chances of
> being used in safety-critical products, for example operator control
> consoles in steam power plants.
> 	Traversal is aiming at embedded systems as an important cash earner,
> and safety-critical products are an important subset of embedded systems.

medical
aviation
communications
military
probably most/all power plants, not just steam
chemical plants
food, suppliment, and drug processing
CAD systems that design anything safety critical

and areas that are not safety critical, but are still important

voting
financial

I doubt that either list is anywhere near complete.

I tend to think of this the other way around.  What systems can be
allowed to have errors?  The only thing that comes to mind is
items used only for pure entertainment.
_______________________________________________
Open-graphics mailing list
Open-graphics@duskglow.com
http://lists.duskglow.com/mailman/listinfo/open-graphics
List service provided by Duskglow Consulting, LLC (www.duskglow.com)