AdaCore Technologies for Cyber Security
This book is intended for those who are involved with software at any level who would like to learn how to address software and security challenges.
C++ versus Ada for safety critical software (I)
Safety critical software is incredibly important for systems designed for applications such as aerospace, rail transportation, power stations and the like. This the F-35 hey, built largely in C++. …
Ada Web Application version 2.2.0
Ada Web Application (https://github.com/stcarrez/ada-awa) is a framework to build high performance secure web applications. This is a new release with 99 Debian packages ready to be installed on Ubun
by Roderick Chapman – Feb 19, 2021. Following my last blog entry, further experiments show how the performance of SPARKNaCl can be doubled (again), plus analysis of worst-case stack usage and code size at all optimization levels.
As mentioned before, strings in Ada can be tricky. Normal strings are fixed in length, and Ada is very stringent about this. Consider a piece of code like this: with ada.Text_IO; use Ada.Text_IO; w…