HeyJaredTony Aiello
- Indexed articles, last 90 days
- 2
- Latest publication
- Jul 24, 2026
- Outlet visibility, for Electronic Design
- Top 1M sites
- Earliest in this view
- Jul 10, 2026
Latest articles
Demonstrating SPARK with a Mars Rover (Part 4): Formalizing Safety (opens the original)
Read excerpt
In this article, we delve more deeply into incorporating safety into the formal definition of the program. It takes a closer look at the initial implementation. One of the goals for this Mars Rover Demo project was to demonstrate how SPARK can address safety and reliability issues. You can download the sources for the Mars Rover Demo project. Now the contract for “Go_Forward” has been changed, the loop in “Run” must be revisited as it’s quite clear that it won’t prove in its current state: This
Demonstrating SPARK with a Mars Rover (Part 3): Improving the System (opens the original)
Read excerpt
This is Part 3 of the four-part series on how the SPARK programming language was used to manage and control a model Mars Rover robot. This article looks at the improvements using Ada’s contract support in SPARK to improve the support for this cyber-physical system. One of the goals for this Mars Rover Demo project was to demonstrate how SPARK can address safety and reliability issues. You can download the sources for the Mars Rover Demo project. Cyber-physical systems (CPS) are integrated soluti
Publishing over time
Last 90 days. Choose a month to open its work.
Recurring subjects
Named in the text we hold. One piece can cover several.
Audience
Top 1M sites
For Electronic Design, the outlet · Measured Aug 1, 2026
Website popularity band, not a count of readers or article views.
About this data
Counts cover the work we have indexed. Tone needs enough text and a confident classification. Excerpts and episode notes are not full articles or transcripts.
Identity or attribution wrong? Suggest a correction.