Dependability enhancing mechanisms for integrated clinical environments
نویسندگان
چکیده
منابع مشابه
Enhancing Dependability of Cooperative Applications in Partitionable Environments
This paper presents a pragmatic approach to providing partition processing system support for cooperative applications. A method for specifying and programming application-level partition processing strategies is described. The system support is based on a partition typing mechanism which allows the application programmer to model the relative importance of partitions. This is combined with a s...
متن کاملEnhancing Dependability via Parameterized Refinement
A probabilistic extension of the re nement calculus has been successfully ap plied in the design of safety critical systems The approach is based on a rm mathematical foundation within which the reasoning about correctness and behavior of the system under construction is carried out The framework allows us also to obtain a quantitative assessment of the attributes of sys tem dependability In th...
متن کاملA Dependability Benchmark for OLTP Application Environments
The ascendance of networked information in our economy and daily lives has increased the awareness of the importance of dependability features. OLTP (On-Line Transaction Processing) systems constitute the kernel of the information systems used today to support the daily operations of most of the business. Although these systems comprise the best examples of complex business-critical systems, no...
متن کاملEnhancing Dependability of Medical Software Systems
Challenges to dependable design of medical systems. Medical software-based systems represent an important class of embedded systems. Along with many other classes of safety-critical embedded systems, such as avionics and automotive controllers, manufacturing, and mobile communication systems, medical systems are facing a number of challenges to their design process. There are two major factors ...
متن کاملEnhancing Dependability of Component-Based Systems
We present a method to add dependability features to component-based software systems. The method is applicable if the dependability features add new behavior to the system, but do not change its basic functionality. The idea is to start with a software architecture whose central component is an application component that implements the behavior of the system in the normal case. The application...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Supercomputing
سال: 2017
ISSN: 0920-8542,1573-0484
DOI: 10.1007/s11227-017-2003-0