AdaCore also suports SPARK, a cross between a development environment, a tool set and and an Ada subset, which is even more suitable for safety-critical environment than Ada.
September 28, 2011
featured blogs

Jan 25, 2021
A mechanical look at connector skew in your systems. Electrical and Mechanical requirements collide when looking at interconnects in your electrical system. What can you do about it, how do you plan for it, and how do you pick the most rugged solution that still carries...

Jan 25, 2021
There is a whole portfolio of official "best of CES" awards, 14 of them this year. Of course, every publication lists its own best-of list, but the official CES awards are judged by...
[[ Click on the title to access the full blog on the Cadence Community site. ]]...

Jan 22, 2021
I was recently introduced to the concept of a tray that quickly and easily attaches to your car's steering wheel (not while you are driving, of course). What a good idea!...

Jan 20, 2021
Explore how EDA tools & proven IP accelerate the automotive design process and ensure compliance with Automotive Safety Integrity Levels & ISO requirements.
The post How EDA Tools and IP Support Automotive Functional Safety Compliance appeared first on From Silicon...