In general, we like light hearted stories on Fish Fry. We like “smart” forks that tell us when we should stop eating. We enjoy 3D printing robots that make pancakes with the faces of famous people. All of that is fine and dandy but sometimes, we have to talk about more serious stuff. Today we are talking about when safety and security is mandatory, when failure is life or death, and when finding bugs doesn’t just mean your job is on the line. In this week’s episode, Quentin Ochem (AdaCore) I are chat about what the SPARK language can do that C cannot and the software development and verification challenges inherent in safety-critical applications. Also this week, we check out the details of a new matchbox-sized radar system coming out of VTT Technical Research Center of Finland and KAUST (King Abdullah University of Science and Industry).
Click here to download this episode
Links for April 26, 2019
More information about AdaCore
AdaCore Enhances Security-Critical Firmware with NVIDIA
Tiny, fast, accurate technology on the radar (KAUST)
Compact mmWave FMCW Radar: Implementation and Performance Analysis (Whitepaper)
Click here to check out the Fish Fry Archive.
Click here to subscribe to Fish Fry via Podbean
Click here to get the Fish Fry RSS Feed
Click here to subscribe to Fish Fry via iTunes.
Fish Fry Executive Interviews
Dave Kleidermacher, CTO – Green Hills Software
Michiel Ligthart, COO – Verific
Adnan Hamid, CEO – Breker Technologies
Simon Davidmann, CEO – Imperas
Ted Miracco, CEO – SmartFlow Compliance Solutions
Jessica Gomez – Rogue Valley Microdevices
Shishpal Rawat, Chairman – Accellera Systems Initiative
Kevin Bromber, CEO – myDevices
Daniel Hansson, CEO – Verifyter
Dr. Steven LeBoeuf, President – Valencell
Allan Martinson, COO – Starship Technologies
Zhihong Liu, Chairman and CEO – ProPlus Solutions
Taher Madraswala, CEO and President – Open-Silicon
Kapil Shankar, CEO and Director – AnDAPT
Lawrence Cooke, Founder and CEO — NovaSolix
Gregg Recupero, CTO — Performance-IP
Carl Alberty, Vice President – Cirrus Logic
Maximilian Odendahl, CEO — Silexica
Finbarr Moynihan, General Manager — MediaTek
Sanjay Pillay, CEO — Austemper
Harold Blomquist, CEO – Helix Semiconductor
Dale Dougherty and Sherry Huss, Co-Founders – Maker Faire
Chris Giovanniello, SVP and Co-Founder – Menlo Micro
Jake Janovetz, President – Opal Kelly
Jerry Gipper, Executive Director – VITA
Bob Smith, Executive Director – ESD Alliance
Rick O’Connor, Executive Director – RISC V Foundation
Naveed Sherwani, CEO and Yunsup Lee, CTO/Founder- SiFIve
Doug Letcher, CEO and President – Metrics Technologies
David Su, CEO – Atomic Technologies
