• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.43 no.7 s.349
• /
• pp.38-49
• /
• 2006

In this paper, a novel concept based on embedded processor and reconfigurable logic is proposed for efficient manufacturing test and design verification. Unlike traditional gap between design verification and manufacturing test, proposed concept is to combine both design verification and manufacturing test. The semiconductor chip which is using the proposed concept is named "SwToC" and SwToC stands for System with Test On a Chip. SwToC has two main features. First, it has functional verification function on a chip and this function could be made by using embedded processor, reconfigurable logic and memory. Second, it has internal ATE on a chip and this feature also could be made by the same architecture. To evaluate the proposed SwToC, we have implemented SwToC using commercial FPGA device with embedded processor. Experimental results showed that the proposed chip is possible for real application and could have faster verification time than traditional simulation method. Moreover, test could be done using low cost ATE.

• Journal of the Institute of Convergence Signal Processing
• /
• v.12 no.4
• /
• pp.309-314
• /
• 2011

As a system becomes more complex, a design relies more heavily on a methodology based on high-level abstraction and functional verification. SystemVerilog includes characteristics of hardware design language and verification language in the form of extensions to the Verilog HDL. However, the OOP of System Veri log does not allow multiple inheritance. In this paper, we propose adoption of SystemC to introduce multiple inheritance. After being created, a SystemC unit is combined with a SystemVerilog-based verification environment using SystemVerilog DPI and ModelSim macro. Employing multiple inheritance of SystemC makes a design of a verification environment simple and easy through source code reuse. Moreover, a verification environment including SysemC unit has a benefit of reconfigurability due to OOP.

• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.1465-1469
• /
• 2003

In general satellite verification process, the AOCS (Attitude & Orbit Control Subsystem) should be verified through several kinds of verification test which can be divided into two major category like FBT (Fixed Bed Test) and polarity test. And each test performed in different levels such as ETB (Electrical Test Bed) and satellite level. The test method of FBT is to simulate satellite dynamics with sensors and actuators supported by necessary environmental models in ETB level. The VDS (Vehicle Dynamic Simulator) try to make the real situation as possible as the on-board processor will undergo after launch. The purpose of FBT test is to verify that attitude control logic function and hardware interface is designed as expected with closed loop simulation. The VDS is one of major equipments for performing FBT and consists of software and hardware parts. The VDS operates in VME environments with target board, several commercial boards and custom boards based on the VxWorks real time operating system. In order to make time synchronization between VDS and satellite on-board processor, high reliable semaphore was implemented to make synchronization with the interrupt signal from on-board processor. In this paper, the real-time operating environment used on VDS equipment is introduced, and the hardware and software configurations of VDS summarized in the systematic point of view. Also, we try to figure out the operational concept of VDS and AOCS verification test method with close-loop simulation.

• Journal of the Society of Naval Architects of Korea
• /
• v.46 no.1
• /
• pp.57-68
• /
• 2009

In automotive industries, reusability of product information is increasing through database construction of previous product data. The product data is stored by data quality management in product information systems. For naval ships, have the functional similarity by the ships of the same classification and class, that are built by series. Information of hull structures as well as embarked equipments are similar. So it would be effective to use database systems that are considered product information quality of previous ships in design and production processes. In this paper we discuss product information quality in database construction of naval ship product models. For this, we propose a basic concept and reference model for data quality verification. Based on this concept, A verification guideline is defined and it is applied for the case study of the digital naval ship which was built to the naval ship product model.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.12 no.5
• /
• pp.828-836
• /
• 2008

This paper suggests a method for verification of temporal relations on SMIL 2.0 document using an extended temporal interval model. The SMIL 2.0 document has more asynchronous temporal relations and supports more interactive relations between objects than traditional SMIL document. But it is higher to produce temporal inconsistency by various interactive relations between objects. So the suggested verification method expresses SMIL 2.0 document as functional relations based on an extended temporal interval model and verifies SMIL 2.0 document using interactive relations and temporal intervals between objects. Applications to the verification method are as follows; multiuser interactive contents, online-learning, etc.

• International Journal of High-Rise Buildings
• /
• v.12 no.3
• /
• pp.251-262
• /
• 2023

