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).
Shaving Hairs and New Electronics: UChicago’s Nanocrystal Breakthrough
Reimagining Moore’s Law - One Glass Chip at a Time
Consolidation and Collaboration: MCUs and The Future of the Automotive Industry
Guiding Light: University of Chicago Research Team Develops a Whole New Class of Integrated Photonic Circuits
New Avenues for ReRAM: When Every Bit is Critical
Auditory Adventures: Cadence HiFi 1 Digital Signal Processing and Unlocking the Evolution of Hearing in Humans
The Need for Chips is Inevitable: How EMD Electronics is Planning for Tomorrow
The Art of Predictability : How Axiomise is Making Formal Verification Mainstream
The Rise of Smart Machines: How MicroAI is Accelerating the Development of Machines that Self Diagnose
Minding the SoC Verification Gap: How Breker’s Trek Apps Solve Specific Common Verification Challenges
Breaking Down Communication Barriers: How Altimade is Connecting Design, Supply Chain and Manufacturing
Adventures in Brain Computer Interfaces: How AE Studio is Advancing Innovation in the World of BCI
Lift Every Voice: How Sensory is Using AI to Pave the Way for Better Voice Technology
Verification for You and Me! DVCon U.S. 2022 and The New Cadence Midas Safety Platform
The Next Evolution of Robotics - InOrbit’s Plans for Robots and AI in the Workforce
Eliminating the Battery Altogether: How Powercast is Opening New Avenues of Innovation with RF Wireless Power and RF Wireless Harvesting
Changing the UI and UX Paradigm One Touch at a Time
One Standard to Rule them All: Matter and the Search for IoT Interoperatability
The Most Important Compute Workloads of a Generation: How Cerebras Systems is Accelerating AI’s Potential
Fish Fry Special Edition: Makers Today! Dr. Gough Lui
Create your
podcast in
minutes
It is Free
Urban Coffee
Less Than or Equal
TechVibe Radio
Tech 411 Show
Digital Production Buzz