• Journal of Electrical Engineering and Technology
• /
• v.4 no.1
• /
• pp.87-92
• /
• 2009

Many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier errors of overlooked requirement specification can be detected using the formal specification method. Also, the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In this paper, we proposed an eclectic approach to incorporate Z(Zed) formal language and 'Statemate MAGNUM', formal method tools using Statechart. Also we applied the proposed method to train control systems for the formal requirement specification and analyzed the specification results.

• Journal of Institute of Control, Robotics and Systems
• /
• v.20 no.6
• /
• pp.657-662
• /
• 2014

Usually, spatial information can be incorporated into histograms by taking histograms of a multiresolution image. For these reasons, many researchers are interested in multiresolution histogram processing. If the relation and sensitivity of the multiresolution images are well combined without loss of information, we can obtain satisfactory results in several fields of image processing including histogram equalization, specification and pattern matching. In this paper, we propose a multiresolution histogram specification method that improves the accuracy of histogram specification. The multiresolution decomposition technique is used in order to overcome the unique feature of a histogram specification affected by a quantization error of a digitalized image. The histogram specification is processed after the reduction of image resolution in order to enhance the accuracy of the results by histogram specification methods. The experimental results show that the proposed method enhances the accuracy of specification compared to conventional methods.

• Journal of Institute of Control, Robotics and Systems
• /
• v.20 no.2
• /
• pp.175-179
• /
• 2014

The histogram specification turns the shape of a histogram into that we want to specify. This technique can be applied usefully in various image processing fields such as machine vision. However, the histogram specification technique has its basic limits. For instance, the histogram does not have location information of pixels. Also, the accuracy of the specification drops because of quantization errors of the digitized image. In this paper, we proposed a multiresolution histogram specification method in order to improve the accuracy of specification in terms of resemblance between destination and source image. The experimental results show that the proposed method enhances the accuracy of the specification compared to the conventional methods.

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.1000-1007
• /
• 2007

Recently, many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier error of overlooked requirement specification can be detected using formal specification method. Also the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In the comparison of other formal specification methods, we choose the Z formal language for applying to the train control system. Using Z is able to realize higher correctness in the requirement specification, and we propose the Statemate of the best solution in formal verification tools for the system modeling and verification. The Statemate makes it possible to prove thoroughly the system execution from the simple graphical modeling of the complicated train control system. Then we can expect that the model-based formal method combining Z with Statemate will be utilized widely for the railway systems due to various strong points.

• Journal of Internet Computing and Services
• /
• v.6 no.5
• /
• pp.1-9
• /
• 2005

In a role based access control through attribute certificate, the use of role assignment certificates and role specification certificates can reduce management cost and the overhead incurred by changing roles, Highly distributed computing environments such as ubiquitous computing environments not having global or broad control. need another attribute certificate management technique, Actually just having role specification certificate separately reduce management cost, But for better performance we structure role specification, We group roles and make the role group relation tree, It results secure and efficient role renewing and distribution, For scalable role specification certificate distribution, the multicasting of packets is used, We take into account the packet lass and quantify performance enhancements of structuring role specification certificates.

• Journal of Korean Society for Quality Management
• /
• v.7 no.2
• /
• pp.3-6
• /
• 1979

The Specification-Oriented Control Chart is obtained by moving from the tolerance limits toward the center line. And when chart are based on center lines, no automatic tie-in with tolerance is provided. The author recomend the Specification-Oriented Control Chart in instances where tolerance limits on the individual unit or product must be met.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1995.04a
• /
• pp.503-503
• /
• 1995

• The Journal of Korea Robotics Society
• /
• v.6 no.1
• /
• pp.34-41
• /
• 2011

This paper presents a frequency-response test performed on an antagonistic actuation system consisting of two Mckibben pneumatic artificial muscles and a pneumatic circuit. A linear model, capable of estimating the dynamic characteristics of the antagonistic system in the operating range of pneumatic artificial muscles, was optimally calculated based on frequency-response results and applied to a multiple simultaneous specification control scheme. Trajectory tracking results showed that the presented multiple simultaneous specification controller, built experimentally by three PD typed sample controllers, satisfied successfully all required control specifications; rising time, maximum overshoot, steady-state error.

• 제어로봇시스템학회:학술대회논문집
• /
• 2001.10a
• /
• pp.178.2-178
• /
• 2001

Today, many electronic devices and ECUs (Electronic Control Units) are used in the automotive body control systems. It becomes more common that these devices exchange data with others through an in-vehicle network. Automobile manufacturers concentrate their efforts on development of body control systems based on networks in order to save cost and to increase flexibility and safety. OSEK/VDX has been founded as a joint project in German and French automotive industry aiming at an industry standard for an open-ended architecture for distributed control units in vehicles OSEK/VDX consists of Communication (specification of data exchange within and between control units), Network Management specification of Configuration determination and monitoring and Operating System (specification of realtime executive for ECU software ...

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.6 no.8
• /
• pp.1325-1335
• /
• 2002

Workflow systems, automated business processing, have been generalized. In this paper, we propose a method to mine workflow specification on workflow logs. The method detects workflow specification considering cycle, AND and OR control flow between tasks. Also, we provide dynamic mining method to detect workflow specification in which log is generated.