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
Sep 5, 2024
I just discovered why my wife sees our green watering can as being blue (and why she says I see our blue watering can as being green)...
featured chalk talk
Unlock the Productivity and Efficiency of a Connected Plant
Sponsored by Mouser Electronics and Schneider Electric
In this episode of Chalk Talk, Amelia Dalton and Patrick Casey from Schneider Electric explore the multitude of benefits that mobility brings to industrial applications. They investigate how Schneider Electric’s Harmony Hub can simplify monitoring and testing, increase operational efficiency and connectivity openness in industrial plants, and how NFC technology can bring new innovation possibilities to IIoT applications.