The use of structured natural languages to capture requirements provides a reasonable
trade-off between ambiguous natural language and unintuitive formal notations. There are …

The complexity and flexibility of autonomous robotic systems necessitates a range of distinct
verification tools. This presents new challenges not only for design verification but also for …

Capturing and analyzing requirements of Cyber-Physical Systems (CPS) can be
challenging, since CPS models typically involve time-varying and real-valued variables …

Simulink is an example of a successful application of the paradigm of model-based
development into industrial practice. Numerous companies create and maintain Simulink …

Abstract [Context & motivation] Eliciting requirements that are detailed and logical enough to
be amenable to formal verification is a difficult task. Multiple tools exist for requirements …

Current practice in simulation and implementation of robot controllers is usually undertaken
with guidance from high-level design diagrams and pseudocode. Thus, no rigorous …

Model-based design tools like SCADE Suite and Simulink are often used to design safety-
critical embedded software. Consequently, generating correct code from such models is …

As a general trend in industrial robotics, an increasing number of safety functions are being
developed or re-engineered to be handled in software rather than by physical hardware …

Autonomous cooperative robotic systems are the future of space exploration. The complexity
of such systems makes their development, verification and assurance challenging. The …

Formal verification and simulation are powerful tools for the verification of requirements
against complex systems. Requirements are developed in early stages of the software …