Hospitals are a symbol of social welfare and the last refuge of patients, which is the most important issue of the health system. Patient safety is the first and most important issue for the health system.  Before COVID-19, the World Health Organization (WHO) defined the Hospital Safety Index (HSI) to measure hospital preparedness for disasters. During the COVID-19 crisis, hospitals faced many ...

Of special interest in verification are safety properties, which assert that the system always stays within some allowed region. For closed systems, the theoretical properties of safety properties as well as their practical advantages with respect to general properties are well understood. For open (a.k.a. reactive) systems, whose behavior depends on their on-going interaction with the environm...

Architects use a variety of techniques to evaluate designs for the desired levels of specific quality attributes. Reasoning frameworks are used to guide architecture definition by determining the extent to which a software architecture satisfies its quality requirements. There is much work on reasoning about quality attributes such as performance and modifiability but there has been little work...

Currently, the safety studies of the system (which are also collectively known as the safety case) cease or reduce in their utility after system certification, and with that, a vast amount of knowledge about the failure (or safe) behaviour of the system is usually rendered useless. In this thesis, we argue that this knowledge could be usefully exploited in the context of an appropriate on-line ...

This paper evaluates the suitability of Java as an implementation language for the foundations of a computer algebra library. The design of basic arithmetic and multivariate polynomial interfaces and classes have been presented in [1]. The library is type-safe due to its design with Java’s generic type parameters and thread-safe using Java’s concurrent programming facilities. We evaluate some k...