Applying guidelines for system modelling in Event-B - a systematic literature review

Abstract

IJCCBS covers all topics related to the engineering of computer-based systems (CBS) employed in mission and safety-critical applications. CBS feature increasingly large, distributed and heterogeneous architectures, which complicate their design and analysis. CBS are not isolated computer systems: context awareness, environmental factors and interaction with systems of different natures have become important aspects. Furthermore, dependability, resiliency, trustworthiness, survivability and performability are some of the many essential and non-elementary properties which often need to be predicted and demonstrated for such systems.