This paper presents BPpy, a novel framework for behavioral programming (BP) in Python.
Designed with a flexible architecture, BPpy is crafted for easy integration with various Python …

With the increasing complexity of Cyber-Physical Systems, their behavior and decisions
become increasingly difficult to understand and comprehend for users and other …

We introduce Spectra, a new specification language for reactive systems, specifically
tailored for the context of reactive synthesis. The meaning of Spectra is defined by a …

The development of safety-relevant systems in the automotive industry requires the
definition of high-quality requirements and tests for the coordination and monitoring of …

Context: Modern systems require programmers to develop code that dynamically adapts to
different contexts, leading to the evolution of new context-oriented programming languages …

Over recent decades, scenarios and scenario-based software/system engineering have
been actively employed as essential tools to handle intricate problems, validate …

Currently, practitioners follow a top-down approach in automotive development projects.
However, recent studies have shown that this top-down approach is not suitable for the …

The manual modeling of complex systems is a daunting task; and although a plethora of
methods exist that mitigate this issue, the problem remains very difficult. Recent advances in …

Scenario-Based Programming is a methodology for modeling and constructing complex
reactive systems from simple, stand-alone building blocks, called scenarios. These …

We present unified and extensible semantics for Behavioral Programming (BP). The
presented semantics support a direct embedding of executable models in regular software …