The Trusted Design Chain Company
Edit Page
Report
Scan day: 02 February 2014 UTC
22
Virus safety - good
Description: Provider of tools to develop bug-free and zero-default products and systems while reducing their overall design and validation cycle.
Esterel Technologies - Critical Systems and Software Development Solutions Model-Based Development for Critical Control and Embedded Graphics Applications in Aerospace and Defense Model-Based Development for Critical Control and Embedded Graphics Applications in Rail Transportation
Size: 282 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Esterel Technologies - Critical Systems and Software Development Solutions |
| Keywords: | DO-178B,EN 50128,EN50128,IEC 61508,DO178,DO178B,DO-178C,SCADE Suite,SCADE Display,ARINC 661,Oglx,qualification,DO178 code generator,IEC61508 certified,safety critical embedded software,correct by construction,unambiguous specifications,automated implementation,formal methods,code generation |
| Description: | Esterel Technologies is a leading provider of critical systems and software development solutions for the aerospace, defense, rail transportation, nuclear, and industrial & automotive domains. System and software engineers use SCADE® solutions to graphically design, verify, and automatically generate critical systems and software applications with high dependability requirements. |
| IP-address: | 5.135.140.30 |
WHOIS Info
| NS | Name Server: NS41.DOMAINCONTROL.COM Name Server: NS42.DOMAINCONTROL.COM |
| WHOIS | Status: clientDeleteProhibited Status: clientRenewProhibited Status: clientTransferProhibited Status: clientUpdateProhibited |
| Date | Creation Date: 01-feb-2000 Expiration Date: 06-jan-2016 |