Latest from Embedded

ID 107786319 © Pakphipat Charoenrach - Dreamstime.com
id_107786319__pakphipat_charoenrach__dreamstime
ID 318454663 © BiancoBlue - Dreamstime.com
Fighter airplane
ID 86392130 © Belish - Dreamstime.com
promo__id_86392130__belish__dreamstime
ID 124110546 © Maciek905 | Dreamstime.com
code_dreamstime_l_124110546
ID 23655199 © Pere Sanz | Dreamstime.com
oscilloscope_dreamstime_l_23655199
Leandro DRS
image
Dreamstime_Prostockstudio_371930154
dreamstime_ai__prostockstudio_371930154
100269668 © Ronstik | Dreamstime.com
promo_100269668__ronstik__dreamstime
ID 66792575 © Anton Matveev | Dreamstime.com
helicoptercontrolpanel_dreamstime_l_66792575

Helpful Hints for Adopting SPARK (.PDF Download)

May 9, 2017
Helpful Hints for Adopting SPARK (.PDF Download)

>> Website Resources
.. >> Library: TechXchange
.. .. >> TechXchange: Embedded Software
.. .. .. >> Topic: Ada and SPARK

Developing safe and secure systems can be a challenging task, but one can be made easier with the right tools. Many such tools, like static analysis, can be applied to languages like C and C++ that inherently lack this support, versus languages like SPARK and RUST that incorporate these techniques as part of their definition—making them available to all programmers who use the language.

SPARK, a subset of Ada 2012, goes the extra mile with provable static analysis, but utilizing all of its advantages can be daunting. Still, incremental use of these features can provide significant benefits, and using a subset of them may be suitable in many instances. This is similar to the MISRA support for C and C++ that are a collection of rules that can be selectively applied for many projects. MISRA C and other coding standards provide a way to improve the quality of the code created by programmers.