Rethinking Software Systems - A Friendly Introduction to Behavioral Programming

Explore a novel programming paradigm in this 41-minute conference talk that introduces Behavioral Programming (BP) and its potential to transform software engineering. Learn about the principles of BP, including its modular and concurrent nature, and how it aligns with business requirements. Discover BPjs, an open-source toolset for running and verifying behavioral programs written in Javascript. Gain insights into formal verification techniques that can prove the reliability of critical system components, even in scripting languages. Follow along as the speaker demonstrates BP concepts through examples, including a "Hello, World!" program and a house model. Understand how BP can be applied to real-world scenarios, such as space applications and satellite controller prototypes. Delve into the verification process, runtime stack, and requirement alignment in BP systems. By the end of this talk, grasp the potential future of software engineering and how to start implementing BP concepts in your projects today.

Intro
Behavioral Programming (BP)
Modeling
Hello, world!
B-Program Life Cycle
Hello World Takeaways
House Model
Parsing into B-Threads - Code
Behaviors for a Space Cell
Behaviors for a Target Cell
Behaviors for a Start Cell
Runtime Stack
Requirement Alignment
Verification Detecting "Bad States"
Keeping the Robot Safe
Space Applications
BPjs a BP Tool Suite for JS