• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.16 no.2
• /
• pp.1-11
• /
• 2008

Increasing demand for improved reliability and survivability of mission-critical systems is driving the development of health monitoring and Automated Contingency Management (ACM) systems. An ACM system is expected to adapt autonomously to fault conditions with the goal of still achieving mission objectives by allowing some degradation in system performance within permissible limits. ACM performance depends on supporting technologies like sensors and anomaly detection, diagnostic/prognostic and reasoning algorithms. This paper presents the development of a generic prototype test bench software framework for developing and validating ACM systems for advanced propulsion systems called the Propulsion ACM (PACM) Test Bench. The architecture has been implemented for a Monopropellant Propulsion System (MPS) to demonstrate the validity of the approach. A Simulink model of the MPS has been developed along with a fault injection module. It has been shown that the ACM system is capable of mitigating the failures by searching for an optimal strategy. Furthermore, the concepts of Validation and Verification (V&V) of such systems are introduced with relevant examples.

• Journal of KIISE:Software and Applications
• /
• v.30 no.12
• /
• pp.1158-1171
• /
• 2003

The UML is a widely accepted standard in object-oriented modeling. As the UML is semantically rich, we can describe in detail the system that will be developed, but we cannot guarantee the correctness and consistency of the designed model. Therefore, it is important to minimize the error by verifying user models in an early stage. In this paper, we propose a method for verifying the consistency of UML structural diagrams and behavioral diagrams using OCL verification rules and meta-metamodel. The consistency is a nature for checking whether the structural diagrams and behavioral diagrams are coherently designed according to a specific requirement. First we build meta-metamodels of the structural diagram and behavioral diagram that are described with the UML diagrams and the related elements, we derive rules for verifying the consistency from each meta-metamodels, and then formally specify with the language such as OCL for automatic verification. Finally, we verify the usefulness of the rule through a case study.

• Asian Pacific Journal of Cancer Prevention
• /
• v.13 no.4
• /
• pp.1709-1710
• /
• 2012

Cancer is a major public health problem in Indonesia, becoming the 7th largest cause of death based on a national survey in 2007, accounting for 5.7 of all mortality. A cancer registry was started in 1970, but it was partial and was stopped mainly because no government body was responsible. Realizing the above situation, the Indonesian government established the Sub Directorate of Cancer Control within the Ministry of Health, with responsibility for developing a national cancer control program, including a cancer registry. A sustainable cancer registry was then started in 2007 within Jakarta Province, first hospital-based but then expanded to be population-based. Steps of cancer registration in Jakarta are data collection, data verification, data validation, data management and analysis, and data publication. Data collection is conducted by health facilities (hospitals, laboratories, primary health centers) at the district/municipal level, with reports to the provincial level. Data are collected passively by holding meetings every three months in the district/municipality. Verification of data is the responsibility of the medical doctor or pathologist in each data source. Data validation is conducted by a team in the cancer registry, consisting of district/municipal/province health officers, pathologists, and registrars. Data management and analyses are conducted by a cancer registry team at the provincial level, assisted by the national team. We use software named Indonesian Cancer Registry System (SRIKANDI) which is adopted from CanReg4 IARC. Data from the population-based cancer registry in Jakarta Province showed the leading cancers among females in 2005-2007 to be breast cancer, cervical cancer, ovarian cancer, colorectal cancer and among males are bronchus and lung cancer, colorectal cancer, liver cancer, pharyngeal cancer, and prostate cancer. The leading childhood cancers are leukaemia and retinoblastoma.

• Mass Spectrometry Letters
• /
• v.1 no.1
• /
• pp.21-24
• /
• 2010

The development of clinical biomarkers involves discovery, verification, and validation. Recently, multiple reaction monitoring (MRM) coupled with stable isotope dilution mass spectrometry (IDMS) has shown considerable promise for the direct quantification of proteins in clinical samples. In particular, multiple biomarkers have been tracked in a single experiment using MRM-based MS approaches combined with liquid chromatography. We report here a highly reproducible, quantitative, and dynamic MRM system for validating multi-biomarker proteins using Nanoflow HPLC-Microfluidics Chip/Triple-Quadrupole MS. In this system, transitions were acquired only during the retention window of each eluting peptide. Transitions with the highest MRM-MS intensities for the five target peptides from colon cancer biomarker candidates were automatically selected using Optimizer software. Relative to the corresponding non-dynamic system, the dynamic MRM provided significantly improved coefficients of variation in experiments with large numbers of transitions. Linear responses were obtained with concentrations ranging from fmol to pmol for five target peptides.

• The KIPS Transactions:PartD
• /
• v.18D no.6
• /
• pp.451-460
• /
• 2011

