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).
Papa’s Got a Brand New Node: Intel Makes Waves in Process and Packaging
Automatic For The People: CacheQ’s New Compiler for Multithreaded Executables
Machine Learning and The New Age of Intelligent Chip Design
The Hidden Security Risks of Automotive Electronic Systems
Fish Fry Special Edition: Makers Today! Lorraine Underwood
Better than a Human Driver: Trusted Electronics and Functional Safety
Machine Vision Meets Hackathon: ADLINK’s 20/20 Hack Solves Real World Problems
Quantum Practicality and You: How Intel is Solving the Quantum Computing Interconnect Bottleneck
How LoRa Can Help Us Build a Smarter and Safer Planet
Fish Fry Special Edition: Makers Today! Karen Corbeill
Let's Get Speedy! Digital Signal Processing for Always-On Systems, Sensor Fusion and Computer Vision
The Digital Thread: The Advancement of Digital Backbones and the World’s First Digital Fiber Fabric
Connecting the Disconnected: Avoiding Design Pitfalls with Altium’s Nexar Network
Computations in Memory: Imec’s Analog Inference Accelerator Brings Extreme Energy Efficiency to Neural Network Acceleration
The Problem is Exponential: The Value of Pre-silicon verification and Pre-silicon Hardware Debug
The World According to Analog: Why Our Digital Futures Depend on Analog
Work Smarter Not Harder: Optimized Software Pipelines and A New Brain-Like Device Learns by Association
Addressing the Gotchas: LCR Embedded Systems and the Case for Intelligent Modularity
Research meets Realization: InnovationLab Brings Organic Printed Electronics into the Mainstream
Machine Learning Megaphone: Advancements in Voice Technology
Create your
podcast in
minutes
It is Free
Urban Coffee
Less Than or Equal
TechVibe Radio
Tech 411 Show
Digital Production Buzz