Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore how embedding functional ranges into source code can solve critical information loss between system design and implementation in this 23-minute conference talk from the Vector Code Quality Symposium 2024. Learn why moving away from default scalar types like int, char, and long enables stronger type safety and allows both static and dynamic checks to detect overflows, mismatches, and out-of-range values before they cause system failures. Discover practical approaches to functional safety, static analysis, and type safety techniques that can prevent embedded software issues at the source code level. Gain insights into how proper type design can bridge the gap between theoretical system specifications and actual implementation, ultimately leading to more robust and reliable embedded systems.
