In message <[EMAIL PROTECTED]>, Jack Carroll writes: > 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 [email protected] http://lists.duskglow.com/mailman/listinfo/open-graphics List service provided by Duskglow Consulting, LLC (www.duskglow.com)
