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 on...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.展开更多
Objective This study aimed to compare and analyze the clinical efficacy and safety of late-course and simultaneous integrated dose-increasing intensity-modulated radiation therapy(IMRT) for cervical cancer complicated...Objective This study aimed to compare and analyze the clinical efficacy and safety of late-course and simultaneous integrated dose-increasing intensity-modulated radiation therapy(IMRT) for cervical cancer complicated with pelvic lymph node metastasis. Methods Sixty patients with cervical cancer complicated with pelvic lymph node metastasis who were admitted to our hospital from January 2013 to January 2015 were enrolled. The patients were randomly divided into the late-course dose-increasing IMRT group and the simultaneous integrated dose-increasing IMRT group, with 30 cases included in each group, respectively. All patients were concurrently treated with cisplatin. After treatment, the clinical outcomes of the two groups were compared. Results The remission rate of symptoms in the simultaneous integrated dose-increasing IMRT group was significantly higher than that in the late-course dose-increasing IMRT group(P < 0.05). The follow-up results showed that the overall survival time, progression-free survival time, and distant metastasis time of patients in the simultaneous integrated dose-increasing IMRT group were significantly longer than those in the late-course dose-increasing IMRT group(P < 0.05). The recurrent rate of lymph nodes in the radiation field in the simultaneous integrated dose-increasing IMRT group was significantly lower(P < 0.05) than in the late-course dose-increasing IMRT group. There was no significant difference in the incidence of cervical and vaginal recurrence and distant metastasis between the two groups(P > 0.05). The radiation doses of Dmax in the small intestine, D1 cc(the minimum dose to the 1 cc receiving the highest dose) in the bladder, and Dmax in the rectum in the simultaneous integrated dose-increasing IMRT group were significantly lower(P < 0.05) than in the late-course dose-increasing IMRT group. There was no significant difference in intestinal D2 cc(the minimum dose to the 2 cc receiving the highest dose) between the two groups(P > 0.05). The incidence of bone marrow suppression in the simultaneous integrated dose-increasing IMRT group was significantly lower(P < 0.05) than in the late-course dose-increasing IMRT group.Conclusion The application of simultaneous integrated dose-increasing IMRT in the treatment of cervical cancer patients complicated with pelvic lymph node metastasis can significantly control tumor progression, improve the long-term survival time, and postpone distant metastasis time with high safety.展开更多
Formal methods are the mathematically techniques and tools which are used at early stages of software development lifecycle processes. The utter need of using formal methods in safety critical system leads to accuracy...Formal methods are the mathematically techniques and tools which are used at early stages of software development lifecycle processes. The utter need of using formal methods in safety critical system leads to accuracy, consistency and correctness in proposed system. In safety critical real time application, requirements should be unambiguous and very accurate which can be achieved by using mathematical theorems. There is utter need to focus on the requirement phase which is the most critical phase of SDLC. This paper focuses on the use of Z notation for incorporating the accuracy, consistency, and eliminates ambiguity in safety critical system: Road Traffic Management System as a case study. The syntax, semantics, type checking and domain checking are further verified by using Z/EVES: a Z notation type checker tool.展开更多
Safety-critical system (SCS) has highly demand for dependability, which requires plenty of resource to ensure that the system under test (SUT) satisfies the dependability requirement. In this paper, a new SCS rapid te...Safety-critical system (SCS) has highly demand for dependability, which requires plenty of resource to ensure that the system under test (SUT) satisfies the dependability requirement. In this paper, a new SCS rapid testing method is proposed to improve SCS adaptive dependability testing. The result of each test execution is saved in calculation memory unit and evaluated as an algorithm model. Then the least quantity of scenario test case for next test execution will be calculated according to the promised SUT's confidence level. The feedback data are generated to weight controller as the guideline for the further testing. Finally, a comprehensive experiment study demonstrates that this adaptive testing method can really work in practice. This rapid testing method, testing result statistics-based adaptive control, makes the SCS dependability testing much more effective.展开更多
New models of safety-critical systems are built here. In these systems, when co mponents fail, different defect states have different effects, hence need differ ent ways to measure. In the models, there are two kinds ...New models of safety-critical systems are built here. In these systems, when co mponents fail, different defect states have different effects, hence need differ ent ways to measure. In the models, there are two kinds of failure modes of the components: one could be called failed-safe, and the other may be named failed -dangerous. In practice, the so-called failed-dangerous components may lead a system to peril. However, failed-safe components will not. Reliability and saf ety issues are analyzed using Ion-Channel modeling theory to get count of repai rs and time duration before the system becomes dangerous. In the closing section a numerical example is presented to illustrate the results obtained in the pape r.展开更多
The tragic nature of safety-critical software failure’s consequences makes high quality and extreme reliability requirements in such types of software of paramount importance. Far too many accidents have been caused ...The tragic nature of safety-critical software failure’s consequences makes high quality and extreme reliability requirements in such types of software of paramount importance. Far too many accidents have been caused by software failure error or where such failure/error was part of the problem. Safety-critical software is widely applied in diverse areas, ranging from medical equipment to airborne systems. Currently, the trend in the use of safety-critical software in the aerospace industry is mostly concentrated on avionic systems. While standards for certification and development of safety-critical software have been developed by authorities and the industry, very little research has been done to address safety-critical software quality. In this paper, we study safety-critical software embedded in airborne systems. We propose a lifecycle specially modeled for the development of safety-critical software in compliance with the DO-178B standard and a software quality assurance (SQA) model based on a set of four acceptance criteria that builds quality into safety-critical software throughout its development.展开更多
Aviation electronics (avionics) are sophisticated and distributed systems aboard an airplane. The complexity of these systems is constantly growing as an increasing amount of functionalities is realized in software. T...Aviation electronics (avionics) are sophisticated and distributed systems aboard an airplane. The complexity of these systems is constantly growing as an increasing amount of functionalities is realized in software. Thanks to the performance increase, a hardware unit must no longer be dedicated to a single system function. Multicore processors for example facilitate this trend as they are offering an increased system performance in a small power envelope. In avionics, several system functions could now be integrated on a single hardware unit, if all safety requirements are still satisfied. This approach allows for further optimizations of the system architecture and substantial reductions of the space, weight and power (SWaP) footprint, and thus increases the transportation capacity. However, the complexity found in current safety-critical systems requires an automated software deployment process in order to tap this potential for further SWaP reductions. This article used a realistic flight control system as an example to present a new model-based methodology to automate the software deployment process. This methodology is based on the correctness-by-construction principle and is implemented as part of a systems engineering toolset. Furthermore, metrics and optimization criteria are presented which further help in the automatic assessment and refinement of a generated deployment. A discussion regarding a tighter integration of this approach in the entire avionics systems engineering workflow concludes this article.展开更多
Design Patterns, which give abstract solutions to commonly recurring design problems, have been widely used in the software and hardware domain. As non-functional requirements are an important aspect in the design of ...Design Patterns, which give abstract solutions to commonly recurring design problems, have been widely used in the software and hardware domain. As non-functional requirements are an important aspect in the design of safety-critical embedded systems, this work focuses on the integration of non-functional implications in an existing design pattern concept. We propose a pattern representation for safety-critical embedded application design methods by including fields for the implications and side effects of the represented design pattern on the non-functional requirements of the overall systems. The considered requirements include safety, reliability, modifiability, cost, and execution time.展开更多
The security assurance of computer-based systems that rely on safety and security</span><span style="font-family:'Minion Pro Capt','serif';"> </span><span style="fon...The security assurance of computer-based systems that rely on safety and security</span><span style="font-family:'Minion Pro Capt','serif';"> </span><span style="font-family:Verdana;">assurance, such as consistency, durability, efficiency and accessibility, require or need resources. This target</span><span style="font-family:Verdana;">s</span><span style="font-family:Verdana;"> the System-of-Systems (SoS) problems with the exception of difficulties and concerns that apply similarly to subsystem interactions on a single system and system-as-component interactions on a large information</span><span style="font-family:'Minion Pro Capt','serif';"> </span><span style="font-family:Verdana;">system. This research addresses security and information assurance for safety-critical systems, where security and safety </span><span style="font-family:Verdana;">are</span><span style="font-family:Verdana;"> addressed before going to actual implementation/development phase for component-based systems. For this purpose, require a conceptual idea or strategy that deals with the application logic security assurance issues. This may explore the vulnerability in single component or a reuse of specification in existing logic in component-based system. Keeping in view this situation, we have defined seven concepts of security assurance and security assurance design strategy for 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.
文摘Objective This study aimed to compare and analyze the clinical efficacy and safety of late-course and simultaneous integrated dose-increasing intensity-modulated radiation therapy(IMRT) for cervical cancer complicated with pelvic lymph node metastasis. Methods Sixty patients with cervical cancer complicated with pelvic lymph node metastasis who were admitted to our hospital from January 2013 to January 2015 were enrolled. The patients were randomly divided into the late-course dose-increasing IMRT group and the simultaneous integrated dose-increasing IMRT group, with 30 cases included in each group, respectively. All patients were concurrently treated with cisplatin. After treatment, the clinical outcomes of the two groups were compared. Results The remission rate of symptoms in the simultaneous integrated dose-increasing IMRT group was significantly higher than that in the late-course dose-increasing IMRT group(P < 0.05). The follow-up results showed that the overall survival time, progression-free survival time, and distant metastasis time of patients in the simultaneous integrated dose-increasing IMRT group were significantly longer than those in the late-course dose-increasing IMRT group(P < 0.05). The recurrent rate of lymph nodes in the radiation field in the simultaneous integrated dose-increasing IMRT group was significantly lower(P < 0.05) than in the late-course dose-increasing IMRT group. There was no significant difference in the incidence of cervical and vaginal recurrence and distant metastasis between the two groups(P > 0.05). The radiation doses of Dmax in the small intestine, D1 cc(the minimum dose to the 1 cc receiving the highest dose) in the bladder, and Dmax in the rectum in the simultaneous integrated dose-increasing IMRT group were significantly lower(P < 0.05) than in the late-course dose-increasing IMRT group. There was no significant difference in intestinal D2 cc(the minimum dose to the 2 cc receiving the highest dose) between the two groups(P > 0.05). The incidence of bone marrow suppression in the simultaneous integrated dose-increasing IMRT group was significantly lower(P < 0.05) than in the late-course dose-increasing IMRT group.Conclusion The application of simultaneous integrated dose-increasing IMRT in the treatment of cervical cancer patients complicated with pelvic lymph node metastasis can significantly control tumor progression, improve the long-term survival time, and postpone distant metastasis time with high safety.
文摘Formal methods are the mathematically techniques and tools which are used at early stages of software development lifecycle processes. The utter need of using formal methods in safety critical system leads to accuracy, consistency and correctness in proposed system. In safety critical real time application, requirements should be unambiguous and very accurate which can be achieved by using mathematical theorems. There is utter need to focus on the requirement phase which is the most critical phase of SDLC. This paper focuses on the use of Z notation for incorporating the accuracy, consistency, and eliminates ambiguity in safety critical system: Road Traffic Management System as a case study. The syntax, semantics, type checking and domain checking are further verified by using Z/EVES: a Z notation type checker tool.
基金the National 863 Program under Grant No. 2006AA01Z173.
文摘Safety-critical system (SCS) has highly demand for dependability, which requires plenty of resource to ensure that the system under test (SUT) satisfies the dependability requirement. In this paper, a new SCS rapid testing method is proposed to improve SCS adaptive dependability testing. The result of each test execution is saved in calculation memory unit and evaluated as an algorithm model. Then the least quantity of scenario test case for next test execution will be calculated according to the promised SUT's confidence level. The feedback data are generated to weight controller as the guideline for the further testing. Finally, a comprehensive experiment study demonstrates that this adaptive testing method can really work in practice. This rapid testing method, testing result statistics-based adaptive control, makes the SCS dependability testing much more effective.
基金Sponsored by 211 Project of Minzu University of China(021211030312)
文摘New models of safety-critical systems are built here. In these systems, when co mponents fail, different defect states have different effects, hence need differ ent ways to measure. In the models, there are two kinds of failure modes of the components: one could be called failed-safe, and the other may be named failed -dangerous. In practice, the so-called failed-dangerous components may lead a system to peril. However, failed-safe components will not. Reliability and saf ety issues are analyzed using Ion-Channel modeling theory to get count of repai rs and time duration before the system becomes dangerous. In the closing section a numerical example is presented to illustrate the results obtained in the pape r.
文摘The tragic nature of safety-critical software failure’s consequences makes high quality and extreme reliability requirements in such types of software of paramount importance. Far too many accidents have been caused by software failure error or where such failure/error was part of the problem. Safety-critical software is widely applied in diverse areas, ranging from medical equipment to airborne systems. Currently, the trend in the use of safety-critical software in the aerospace industry is mostly concentrated on avionic systems. While standards for certification and development of safety-critical software have been developed by authorities and the industry, very little research has been done to address safety-critical software quality. In this paper, we study safety-critical software embedded in airborne systems. We propose a lifecycle specially modeled for the development of safety-critical software in compliance with the DO-178B standard and a software quality assurance (SQA) model based on a set of four acceptance criteria that builds quality into safety-critical software throughout its development.
文摘Aviation electronics (avionics) are sophisticated and distributed systems aboard an airplane. The complexity of these systems is constantly growing as an increasing amount of functionalities is realized in software. Thanks to the performance increase, a hardware unit must no longer be dedicated to a single system function. Multicore processors for example facilitate this trend as they are offering an increased system performance in a small power envelope. In avionics, several system functions could now be integrated on a single hardware unit, if all safety requirements are still satisfied. This approach allows for further optimizations of the system architecture and substantial reductions of the space, weight and power (SWaP) footprint, and thus increases the transportation capacity. However, the complexity found in current safety-critical systems requires an automated software deployment process in order to tap this potential for further SWaP reductions. This article used a realistic flight control system as an example to present a new model-based methodology to automate the software deployment process. This methodology is based on the correctness-by-construction principle and is implemented as part of a systems engineering toolset. Furthermore, metrics and optimization criteria are presented which further help in the automatic assessment and refinement of a generated deployment. A discussion regarding a tighter integration of this approach in the entire avionics systems engineering workflow concludes this article.
文摘Design Patterns, which give abstract solutions to commonly recurring design problems, have been widely used in the software and hardware domain. As non-functional requirements are an important aspect in the design of safety-critical embedded systems, this work focuses on the integration of non-functional implications in an existing design pattern concept. We propose a pattern representation for safety-critical embedded application design methods by including fields for the implications and side effects of the represented design pattern on the non-functional requirements of the overall systems. The considered requirements include safety, reliability, modifiability, cost, and execution time.
文摘The security assurance of computer-based systems that rely on safety and security</span><span style="font-family:'Minion Pro Capt','serif';"> </span><span style="font-family:Verdana;">assurance, such as consistency, durability, efficiency and accessibility, require or need resources. This target</span><span style="font-family:Verdana;">s</span><span style="font-family:Verdana;"> the System-of-Systems (SoS) problems with the exception of difficulties and concerns that apply similarly to subsystem interactions on a single system and system-as-component interactions on a large information</span><span style="font-family:'Minion Pro Capt','serif';"> </span><span style="font-family:Verdana;">system. This research addresses security and information assurance for safety-critical systems, where security and safety </span><span style="font-family:Verdana;">are</span><span style="font-family:Verdana;"> addressed before going to actual implementation/development phase for component-based systems. For this purpose, require a conceptual idea or strategy that deals with the application logic security assurance issues. This may explore the vulnerability in single component or a reuse of specification in existing logic in component-based system. Keeping in view this situation, we have defined seven concepts of security assurance and security assurance design strategy for safety-critical systems.