An Augmented Framework for Formal Analysis of Safety Critical Systems
نویسندگان
چکیده
This paper presents an augmented framework for analyzing Safety Critical Systems (SCSs) formally. Due to high risk of failure, development process of SCSs is required more attention. Model driven approaches are the one of ways to develop SCSs for accomplishing critical and complex function what SCSs are supposed to do. Two model driven approaches: Unified Modeling Language (UML) and Formal Methods are combined in proposed framework which enables the analysis, designing and testing safety properties of SCSs more rigorously in order to reduce the ambiguities and enhance the correctness and completeness of SCSs. A real time case study has been discussed in order to validate the proposed framework.
منابع مشابه
Human Error Assessment in City Gate Stations of Isfahan Natural Gas Company Using the System for Predictive Error Analysis and Reduction Framework
Introduction: Human factor analysis has been identified as the most common cause of accidents in natural gas transportation and distribution facilities. The occurrence of accidents at these systems, especially gas reduction stations located in residential and industrial areas, has had catastrophic consequences. Therefore, this study aimed at analyzing critical tasks and human error assessment u...
متن کاملOASIS formal approach for distributed safety-critical real-time system design
OASIS provides an environment for real time multitasking and communication design, as well as an execution environment based on a safety oriented embedded real time kernel. The formal approach of real-time design avoids many difficulties: it allows implementing efficient advanced real-time functionalities without any safety loss. The concepts and methodology presented in this paper ensure the m...
متن کاملAdaptive Information Analysis in Higher Education Institutes
Information integration plays an important role in academic environments since it provides a comprehensive view of education data and enables mangers to analyze and evaluate the effectiveness of education processes. However, the problem in the traditional information integration is the lack of personalization due to weak information resource or unavailability of analysis functionality. In this ...
متن کاملAdaptive Information Analysis in Higher Education Institutes
Information integration plays an important role in academic environments since it provides a comprehensive view of education data and enables mangers to analyze and evaluate the effectiveness of education processes. However, the problem in the traditional information integration is the lack of personalization due to weak information resource or unavailability of analysis functionality. In this ...
متن کاملTowards a Uniform Framework for Dynamic Analysis of Access Control Models
Security-critical system requirements are increasingly enforced through mandatory access control systems. These systems are controlled by security policies, highly sensitive system components, which emphasizes the paramount importance of formally verified security properties regarding policy correctness. For the class of safety-properties, addressing potential dynamic right proliferation, a num...
متن کامل