Board index » cppbuilder » Mission critical Borland and fail safe technology

rambam

CBuilder Developer
 

Mission critical Borland and fail safe technology


2006-04-05 08:11:43 AM
cppbuilder86
"Rudy Velthuis [TeamB]" < XXXX@XXXXX.COM >writes:
Quote
>Really? Please enlighten me. What are these special fail-safe
 >languages and systems?
 I don't know. I do know they exist, but that's about it.
Lustre comes closest to it.
It is used to control nuclear plants.
It is part of Scade Studio from Esterel.
It is VERY expensive, over $50,000 per developer per year.
www-verimag.imag.fr/~synchron/index.php?page=lang-design
www.esterel-technologies.com/v2/
A free non-commercial version of just the compiler, without the nice
verification tools is available if you contact the right people at
INRIA.
www-verimag.imag.fr/~raymond/tools/lv4-distrib.html
 
 
Robby Tanner

CBuilder Developer

2006-04-11 07:50:42 AM

Re:Mission critical Borland and fail safe technology

< XXXX@XXXXX.COM >wrote in message
Quote
"Rudy Velthuis [TeamB]" < XXXX@XXXXX.COM >writes:

>>Really? Please enlighten me. What are these special fail-safe
 >>languages and systems?
 >I don't know. I do know they exist, but that's about it.
 Lustre comes closest to it.
It is used to control nuclear plants.
It is part of Scade Studio from Esterel.
It is VERY expensive, over $50,000 per developer per year.
www-verimag.imag.fr/~synchron/index.php?page=lang-design
www.esterel-technologies.com/v2/
There's also a failsafe version of Ada that comes with about a palette of
documentation, also used for Safety Shutdown Systems in CANDU reactors.
 
Andy Walker

CBuilder Developer

2006-04-12 06:58:43 PM

Re:Mission critical Borland and fail safe technology

< XXXX@XXXXX.COM >wrote:
Quote
"Rudy Velthuis [TeamB]" < XXXX@XXXXX.COM >writes:

>>Really? Please enlighten me. What are these special fail-safe
 >>languages and systems?
 >I don't know. I do know they exist, but that's about it.
Lustre comes closest to it.
It is used to control nuclear plants.
It is part of Scade Studio from Esterel.
It is VERY expensive, over $50,000 per developer per year.
www-verimag.imag.fr/~synchron/index.php?page=lang-design
www.esterel-technologies.com/v2/

A free non-commercial version of just the compiler, without the nice
verification tools is available if you contact the right people at
INRIA.
www-verimag.imag.fr/~raymond/tools/lv4-distrib.html

Now that's funny. Go to the Esterel site here,
www.esterel-technologies.com/products/scade-suite/overview.html
Scroll dowm the page and click on the "Document Generator" link. The image that appears show one of the reports generated from the package. EXCEPT there is a spelling mistake on there. The title reads "SCADE DETAILED DESIGN OCUMENT". LOL
Safety critical software development but no spell checker?
Warped!!
Andy
 

{smallsort}
rambam

CBuilder Developer

2006-04-12 07:40:59 PM

Re:Mission critical Borland and fail safe technology

"Andy Walker" < XXXX@XXXXX.COM >writes:
Quote
www.esterel-technologies.com/products/scade-suite/overview.html

Scroll dowm the page and click on the "Document Generator" link.
The image that appears show one of the reports generated from the
package. EXCEPT there is a spelling mistake on there. The title
reads "SCADE DETAILED DESIGN OCUMENT". LOL

Safety critical software development but no spell checker?
It is from a French company.
How many mistakes are their on the French or
Chinese sites of Anglophone companies ?
 
Andy Walker

CBuilder Developer

2006-04-12 08:17:28 PM

Re:Mission critical Borland and fail safe technology

< XXXX@XXXXX.COM >wrote:
Quote
"Andy Walker" < XXXX@XXXXX.COM >writes:

>www.esterel-technologies.com/products/scade-suite/overview.html
 >
 >Scroll dowm the page and click on the "Document Generator" link.
 >The image that appears show one of the reports generated from the
 >package. EXCEPT there is a spelling mistake on there. The title
 >reads "SCADE DETAILED DESIGN OCUMENT". LOL
 >
 >Safety critical software development but no spell checker?
It is from a French company.
How many mistakes are their on the French or
Chinese sites of Anglophone companies ?
But the image is supposed to be a sample report generated from
the software. I'm not talking about the quality of the website
I'm talking about the quality of a report generated by the
software they are selling.
It just made me laugh. That's all!
Andy