This paper presents a new Beagle framework for Smart Contracts (SCs) taking account of
law. Different from previous SC development or execution frameworks, this framework takes …

This work presents a formal verification process based on the Systerel Smart Solver (S3)
toolset for the development of safety-critical embedded software. In order to guarantee the …

Using architectural patterns is of paramount importance for guaranteeing the correct
functionality, maintainability and modularity, especially for complex software systems. The …

Event‐B is a formal notation and method for the systems development. The key feature of
this method is to produce correct‐by‐construction system designs. Once the correct design …

This paper proposes a unified formal framework, Formal Framework For FLUID (F3FLUID),
for the development of safety‐critical interactive systems. This framework is based on the …

This paper presents a formal development approach for designing interactive applications
using a correct-by-construction approach. In this work, we propose a refinement strategy …

This paper reports our experience for develo** Human-Machine Interface (HMI)
complying with ARINC 661 specification standard for interactive cockpits applications using …

System engineering advocates an explicit modelling of domain knowledge at early stages of
the development cycle. Moreover, integrating contextual information and certification …

The design and implementation of safety-critical human-machine interface (HMI) software
typically follow the model-driven development process to guarantee secure reliability …

Using architectural patterns is of paramount importance for guaranteeing the correct
functionality, maintainability and modularity, especially for complex software systems. The …