This paper proposes Archface, an interface mechanism for bridging the gap between
architectural design and its implementation. Archface, which encapsulates design essence …

The growing complexity and diversity of models used for engineering dependable systems
implies that a variety of formal methods, across differing abstractions, paradigms, and …

Abstract Design-by-contract is an important technique for model-based design in which a
composite system is specified by a collection of contracts that specify the behavioural …

State-machine based notations are ubiquitous in the description of component systems,
particularly in the robotic domain. To ensure these systems are safe and predictable, formal …

Given the considerable ongoing research interest in collaborative multidisciplinary
modelling and co-simulation, it is worth considering the features of model-based techniques …

Hoare and He's unifying theories of programming (UTP) provide a collection of relational
models that can be used to study and compare several programming paradigms. In this …

Abstract Safety-Critical Java (SCJ) is a novel version of Java that addresses issues related
to real-time programming and certification of safety-critical applications. In this paper, we …

This position paper proposes a refinement technique for the development of Safety-Critical
Java (SCJ) programs. It is based on the Circus family of languages, which comprises …

Abstract Safety-Critical Java (SCJ) is a version of Java for real-time programming, restricted
to facilitate certification of implementations of safety-critical systems. Its development is the …

Abstract Safety-Critical Java (SCJ) is a version of Java for real-time programming that
facilitates certification of implementations of safety-critical systems. It is the result of an …