The ability to trace change history and dependency relations of software artifacts which are continuously changed has been recognized as an important factor that support quality management activities such as verification, validation, and testing in software system development process. General software configuration management systems provide tracing information for artifacts only within the configuration management system, and it does not go further to changes that occur within personal workspace. This paper provides a solution that helps tracing down not only changes of configuration items but also change history of artifacts existent in personal workspace through the integration of configuration management system and personal workspace. Furthermore, in cases of artifacts which are included in a configuration item, this paper provides a solution that support tracing dependency relations between the artifacts by identifying their version links. For the integration of configuration management system and personal workspace, a revision of configuration item is connected to the artifact's version of the workspace by the tagging mechanism, and traceability for change history and dependency relations of artifacts can be managed more effectively through integrated change process.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.16 no.9
• /
• pp.5802-5809
• /
• 2015

Railway signaling system is the vital control system in charge of the core for safely train operation, its functional safety must be checked through sufficient verification. Until now, to verify the interoperability of developed railway signaling system, the on-site testing approaches have been applied after testing in laboratory with simulator. This approaches are some limited range of interoperable verification, so more systematic verification interoperability is required. In this paper, the three phases of interoperability verification for railway signaling system was proposed, and methodology for each phases are represented. And also The interoperability validation methodology and supported testing tool for railway signaling system is represented in this paper

• ETRI Journal
• /
• v.17 no.3
• /
• pp.1-16
• /
• 1995

An advanced real-time satellite simulator (ARTSS) has been developed to support the ground operations activities of the ETRI satellite control system, such as testing of the system facilities, validation of flight control procedures, verification of satellite commands as well as training of the ground operators. The design of ARTSS is based on the top-down approach and makes use of a modular programming to ensure flexibility in modification and expansion of the system. Graphics-based monitoring and control facilities enhance the satellite simulation environment. The software spacecraft model in ARTSS simulates the characteristics of a geostationary communication satellite using a momentum bias three-axis stabilization control technique. The system can be also interfaced with a hardware payload subsystem such as Ku-band communication transponder to enhance the simulator capability. Therefore, ARTSS is a high fidelity satellite simulation tool that can be used on low-cost desk top computers. In this paper, we describe the design features, the simulation models and the real-time operating functions of the simulator.

• Proceedings of the KSR Conference
• /
• 2010.06a
• /
• pp.1669-1679
• /
• 2010

Related to the on-going "Train Control System Project of Pilot Line Construction for Urban MAGLEV Train", activities by each phase shall be conducted to achieve SIL4 level and obtain safety certification from the Independent Safety Assessment(ISA), based on the IEC standards((IEC 62278/62279 and IEC 62425) for the first time in Korea. This thesis describes the introduction of IEC standards, system assurance activities (such as plan, analysis, test, verification and validation) in compliance with requirements management and project life-cycle and relations with the safety assessment activities; and certification activities (such as document reviews and audits) through system RAMS activities, software quality assurance activities and safety assessment, for the purpose of achieving a successful safety certification at the time of completing the project as system assurance activities including software and safety certification activities in order to acquire the safety certification for train control system which does not exist at all in domestic cases. It is believed that overall system safety assurance activities in this project will contribute to develop more upgraded products of the domestic train control system on the quality and safety point of view, find overseas markets and establish a bridgehead in the future.

• The Journal of Korea Robotics Society
• /
• v.16 no.4
• /
• pp.327-335
• /
• 2021

In this paper, we propose an embedded robot system based on "ROS2 on Yocto" that can support various robots. We developed a lightweight OS based on the Yocto Project as a next-generation robot platform targeting cloud robotics. Yocto Project was adopted for portability and scalability in both software and hardware, and ROS2 was adopted and optimized considering a low specification embedded hardware system. We developed SLAM, navigation, path planning, and motion for the proposed robot system validation. For verification of software packages, we applied it to home cleaning robot and indoor delivery robot that were already commercialized by LG Electronics and verified they can do autonomous driving, obstacle recognition, and avoidance driving. Memory usage and network I/O have been improved by applying the binary launch method based on shell and mmap application as opposed to the conventional Python method. Finally, we verified the possibility of mass production and commercialization of the proposed system through performance evaluation from CPU and memory perspective.

• Journal of Applied Reliability
• /
• v.14 no.4
• /
• pp.248-255
• /
• 2014

Nuclear power plants may use commercial grade items if they can pass special tests or inspections, which is called Commercial Grade Item Dedication (CGID). Digital items, however, should follow EPRI TR-106439 to be applied to nuclear power plants. This paper explains the scheme and requirements of the EPRI TR-106439 and introduces some guidelines. Firstly, in order to clarify requirements of the EPRI TR-106439, code interpretation is performed. And through case study of digital indicator, limitations of EPRI TR-106439 are mentioned, and improvement direction is proposed.