|
Embedded Systems Specialists |
|
Safetronix Corporation |
|
About Us |
|
Safetronix is a small company created in Grenoble and reshaped to focus on the study of the most advanced environments for the embedded systems. Safetronix gathers deep experience on different types of embedded systems, and spent large efforts in research and development. The main activity of Safetronix is the development and training on leading edge tools for embedded systems design and their integration in industrial design flows, and formal verification of their correctness, making it one of the very few actors of the market delivering zero bug systems. Our Clients After successful efforts in research and development, Safetronix now aims at a dominant position in developing formally proven error-free embedded systems. According to Gartner-Dataquest, the verification is the segment of electronic-based systems design for which the strongest growth is foreseen: it should grow from $120M in 2003 to $650M in 2008. Our clients are companies designing systems (with a strong electronic component) with critical properties (as security): army, health, automotive, aeronautic, SoCs integrators and constructors, and IP designers and sellers.
|
|
To contact us: |
|
Engine Control Module of Toyota Prius: It monitors and controls all aspects of the gas engine. Provides bus communication of various operating states to other modules. |
|
Safetronix Corporation Centre Equation 2, Avenue de Vignate 38610 GIERES FRANCE
Phone: (+33) 4.76.63.49.34 Fax: (+33) 4.76.42.87.87 E-mail:info@safetronix.com |