In response to China's "Regulations on the Management of Earthquake Resistance of Building Constructions" on the provision of eight types of important buildings to maintain functional after fortified earthquakes occur, "Guidelines for Seismic Design of post-quake functional buildings (Draft for Review)" distinguishes Class I and Class II buildings, and gives the performance objectives and seismic verification requirements for design earthquakes and severe earthquakes respectively. In this paper, a hospital and a school building are selected as examples to design according to the requirements of fortification of Intensity 8 and 7 respectively. Two design strategies, the seismic isolation scheme and energy dissipation scheme, are considered which are evaluated through elastic-plastic dynamic time-history analysis to meet the requirement of post-quake functional buildings. The results show that the seismic isolation design can meet the requirements in the above cases, and the energy dissipation scheme is difficult to meet the requirements of the "Guidelines" on floor acceleration in some cases, for which the scheme shall be made valid through the seismic resilience assessment. The research in this paper can provide a reference for designers to choose schemes for post-quake functional buildings.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.4
• /
• pp.167-176
• /
• 2017

There are increasing policies and safeguards to prevent various human resource losses with the development of automotive industry. Currently ISO26262 $1^{st}$ edition has been released in 2011 to ensure functional safety of electrical and electronic systems and the $2^{nd}$ edition will be released in the second half of 2016 as part of a trend. The E/E (Electrical & Electronics) system requirements verification is required through walk-through, 인스펙션, semi-formal verification and formal verification in ISO 26262. This paper describe the efficiency of model checking for the E/E system requirements verification by applying the product development project of ASIL (Automotive Safety Integrity Level) D for the electrical parking brake system.

• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.1
• /
• pp.46-61
• /
• 2002

Among the many phases involved in software development, requirements analysis phase in generally considered to play a crucial role in determining the overall software quality. Therefore, many software development companies manages the phase as one of the important phase. Especially, safety assurance through requirements analysis for safety-critical systems is quite demanding, and national and international bodies routinely require safety demonstration. Among various approaches, inspection and formal methods are generally shown to be effective. In this paper, we propose a formal verification procedure for SCR(Software Cost Reduction)-style SRS(Software Requirements Specification) using the PVS specification and verification procedure and applied this procedure to an industrial system such that a shutdown system for Wolsung nuclear power plant. This system had been verified through inspection not formal verification. The application of formal methods is rare in Korea, so it is very important to experiment about formal verification to industrial systems.

• Journal of the Korea Society of Computer and Information
• /
• v.10 no.4 s.36
• /
• pp.385-396
• /
• 2005

In this paper, a new structural approach to on-line signature verification is presented. A primitive pattern is defined as a part segmented by a local minimal position of speed. And a structural description of signature is composed of subpatterns which are defined as such forms as rotation shape, cusp shape and bell shape, acquired by composition of the primitives regarding the directional changes. As the matching method to find identical parts between two signatures, a modified DP(dynamic programming) matching algorithm is presented. And also, variation and complexity of local parts are computed from the training samples, and reference model and decision boundary are derived from these. Error rate, execution time and memory usage are compared among the functional approach, the parametric approach and the proposed structural approach. It is found that the average error rate can be reduced from 14.2% to 4.05% when the local parts of a signature are weighted and the complexity is used as a factor of decision threshold. Though the error rate is similar to that of functional approaches. time consumption and memory usage of the proposed structural approach are shown to be very effective.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2008.04a
• /
• pp.33-38
• /
• 2008

For the propagation of elastic waves in unbounded domains, absorbing boundary conditions at the fictitious numerical boundaries have been proposed. Paraxial boundary conditions(PBCs) which are kinds of absorbing boundary conditions based on paraxial approximations of the scalar and elastic wave equations not only lead to well-posed problem but also are stable and computationally inexpensive. But the complex mathematical forms of PBCs with partial derivatives complicate the application of those to finite element analysis. In this paper a penalty functional is newly proposed for applying PBCs into finite element analysis and the existence and uniqueness of the extremum of the proposed functional is demonstrated. The numerical verification of the efficiency is carried out through comparing PBCs with a viscous boundary condition.