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).
To the Sky and Beyond: Interface Concept’s Mission-Critical Solutions and Robots for Lunar Exploration
Open Silicon Photonics and How OpenLight is Changing the Future of Photonic-Electronic Integration
New Avenues of IoT Exploration: TDK’s SmartRobotics™, SmartMotion® and SmartSound™ Solutions
Flying to the Future: 100G VPX and the Alef Model A
On Your Mark, Get Designing! How Avnet is Accelerating Internet of Things Design with IoTConnect
All Charged Up! Grid Forward Plots a Path to Electric Grid Modernization
Designing the Future: The Design Automation Conference Celebrates 60 Years!
The Rise of Software-Defined Vehicles: How Infineon is Driving Automotive Innovation with World’s First LPDDR Flash
The Network-on-Chip Pioneer: How Arteris Enabling SoC Developers to Create Physically Valid NoCs Faster
Calling All Software Developers! How CacheQ is Accelerating Code Across Heterogeneous Compute Platforms
Intelligent Modularity and a Holistic Approach for Rugged System Development
A New Architecture for Electrification: How Enovix is Building a Better Battery
The Future is Hyperspectral: How imec is Advancing Surgical Vision
Green Fields of Opportunity: How RISC-V is Changing the Way Our Industry Works
EDA in the Fast Lane: How a New Generation of AI-Driven Verification is Changing Design Automation
Accelerating Success: How Lattice Semiconductor is Furthering Mid-Range FPGA Innovation
Everything is Connected, Everything is At Risk: How Intrinsic ID is Helping Create a World that Can be Trusted
High Tech Heavyweights: EDA Legend Giovanni De Micheli
The Soft Robot Revolution: imec Develops Robotic Systems That Can Self Heal and Feel Pain
Matter to the Rescue: Solving the Challenges of IoT Interoperability and Compatibility
Create your
podcast in
minutes
It is Free
Urban Coffee
Less Than or Equal
TechVibe Radio
Tech 411 Show
Digital Production Buzz