Safety in numbers
London, October 1, 2015, The Audience : Embedded system programmers using C99 or C11 or Misra C, in the Aerospace and Automobile industries. The point : We have a new product. It’s early days but you’ll be able to download an evaluation copy in the near future. The product : This will be an alpha test version. It will be far from […]
Read moreThe Motor Industry Software Reliability Association (MISRA), publish guidelines for the use of the C programming language in automotive applications. The latest guidelines, known as Misra-2012, are compatible with ISO C 99, and are relevant for anyone developing applications where programming mistakes must be corrected before deployment. This requires static analysis rather than run-time checks. You will find MISRA at “http://www.misra.org.uk/”. […]
Read moreThe new C11 compiler, initially for the SPARC computer, has a number of built in restrictions, some of which make the source code more legible. Compound Literals Standard C allows literals and initialisers to be written with fewer values than the type requires. For example we can write: int a[3][4] = {1, 2, 3, 4}; This initialiser has too few […]
Read moreStatic analysis reduces the risks of deploying software written in the C programming language. Where possible we identify faults at compile time, before your software is deployed. We check conformance with language standards: ISO C99 Constraints ISO C99 Undefined Behaviour We do additional safety checks: MISRA C We perform analysis: Control flow analysis Range analysis We annotate your source code to […]
Read moreThis post lists the units in the Ada 95 predefined library, and indicates whether a unit is supported or not. The answer “Yes” means the unit is supported in the default profile, and maybe in the other profiles. The answer “Restricted…” means the unit is not supported in any profile because of a built-in restriction.
Read more“Mars Express launched from Baikonur on 2 June 2003, at 17:45 UTC (18:45 BST). Beagle 2 was a Mars lander initially mounted on the top deck of the Mars Express Orbiter. It was released from the Orbiter on a ballistic trajectory towards Mars on 19 December 2003 at 8:31 UT. Beagle 2 coasted for six days after release and was […]
Read moreA function might be simple or it might be complex. And while a simple function might be obviously correct, a complex function might need hundreds of tests to demonstrate its correctness.
Read moreThis note defines how the Ada 95 restrictions, accessible through the pragma Restrictions, are supported. Unsafe features such as run-time dispatching and heap management are not supported in the run-time system, so all the restrictions that are relevant for these features are set to True by default.
Read moreBenchmark programs are used by compiler vendors as a standard for compiler assessment, and are selected to cover interesting aspects of the compiler and target computer. We use Ackermann, Sieve and Whetstone.
Read more