Electronicdesign 14767 Codepromo 621f9f5f769db

Rust and SPARK: Software Reliability for Everyone (.PDF Download)

April 17, 2017
Register or Sign in to download the full article in .PDF format

This article is part of the TechXchange on Embedded Software and Ada and SPARK

Read this article online

Looking at programming languages, it seems that for a long time, safety or reliability was considered an afterthought, usually covered later in tools such as testing and static analysis, rather than in the language itself. However, over the past few years, it seems there’s been a growing realization that much higher levels of reliability could be achieved for a fraction of the cost if the programming language were designed with reliability in mind. Two names come to mind here: Rust and SPARK...

Sponsored

A Designer's Guide to Lithium (Li-ion) Battery Charging

This designer's guide helps you discover how you can safely and rapidly charge lithium (LI-ion) batteries to 20%-70% capacity in about 20-30 minutes.

The Basics of Current Sensors

This article describes the advantages of open-loop sensors over closed-loop current sensors. Examples of LEM and Honeywell open-loop sensors are described.

What are the Important Considerations when Assessing Cobot Safety?

A review of the requirements of ISO/TS 15066 and how they fit in with ISO 10218-1 and 10218-2 a consideration the complexities of collaboration.

Getting Started with STM32LF Discovery Kit IoT Node

Learn about STs IoT Discovery Kit Node.