This paper introduces a novel verification development platform for the passive UHF RFID tag,which is compatible with the ISO/IEC 18000-6B standard,operating in the 915MHz ISM band. This platform efficiently reduces t...This paper introduces a novel verification development platform for the passive UHF RFID tag,which is compatible with the ISO/IEC 18000-6B standard,operating in the 915MHz ISM band. This platform efficiently reduces the design and development time and cost, and implements a fast prototype design of the passive UHF RFID tag. It includes the RFID analog front end and the tag control logic, which is implemented in an Altera ACEX FPGA. The RFID analog front end, which is fabricated using a Chartered 0.35μm two-poly four-metal CMOS process, contains a local oscillator, power on reset circuit, matching network and backscatter, rectifier, regu- lator,AM demodulator, etc. The platform achieves rapid, flexible and efficient verification and development, and can also be fit for other RFID standards after changing the tag control logic in FPGA.展开更多
he design verification steps that take place in today’s automotive industry, which constitute the values of each successive or simultaneous phase in the new product development process, create a complex structure wit...he design verification steps that take place in today’s automotive industry, which constitute the values of each successive or simultaneous phase in the new product development process, create a complex structure with the inclusion of each new technology and discipline. Therefore, step by step, each design verification phase definition in the flow contains important phase transition measurements or approval tolerances that ensure the simplicity and continuity of vehicle development processes. In addition, classification of design verification stages within the framework of this study or evaluation in two classes (static and dynamic) is a new approach, but it is a synthesis with the analysis of the new product development process. The vehicle’s basic structure, which constitutes the ergonomic and functional requirements of the vehicle in a static environment, takes into account the dynamic environment variables with crash or accident tests. Increasing new technology adaptations in the automotive industry have changed the new product development process that performs this function structurally and created the concept of design verification under consecutive or simultaneous process simplicity. From the autonomous driving to the use of alternative energy, possible accident scenarios and design verification phase transitions in the integration of parts and systems of the newly developed vehicle create a new structure that models and directs the lean product development process especially in the automotive industry in the coming days. In the lean product development process that takes place in the automotive industry, the design verification transition steps or the approval-control analysis of the development stages, which form a new and effective approach, are re-modeling the entire flow. Therefore, successful execution of design verification steps used in the control of new interdisciplinary product development phase transitions provides value creation.?Within the scope of this study, the effectiveness of the static and dynamic design verification steps, which are carried out in 5 global automotive companies included in the research, which constitute the stage transitions of the new product development process, has been measured. Apart from the design verification transition stages, the process variables that differ among the automotive companies involved in the research are excluded from the scope of this study. In other words, in field researches in the automotive industry, new vehicle design steps or basic engineering steps in the new product development process steps, while creating independent fixed variables, interdisciplinary collaborations, static and dynamic design verification transition stages they perform, or their sequence in the basic flow, is accepted as a dependent variable. Therefore, in the study, the positive effect of the automotive companies that included the static and dynamic design verification phase transition approvals in the lean product development process was investigated. Under the comparative analysis structure of the research, the effect of automotive companies, which accept international vehicle specifications as static design verification input, on market performance has been examined in depth. The detailed depth in the comparison analysis conducted under the second field studies of the study is due to the prediction of dynamic design verification stages to provide a high impact on the market performance, according to the static verification analysis. The new product development stages of the dependent variables were fixed and the flow-oriented?“effect”?of the independent variables in the basic process influenced by the design verification activities was analyzed under the new automotive industry company comparisons. In addition, the impact of the automotive design activities that make up the comparison analysis of the research on the scope of the lean product development stage and its effect on the basic process flow has been demonstrated competition-oriented. Therefore, sub-variables, options, criteria, results, which form a defined comparison problem, create basic test values that affect the problem.展开更多
In the automotive industry, lean project</span></span></span><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Ver...In the automotive industry, lean project</span></span></span><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;">s</span></span></span></span><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;"> and innovation creation come to life by being updated under the control of systematic interdisciplinary process flows. The lean product development process that changes the shell, defined under the light of the variables created by the competitive conditions, is today measured by the value flow efficiency and the global market spread of the final product. Consequently, the lean product development approach, which aims to identify and purify all the wastes that do none value or create value to the system or cause burdens in the new product development process, is shaped by step-by-step approvals in the flow. In the main automotive industry company practices within the scope of the research (3 national, 3 international), the beginning of the concept of lean in design is to define and optimize the steps in the product development process under the value stream map. Therefore, the product function for which the customer has paid for, the function of the new product or the physical structure used to meet the needs in question, the comfort, life, experience, innovations of the scope that constitute the new product concept are planned and verified and implemented in the simplified automotive design stages at the beginning of the lean product development process. In this research, initial automotive design objectives and stages are at the focal point of the innovation and added value creation brought by the concept of </span></span></span></span><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;">“</span></span></span></span><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;">lean</span></span></span></span><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;">”</span></span></span></span><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;"> approach. The research is modelled on the determination of steps that do not create added value together with the points where the flow circuits’ or stems, the process is devalued, the interdisciplinary holistic studies intensify, the information and delay begin and end in the sequential and simultaneous design validation step transition stages, which are examined under the lean approach. As a visual and virtual tool that enables the elaboration of nominal values such as the total duration of the design verification stages and the influence of interdisciplinary stakeholders or the test level of the product design with the new product added, it reveals the value flow or losses. Hence research;from innovation creation and new product design steps, which constitute the initial stages of the lean product development process, to design verification analysis, the efficiency of the automotive company processes within the scope of the research has been measured by comparing using lean automotive design techniques, methods and concepts.展开更多
This white paper explores three popular development methodologies for network softwarization: DevOps, NetOps, and Verification. The paper compares and contrasts the strengths and weaknesses of each approach and provid...This white paper explores three popular development methodologies for network softwarization: DevOps, NetOps, and Verification. The paper compares and contrasts the strengths and weaknesses of each approach and provides recommendations for organizations looking to adopt network softwarization.展开更多
A safety design applies to every stage in a satellite system development life cycle to identify and analyze hazards in the satellite at a system level, eliminating or controlling various safety risks, while verifying ...A safety design applies to every stage in a satellite system development life cycle to identify and analyze hazards in the satellite at a system level, eliminating or controlling various safety risks, while verifying the functions of the satellite system have safety characteristics, so as to optimize the satellite system for the best performance in terms of time and cost. This article comprehensively leverages such factors as satellite reliability, complexity and life cycle by considering the overall satellite safety work plan, hazard analysis, hazard sources, pyrotechnic devices and other module safety critical designs. Safety design measures were formulated to review and verify the effectiveness of system functions including a safe power supply to a satellite and pyrotechnic explosives to achieve the safety requirements of the satellite from a development stage. Safety design activities for each subsystem will ensure meeting the development requirements of the satellite system as a whole, and ensure the satellite system cannot be the cause of casualties, equipment damage, property loss, or have a health-threatening impact or detrimental impact on the environment.展开更多
Modal and damage identification based on ambient excitation can greatly improve the efficiency of high-speed railway bridge vibration detection.This paper first describes the basic principles of stochastic subspace id...Modal and damage identification based on ambient excitation can greatly improve the efficiency of high-speed railway bridge vibration detection.This paper first describes the basic principles of stochastic subspace identification,peak-picking,and frequency domain decomposition method in modal analysis based on ambient excitation,and the effectiveness of these three methods is verified through finite element calculation and numerical simulation,Then the damage element is added to the finite element model to simulate the crack,and the curvature mode difference and the curvature mode area difference square ratio are calculated by using the stochastic subspace identification results to verify their ability of damage identification and location.Finally,the above modal and damage identification techniques are integrated to develop a bridge modal and damage identification software platform.The final results show that all three modal identification methods can accurately identify the vibration frequency and mode shape,both damage identification methods can accurately identify and locate the damage,and the developed software platform is simple and efficient.展开更多
Recently,a specific interest is being taken in the development of mobile application(app)via Model-Based User Interface Development(MBUID)approach.MBUID allows the generation of mobile apps in the target platform(s)fr...Recently,a specific interest is being taken in the development of mobile application(app)via Model-Based User Interface Development(MBUID)approach.MBUID allows the generation of mobile apps in the target platform(s)from conceptual models.As such it simplified the development process of mobile app.However,the interest is only focused on the functional aspects of the mobile app while neglecting the non-functional aspects,such as usability.The latter is largely considered as the main factor leading to the success or failure of any software system.This paper aims at addressing non-functional aspects of mobile apps generated using MBUID approach.As such,we propose a usability-driven approach for the development of mobile apps.The main stages of the proposed approach are defined in a generic way so that they can be integrated with any MBUID method.A case study is presented,in the paper,with the aim of illustrating the feasibility of this approach.展开更多
IEEE 1012 [1] describes the SDLC phase activities for software independent verification and validation (IV & V) for nuclear power plant in truly general and conceptual manner, which requires the upward and/or down...IEEE 1012 [1] describes the SDLC phase activities for software independent verification and validation (IV & V) for nuclear power plant in truly general and conceptual manner, which requires the upward and/or downward tailoring on its interpretation for practical IV & V. It contains crucial and encompassing check points and guidelines to analyze the design integrity, without addressing the formalized and the specific criteria for IV & V activities confirming the technical integrity. It is necessary to list up the inspection viewpoint via interpretation of the standard that is practical review points checking design consistency. For fruitful IV & V of Control Element Driving Mechanism Control System (CEDMCS) software for Yonggwang Nuclear Power Plant unit 3 & 4, the specific viewpoints and approach are necessary based on the guidelines of IEEE 1012 to enhance the system quality by considering the level of implementation of the theoretical and the practical IV & V. Additionally IV & V guideline of IEEE 1012 does not specifically provide the concrete measure considering the system characteristics of CEDMCS. This paper provides the seven (7) characteristic criteria for CEDMCS IV & V, and by applying these viewpoints, the design analysis such as function, performance, interface and exception, backward and forward requirement traceability analysis has been conducted. The requirement, design, implementation, and test phase were only considered for IV & V in this project. This article also provides the translation of code to map theoretical verification and validation into practical verification and validation. This paper emphasizes the necessity of the intensive design inspection and walkthrough for requirement phase to resolve the design faults because the IV & V of early phase of SDLC obviously contributes to find out most of critical design inconsistency. Especially for test phase IV & V, it is strongly recommended to prepare the test plan document which is going to be the basis for the test coverage selection and test strategy. This test plan document should be based on the critical characteristics of function and performance of CEDMCS. Also to guarantee the independency of V & V organization participating in this project, and to acquire the full package of design details for IV & V, the systematic approach and efforts with an aspect of management is highlighted among the participants.展开更多
Objective:Clinical practice guidelines can improve healthcare processes and patient outcomes;however,the quality of these guidelines varies greatly in China.The aim of this study was to construct a comprehensive instr...Objective:Clinical practice guidelines can improve healthcare processes and patient outcomes;however,the quality of these guidelines varies greatly in China.The aim of this study was to construct a comprehensive instrument for the appraisal of clinical practice guidelines in China(AGREE-CHINA),and to validate its reliability as a tool for helping potential guideline users in assessing guideline quality.Methods:First,an interdisciplinary working group was established for developing the methods.They also created a checklist as a tool according to the Appraisal of Guidelines,Research and EvaluationⅡ(AGREEⅡ)standards,considering the particularity of Chinese clinical practice.Next,the first draft of AGREE-China was developed by vote,modification,preliminary trial,and crossverification.To ensure the objectivity,credibility,and reproducibility of the draft assessment,all of the checklists and standards were cross-reviewed fairly widely.Fin ally,AGREE-CHINA and AGREEⅡwere used to assess the Chinese guideli nes published in the past five years,and the results were compared.Results:The presented AGREE-CHINA covered five main checkpoints(science and rigor,effectiveness and safety,economy,usability and feasibility,and conflicts of interest)with each point divided into several more specific checkpoints.Definitions and rationales for each main checkpoint appear in the Appendix.The quality ratings based on the total scores of AGREE-China and AGREEⅡwere consistent(r=0.508,P=0.020).Compared with AGREEⅡ,the study showed a higher level of interraterreliability for AGREE-CHINA overall(ICC=0.957,P<0.001).The mean time required for AGREE-CHINA was less than that for AGREEⅡ:this was approximately 30 minutes for every assessment.User satisfaction was generally high.Conclusions:This paper has presented the first edition of the AGREE-CHINA appraisal tool for clinical guidelines.It is quick and easy to use;it assesses and performs well in comparison to AGREEⅡ.This first version of AGREE-CHINA will require further development and validation.展开更多
THE first cytoplasmic male sterile soybean line was reported by Davis in a U.S. Patent, but no further information has been released since then. Sun et al. developed a cytoplasmic-nuclear male sterile soy-
Agile hardware development methodology has been widely adopted over the past decade.Despite the research progress,the industry still doubts its applicability,especially for the functional verification of complicated p...Agile hardware development methodology has been widely adopted over the past decade.Despite the research progress,the industry still doubts its applicability,especially for the functional verification of complicated processor chips.Functional verification commonly employs a simulation-based method of co-simulating the design under test with a reference model and checking the consistency of their outcomes given the same input stimuli.We observe limited collaboration and information exchange through the design and verification processes,dramatically leading to inefficiencies when applying the conventional functional verification workflow to agile development.In this paper,we propose workflow integration with collaborative task delegation and dynamic information exchange as the design principles to effectively address the challenges on functional verification under the agile development model.Based on workflow integration,we enhance the functional verification workflows with a series of novel methodologies and toolchains.The diff-rule based agile verification methodology(DRAV)reduces the overhead of building reference models with runtime execution information from designs under test.We present the RISC-V implementation for DRAV,DiffTest,which adopts information probes to extract internal design behaviors for co-simulation and debugging.It further integrates two plugins,namely XFUZZ for effective test generation guided by design coverage metrics and LightSSS for efficient fault analysis triggered by co-simulation mismatches.We present the integrated workflows for agile hardware development and demonstrate their effectiveness in designing and verifying RISC-V processors with 33 functional bugs found in NutShell.We also illustrate the efficiency of the proposed toolchains with a case study on a functional bug in the L2 cache of XiangShan.展开更多
Abstract： In the light of an increasing software complexity, many product variants and challenging market conditions, the automotive industry focuses two mitigation approaches： development processes and SW （softwar...Abstract： In the light of an increasing software complexity, many product variants and challenging market conditions, the automotive industry focuses two mitigation approaches： development processes and SW （software） architecture are standardized while model-driven software development technologies are progressively applied for series development. However, software architecture is subject to a continuous shift of requirements and boundary conditions. At the same time, process standards ensure necessary quality but also cause a dramatic increase of the SW development effort. There exists a methodical gap between process and market requirements on one hand and reusable standardized software functions with a high quality on the other. In this paper, an approach is presented that aims for the continuous extension of powertrain control software with increasing quality based on existing boundary conditions and a consequent methodical extension of existing technical concepts. We address this by the development of a sustainable software architecture which enables the safeguarding of consistent design principles and thus higher development efficiency. Moreover, it opens the door to a comprehensive quality assurance concept based on the agile software development principle Continuous Integration. Finally, the feasibility of this approach and software quality assessment results are shown by the application for a gasoline engine in the vehicle.展开更多
文摘This paper introduces a novel verification development platform for the passive UHF RFID tag,which is compatible with the ISO/IEC 18000-6B standard,operating in the 915MHz ISM band. This platform efficiently reduces the design and development time and cost, and implements a fast prototype design of the passive UHF RFID tag. It includes the RFID analog front end and the tag control logic, which is implemented in an Altera ACEX FPGA. The RFID analog front end, which is fabricated using a Chartered 0.35μm two-poly four-metal CMOS process, contains a local oscillator, power on reset circuit, matching network and backscatter, rectifier, regu- lator,AM demodulator, etc. The platform achieves rapid, flexible and efficient verification and development, and can also be fit for other RFID standards after changing the tag control logic in FPGA.
文摘he design verification steps that take place in today’s automotive industry, which constitute the values of each successive or simultaneous phase in the new product development process, create a complex structure with the inclusion of each new technology and discipline. Therefore, step by step, each design verification phase definition in the flow contains important phase transition measurements or approval tolerances that ensure the simplicity and continuity of vehicle development processes. In addition, classification of design verification stages within the framework of this study or evaluation in two classes (static and dynamic) is a new approach, but it is a synthesis with the analysis of the new product development process. The vehicle’s basic structure, which constitutes the ergonomic and functional requirements of the vehicle in a static environment, takes into account the dynamic environment variables with crash or accident tests. Increasing new technology adaptations in the automotive industry have changed the new product development process that performs this function structurally and created the concept of design verification under consecutive or simultaneous process simplicity. From the autonomous driving to the use of alternative energy, possible accident scenarios and design verification phase transitions in the integration of parts and systems of the newly developed vehicle create a new structure that models and directs the lean product development process especially in the automotive industry in the coming days. In the lean product development process that takes place in the automotive industry, the design verification transition steps or the approval-control analysis of the development stages, which form a new and effective approach, are re-modeling the entire flow. Therefore, successful execution of design verification steps used in the control of new interdisciplinary product development phase transitions provides value creation.?Within the scope of this study, the effectiveness of the static and dynamic design verification steps, which are carried out in 5 global automotive companies included in the research, which constitute the stage transitions of the new product development process, has been measured. Apart from the design verification transition stages, the process variables that differ among the automotive companies involved in the research are excluded from the scope of this study. In other words, in field researches in the automotive industry, new vehicle design steps or basic engineering steps in the new product development process steps, while creating independent fixed variables, interdisciplinary collaborations, static and dynamic design verification transition stages they perform, or their sequence in the basic flow, is accepted as a dependent variable. Therefore, in the study, the positive effect of the automotive companies that included the static and dynamic design verification phase transition approvals in the lean product development process was investigated. Under the comparative analysis structure of the research, the effect of automotive companies, which accept international vehicle specifications as static design verification input, on market performance has been examined in depth. The detailed depth in the comparison analysis conducted under the second field studies of the study is due to the prediction of dynamic design verification stages to provide a high impact on the market performance, according to the static verification analysis. The new product development stages of the dependent variables were fixed and the flow-oriented?“effect”?of the independent variables in the basic process influenced by the design verification activities was analyzed under the new automotive industry company comparisons. In addition, the impact of the automotive design activities that make up the comparison analysis of the research on the scope of the lean product development stage and its effect on the basic process flow has been demonstrated competition-oriented. Therefore, sub-variables, options, criteria, results, which form a defined comparison problem, create basic test values that affect the problem.
文摘In the automotive industry, lean project</span></span></span><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;">s</span></span></span></span><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;"> and innovation creation come to life by being updated under the control of systematic interdisciplinary process flows. The lean product development process that changes the shell, defined under the light of the variables created by the competitive conditions, is today measured by the value flow efficiency and the global market spread of the final product. Consequently, the lean product development approach, which aims to identify and purify all the wastes that do none value or create value to the system or cause burdens in the new product development process, is shaped by step-by-step approvals in the flow. In the main automotive industry company practices within the scope of the research (3 national, 3 international), the beginning of the concept of lean in design is to define and optimize the steps in the product development process under the value stream map. Therefore, the product function for which the customer has paid for, the function of the new product or the physical structure used to meet the needs in question, the comfort, life, experience, innovations of the scope that constitute the new product concept are planned and verified and implemented in the simplified automotive design stages at the beginning of the lean product development process. In this research, initial automotive design objectives and stages are at the focal point of the innovation and added value creation brought by the concept of </span></span></span></span><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;">“</span></span></span></span><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;">lean</span></span></span></span><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;">”</span></span></span></span><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;"> approach. The research is modelled on the determination of steps that do not create added value together with the points where the flow circuits’ or stems, the process is devalued, the interdisciplinary holistic studies intensify, the information and delay begin and end in the sequential and simultaneous design validation step transition stages, which are examined under the lean approach. As a visual and virtual tool that enables the elaboration of nominal values such as the total duration of the design verification stages and the influence of interdisciplinary stakeholders or the test level of the product design with the new product added, it reveals the value flow or losses. Hence research;from innovation creation and new product design steps, which constitute the initial stages of the lean product development process, to design verification analysis, the efficiency of the automotive company processes within the scope of the research has been measured by comparing using lean automotive design techniques, methods and concepts.
文摘This white paper explores three popular development methodologies for network softwarization: DevOps, NetOps, and Verification. The paper compares and contrasts the strengths and weaknesses of each approach and provides recommendations for organizations looking to adopt network softwarization.
文摘A safety design applies to every stage in a satellite system development life cycle to identify and analyze hazards in the satellite at a system level, eliminating or controlling various safety risks, while verifying the functions of the satellite system have safety characteristics, so as to optimize the satellite system for the best performance in terms of time and cost. This article comprehensively leverages such factors as satellite reliability, complexity and life cycle by considering the overall satellite safety work plan, hazard analysis, hazard sources, pyrotechnic devices and other module safety critical designs. Safety design measures were formulated to review and verify the effectiveness of system functions including a safe power supply to a satellite and pyrotechnic explosives to achieve the safety requirements of the satellite from a development stage. Safety design activities for each subsystem will ensure meeting the development requirements of the satellite system as a whole, and ensure the satellite system cannot be the cause of casualties, equipment damage, property loss, or have a health-threatening impact or detrimental impact on the environment.
文摘Modal and damage identification based on ambient excitation can greatly improve the efficiency of high-speed railway bridge vibration detection.This paper first describes the basic principles of stochastic subspace identification,peak-picking,and frequency domain decomposition method in modal analysis based on ambient excitation,and the effectiveness of these three methods is verified through finite element calculation and numerical simulation,Then the damage element is added to the finite element model to simulate the crack,and the curvature mode difference and the curvature mode area difference square ratio are calculated by using the stochastic subspace identification results to verify their ability of damage identification and location.Finally,the above modal and damage identification techniques are integrated to develop a bridge modal and damage identification software platform.The final results show that all three modal identification methods can accurately identify the vibration frequency and mode shape,both damage identification methods can accurately identify and locate the damage,and the developed software platform is simple and efficient.
基金supported by the Deanship of Scientific Research at Prince Sattam bin Abdulaziz University under the research project\#2021/01/17815.
文摘Recently,a specific interest is being taken in the development of mobile application(app)via Model-Based User Interface Development(MBUID)approach.MBUID allows the generation of mobile apps in the target platform(s)from conceptual models.As such it simplified the development process of mobile app.However,the interest is only focused on the functional aspects of the mobile app while neglecting the non-functional aspects,such as usability.The latter is largely considered as the main factor leading to the success or failure of any software system.This paper aims at addressing non-functional aspects of mobile apps generated using MBUID approach.As such,we propose a usability-driven approach for the development of mobile apps.The main stages of the proposed approach are defined in a generic way so that they can be integrated with any MBUID method.A case study is presented,in the paper,with the aim of illustrating the feasibility of this approach.
文摘IEEE 1012 [1] describes the SDLC phase activities for software independent verification and validation (IV & V) for nuclear power plant in truly general and conceptual manner, which requires the upward and/or downward tailoring on its interpretation for practical IV & V. It contains crucial and encompassing check points and guidelines to analyze the design integrity, without addressing the formalized and the specific criteria for IV & V activities confirming the technical integrity. It is necessary to list up the inspection viewpoint via interpretation of the standard that is practical review points checking design consistency. For fruitful IV & V of Control Element Driving Mechanism Control System (CEDMCS) software for Yonggwang Nuclear Power Plant unit 3 & 4, the specific viewpoints and approach are necessary based on the guidelines of IEEE 1012 to enhance the system quality by considering the level of implementation of the theoretical and the practical IV & V. Additionally IV & V guideline of IEEE 1012 does not specifically provide the concrete measure considering the system characteristics of CEDMCS. This paper provides the seven (7) characteristic criteria for CEDMCS IV & V, and by applying these viewpoints, the design analysis such as function, performance, interface and exception, backward and forward requirement traceability analysis has been conducted. The requirement, design, implementation, and test phase were only considered for IV & V in this project. This article also provides the translation of code to map theoretical verification and validation into practical verification and validation. This paper emphasizes the necessity of the intensive design inspection and walkthrough for requirement phase to resolve the design faults because the IV & V of early phase of SDLC obviously contributes to find out most of critical design inconsistency. Especially for test phase IV & V, it is strongly recommended to prepare the test plan document which is going to be the basis for the test coverage selection and test strategy. This test plan document should be based on the critical characteristics of function and performance of CEDMCS. Also to guarantee the independency of V & V organization participating in this project, and to acquire the full package of design details for IV & V, the systematic approach and efforts with an aspect of management is highlighted among the participants.
基金This work was supported by the Entrusted Project of the Medical Management Center of the National Health and Family Planning Commission(2109901)Evidence-based public health and health economics of the fourth-round public health three-year action plan of Shanghai(15GWZK0901).
文摘Objective:Clinical practice guidelines can improve healthcare processes and patient outcomes;however,the quality of these guidelines varies greatly in China.The aim of this study was to construct a comprehensive instrument for the appraisal of clinical practice guidelines in China(AGREE-CHINA),and to validate its reliability as a tool for helping potential guideline users in assessing guideline quality.Methods:First,an interdisciplinary working group was established for developing the methods.They also created a checklist as a tool according to the Appraisal of Guidelines,Research and EvaluationⅡ(AGREEⅡ)standards,considering the particularity of Chinese clinical practice.Next,the first draft of AGREE-China was developed by vote,modification,preliminary trial,and crossverification.To ensure the objectivity,credibility,and reproducibility of the draft assessment,all of the checklists and standards were cross-reviewed fairly widely.Fin ally,AGREE-CHINA and AGREEⅡwere used to assess the Chinese guideli nes published in the past five years,and the results were compared.Results:The presented AGREE-CHINA covered five main checkpoints(science and rigor,effectiveness and safety,economy,usability and feasibility,and conflicts of interest)with each point divided into several more specific checkpoints.Definitions and rationales for each main checkpoint appear in the Appendix.The quality ratings based on the total scores of AGREE-China and AGREEⅡwere consistent(r=0.508,P=0.020).Compared with AGREEⅡ,the study showed a higher level of interraterreliability for AGREE-CHINA overall(ICC=0.957,P<0.001).The mean time required for AGREE-CHINA was less than that for AGREEⅡ:this was approximately 30 minutes for every assessment.User satisfaction was generally high.Conclusions:This paper has presented the first edition of the AGREE-CHINA appraisal tool for clinical guidelines.It is quick and easy to use;it assesses and performs well in comparison to AGREEⅡ.This first version of AGREE-CHINA will require further development and validation.
文摘THE first cytoplasmic male sterile soybean line was reported by Davis in a U.S. Patent, but no further information has been released since then. Sun et al. developed a cytoplasmic-nuclear male sterile soy-
基金supported in part by the Strategic Priority Research Program of Chinese Academy of Sciences(CAS)under Grant No.XDC05030200the National Key Research and Development Program of China under Grant No.2022YFB4500403+2 种基金the National Natural Science Foundation of China under Grant Nos.62090022 and 62172388the Youth Innovation Promotion Association of the Chinese Academy of Sciences under Grant No.2020105the Innovation Grant No.E261100 by Institute of Computing Technology,Chinese Academy of Sciences.
文摘Agile hardware development methodology has been widely adopted over the past decade.Despite the research progress,the industry still doubts its applicability,especially for the functional verification of complicated processor chips.Functional verification commonly employs a simulation-based method of co-simulating the design under test with a reference model and checking the consistency of their outcomes given the same input stimuli.We observe limited collaboration and information exchange through the design and verification processes,dramatically leading to inefficiencies when applying the conventional functional verification workflow to agile development.In this paper,we propose workflow integration with collaborative task delegation and dynamic information exchange as the design principles to effectively address the challenges on functional verification under the agile development model.Based on workflow integration,we enhance the functional verification workflows with a series of novel methodologies and toolchains.The diff-rule based agile verification methodology(DRAV)reduces the overhead of building reference models with runtime execution information from designs under test.We present the RISC-V implementation for DRAV,DiffTest,which adopts information probes to extract internal design behaviors for co-simulation and debugging.It further integrates two plugins,namely XFUZZ for effective test generation guided by design coverage metrics and LightSSS for efficient fault analysis triggered by co-simulation mismatches.We present the integrated workflows for agile hardware development and demonstrate their effectiveness in designing and verifying RISC-V processors with 33 functional bugs found in NutShell.We also illustrate the efficiency of the proposed toolchains with a case study on a functional bug in the L2 cache of XiangShan.
文摘Abstract： In the light of an increasing software complexity, many product variants and challenging market conditions, the automotive industry focuses two mitigation approaches： development processes and SW （software） architecture are standardized while model-driven software development technologies are progressively applied for series development. However, software architecture is subject to a continuous shift of requirements and boundary conditions. At the same time, process standards ensure necessary quality but also cause a dramatic increase of the SW development effort. There exists a methodical gap between process and market requirements on one hand and reusable standardized software functions with a high quality on the other. In this paper, an approach is presented that aims for the continuous extension of powertrain control software with increasing quality based on existing boundary conditions and a consequent methodical extension of existing technical concepts. We address this by the development of a sustainable software architecture which enables the safeguarding of consistent design principles and thus higher development efficiency. Moreover, it opens the door to a comprehensive quality assurance concept based on the agile software development principle Continuous Integration. Finally, the feasibility of this approach and software quality assessment results are shown by the application for a gasoline engine in the vehicle.
