This paper discusses extensions to the functional language Erlang which provide a secure execution environment for remotely sourced code. This is in contrast to much existing work which has focused on securing procedural languages. Using a language such as Erlang provides a high degree of inherent run-time safety, which means e ort can be focused on providing a suitable degree of system safety....

In this paper, we consider the problem of synthesizing low-complexity safety controllers for incrementally stable switched systems. For that purpose, we establish a new approximation result for the computation of symbolic models that are approximately bisimilar to a given switched system. The main advantage over existing results is that it allows us to design quantized switching controllers for...

The translation of temporal logic specifications constitutes an essential step in model checking and a major influence on the efficiency of formal verification via model checking. We devise a new explicit-state translation of Linear Temporal Logic to automata for the class of LTL specifications that describe safety properties, arguably the most used formal specifications in real-world systems. ...

Artistic sensibility is defined in this work as the sensitivity and capacity to appreciate act upon concerns of or pertaining art its production. This article contends that artistic inherent research. contention supported through three points which reveal a fourth: (1) Research requires dissemination. (2) Dissemination representation. (3) Representation sensibility. These considered conjunction...

Vacuity checking is traditionally performed after model checking has terminated successfully. It ensures that all the elements of the specification have played a role in its satisfaction by the system. The need to check the quality of specifications is even more acute in property-based design, where the specification is the only input, serving as a basis to the development of the system. Inhere...

BACKGROUND Research project risks are uncertain contingent events or situations that, if transpire, will have positive or negative effects on objectives of a project. The Management of Health and Safety at Work (MHSW) Regulations 1999 require all employers and the self-employed persons to assess the risks from their work on anyone who may be affected by their activities. Risk assessment is the ...

background: hospitals in iran are not prepared for disasters the aim of this study was to determine the effect of training functional and nonstructural hospital safety to nurses and their intervention on hospital preparedness in psychiatric razi hospital and day hospital in tehran based on hospital safety index (hsi). materials  and  methods:  this  semi-experimental  study  included  nurse  ma...