In automotive, railway, avionics, automation, and healthcare industries more and more functionality is implemented by embedded software. A failure of safetycritical software may cause high costs or even endanger human beings. Also for applications which are not highly safety-critical, a software failure may necessitate expensive updates. Contemporary safety standards – including DO-178B, DO-178...

BACKGROUND AND OBJECTIVE Iran's health system has developed a Farsi edition of the Hospital Safety Index (HSI) and has integrated the related assessment program into the health information system. This article presents the results of the 2015 estimation of hospital safety from disasters in I.R.Iran using HSI. METHODS We analyzed data from 421 hospitals that had submitted a complete HSI assess...

One of the primary concerns in developing computer embedded safety-critical systems is how to develop quality software. Software must fulll its functional requirements and must not contribute to the violation of safety properties of the entire system. To this end, capturing error free and satisfactory functional requirements is crucial before proceeding to the subsequent development phases. We ...

it is well known that a microperiodic function mapping a topological group into reals, which is continuous at some point is constant. we introduce the notion of a microperiodic multifunction, defined on a topological group with values in a metric space, and study regularity conditions implying an analogous result. we deal with vietoris and hausdorff continuity concepts.stability of microperiodi...

The virtual class 15] construct was rst introduced in the language Beta to provide added expressiveness when used with inheritance. Unfortunately, the virtual class construct in Beta is not statically type-safe. In this paper we show how a generalization of the semantics of object-oriented languages with a MyType construct leads to a variant of virtual classes which needs no run-time checks. Th...

The Virginia Internet safety program is the first statewide educational strategy to improve children's Internet safety. It aims to improve children's Internet safety knowledge through a developmentally appropriate and highly interactive online program. To assess the initial effect of this program, 1,379 fourth graders were assessed with a questionnaire covering ten aspects of Internet safety kn...

The use of an object oriented (OO) approach brings potentially large savings in terms of time and cost for developers of safety critical systems. OO systems have improved maintainability due to encapsulation, high cohesion and low coupling, and the facility for reuse through inheritance and design patterns. This raises specific challenges for developers of OO safety critical systems who wish to...

More and more devices of our everyday life are computerized with smart embedded systems and software-intensive electronics. Whenever these pervasive embedded systems interact with the physical world and have the potential to endanger human lives or to cause significant damage, they are considered safety-critical. To avoid any unreasonable risk originating from the failure of such systems, strin...