• Title/Summary/Keyword: Prototyping language

Search Result 21, Processing Time 0.042 seconds

Service Prototype Description Language for Virtual Service Laboratory (서비스 가상 실험을 위한 서비스 프로토타입 기술 언어 개발)

  • Lee, Jin-Sung;Oh, Kyu-Hyup;Park, Chi-Hyung;Kim, Sang-Kuk;Jung, Jae-Yoon;Kim, Bo-Hyun
    • Journal of the Korean Operations Research and Management Science Society
    • /
    • v.36 no.4
    • /
    • pp.91-107
    • /
    • 2011
  • The importance of service industries is growing as the portion of the service sector increases fast in the recent decades. This research deals with service prototyping and testing in a service laboratory. While products are generally tested through prototyping in new product development processes, services are difficult to test because of the characteristic of service, intangibility. A service laboratory, named s-Scape, is the experiment environment which has been developed to test services in virtual space for the purpose of analysis and improvement of real-world services such as hospitals and automobile show rooms. In this research, we present a service prototyping tool and language to support service test in the service laboratory. We first analyze key elements of service prototypes, and then design the service prototype diagram (SPD) and the service prototype description language (SPDL). SPD, which is a variant of the service blueprint, is a graphical tool to be used to generate SPDL. SPDL is an executable language of describing a service prototype of a real-world service in extensible markup language (XML) to experiment the service environment in virtual space. SPD reflects the control and interface of virtual reality devices, as well as key elements of service modeling. SPD represents a service process in which service providers and customers interact with each other in a service scape.

Virtual Prototyping of Progrmmable Logic Controller based Real-time Systems (PLC를 적용한 실시간 시스템의 가상 프로토타이핑)

  • 천성욱;강순주서대화
    • Proceedings of the IEEK Conference
    • /
    • 1998.10a
    • /
    • pp.735-738
    • /
    • 1998
  • To develop an effective virtual prototyping methodology for the PLC(Programmable Logic Controller) based real-time systems, a conversion algorithm from RLL(Relay Ladder Logic) to statechart is presented in this paper. The RLL is the main programming language to represent the operation of the PLC, and the statechart is the most widely used tool in the field of virtual prototyping in order to represent the behaviour of real-time systems. A virtual prototyping for an example case is implemened to evaluate the benefit of the proposed algorithm.

  • PDF

Educational Framework for Interactive Product Prototyping

  • Nam Tek-Jin
    • Archives of design research
    • /
    • v.19 no.3 s.65
    • /
    • pp.93-104
    • /
    • 2006
  • When the design profession started, design targets were mainly static hardware centered products. Due to the development of network and digital technologies, new products with dynamic and software-hardware hybrid interactive characteristics have become one of the main design targets. To accomplish the new projects, designers are required to learn new methods, tools and theories in addition to the traditional design expertise of visual language. One of the most important tools for the change is effective and rapid prototyping. There have been few researches on educational framework for interactive product or system prototyping to date. This paper presents a new model of educational contents and methods for interactive digital product prototyping, and it's application in a design curricula. The new course contents, integrated with related topics such as physical computing and tangible user interface, include microprocessor programming, digital analogue input and output, multimedia authoring and programming language, sensors, communication with other external devices, computer vision, and movement control using motors. The final project of the course was accomplished by integrating all the exercises. Our educational experience showed that design students with little engineering background could learn various interactive digital technologies and its' implementation method in one semester course. At the end of the course, most of the students were able to construct prototypes that illustrate interactive digital product concepts. It was found that training for logical and analytical thinking is necessary in design education. The paper highlights the emerging contents in design education to cope with the new design paradigm. It also suggests an alterative to reflect the new requirements focused on interactive product or system design projects. The tools and methods suggested can also be beneficial to students, educators, and designers working in digital industries.

  • PDF

A 3D Watermarking on STL using Vertex domain (버텍스 영역을 이용한 STL에서의 3차원 디지털 워터마킹)

  • 김기석;천인국
    • Proceedings of the Korea Multimedia Society Conference
    • /
    • 2002.05d
    • /
    • pp.901-906
    • /
    • 2002
  • This paper is a research about method, that is used in Rapid Prototyping system, that inserts and extracts watermark in STL(standard transform language) that has a 3D geometrical model. The proposed algorithm inserts watermark in the vertex domain of STL facet without the distortion of 3D model. If we make use of a established algorithm for watermarking of STL, a watermark inserted to 3D model can be removed by simple attack that change order of facet. The proposed algorithm has robustness about these attack. Experiment results verify that the proposed algorithm, to encode and decode watermark in STL 3D geometrical model, doesn't distort a 3D model at all. And it shows that the proposed algorithm is available.

  • PDF

VIP/Sim : Design and Implementation of Virtual Prototyping Simulator based on Statecharts (VIP/Sim : Statecharts에 기반을 둔 가상 프로토타이핑 시뮬레이터 설계 및 구현)

  • Kim, Cheol-Ung;Han, Sang-Yong;Choe, Jin-Yeong;Lee, Jeong-A
    • The Transactions of the Korea Information Processing Society
    • /
    • v.7 no.3
    • /
    • pp.891-900
    • /
    • 2000
  • A Visual development framework for embedded system is presented based on virtual prototyping. Embedded systems often are used in life critical situation, where reliability is very important. Time_to_market, correctness, user_friendly_design are another features required for embedded system design. However, embedded systems are today designed with an ad hoc approach that is heavily based on earlier experience with similar products. We believe that new design paradigm is needed and it should be based on the use of formal model and visual system to describe the behavior of the system at a high level abstraction. Virtual prototyping has all the required features. It has the following advantages; correct design, clear interface definition, idea experimentation, increased communication. In this paper, we describe the design and implementation of VIP/Sim(Virtual Prototyping Simulator), a visionary development framework for embedded system design. New feature such as state polymorphism is augmented to the de_facto standard formal language, statechart, for enhanced dynamic modeling. Actual design experience with VIP/Sim is also discussed.

  • PDF

Development of a DMC Block for Use with an RCP System and its Application (RCP 시스템에서 사용가능한 DMC (Dynamic Matrix Control) 블록의 개발과 응용)

  • Lee, Young-Sam;Yu, Kwang-Myung
    • Journal of Institute of Control, Robotics and Systems
    • /
    • v.21 no.9
    • /
    • pp.827-835
    • /
    • 2015
  • In this paper, we present the implementation method of Dynamic Matrix Control(DMC) block for use with a Rapid Control Prototyping(RCP) system and consider the speed control of a DC motor using the developed DMC block. Firstly, we briefly introduce a lab-built RCP system. Secondly, we present a method for implementing a DMC block using C-language, which enables the DMC algorithm to be represented in a library block that can be used in a Simulink environment. Finally, we use the developed DMC block for the speed control of a DC motor, through which we show that the DMC-based control system can be easily implemented and applied to the real-time control of systems with relatively fast dynamics.

A Software Design Method for Arduino Applications using UML (UML을 이용한 아두이노 어플리케이션 설계)

  • Park, Ki-Chang;Lee, Hyun-Cheol;Kim, Eun-Seok
    • The Journal of the Korea Contents Association
    • /
    • v.15 no.8
    • /
    • pp.1-8
    • /
    • 2015
  • Arduino is an open-source prototyping platform. It has been used in diverse areas including media-art, simulation and interaction devices. The Arduino application does not provide an effective form of software design specification, since it is basically developed in C Programming language. In this paper, we propose a design method for the Arduino applications using the extension mechanism of the UML(Unified Modeling Language). The proposed method is enable to specify the main function of Arduino applications like digital I/O and analog I/O in UML notations.

A Study on Laser Scan Path Generation for Improving the Precision of Stereolithographic Parts (광조형물의 정밀도 향상을 위한 Laser주사경로 생성에 관한 연구)

  • Park, H.T.;Lee, S.H.
    • Journal of the Korean Society for Precision Engineering
    • /
    • v.13 no.12
    • /
    • pp.142-150
    • /
    • 1996
  • Nowadays, as the development paeiod of new products becomes even shorter, the importance of Rapid Prototyping Technology(RPT) has been rapidly increased. The major application of RPT is an early verification of product designs and quick production of prototypes for testing. Moreover, RPT is applied not only as a second tooling process such as mold making and investment casting but also as a creating some physical structure in medical field. Despite the remarkable progress of RPT, it is required to improve various problems resulting from application such as production time, accuracy and materials. This paper presents a laser scan path generation for accuracy of stereolithographicparts The methodology of laser scan path generation is discussed based on the stereolithography, The procedure of this research is as follows : 1) Input laser scanning conditions such as a laser beam diameter and a laser scanning interval, 2) Reconstruct original contours without self intersecting offset, 3) Calculate offset about reconstructed contours, 4) Calculate intersection points between horizontal or vertical lines and offset contours for internal hatch, 5) Decide laser shutter on/off points. The algorithm developed and programmed by C language is verified as an efficient method after testing a number of STL files of mechanical parts.

  • PDF

Verification method and Simulation of Object model Converted to Formal Specification (형식명세로 변환된 객체모델의 검증방법과 시뮬레이션)

  • Lim, Keun
    • Journal of the Korea Society of Computer and Information
    • /
    • v.12 no.6
    • /
    • pp.123-130
    • /
    • 2007
  • In this paper, We define convert rules from objects and relation presented in object model to the state and operation domain in formal specification. Namely, object and relation in information model converted to state domain in formal specification. State, event and behavior converted to operation domain. And that way informal object model change to formal language, it can be verify through formal method. Verification process make an offer convenience and confidence in software development early phase. And we implement simulation tool in order to verification method of formal specification and to consistency verified model between user's requirement. It is possible to select the suitable model and reduce the costs and efforts on software development.

  • PDF

Custom system design and verification using ARM Cortex-M0 DesignStart (ARM Cortex-M0 DesignStart를 활용한 커스텀 시스템 설계 및 검증)

  • Lee, Sungryoung;Yoo, Hoyoung
    • Journal of IKEEE
    • /
    • v.24 no.2
    • /
    • pp.486-491
    • /
    • 2020
  • ARM Cortex-M0 DesignStart provided by ARM is cost-free design development suit targeting for designing and prototyping SoC with Cortex-M0 core. In this paper, we presents a method how to implement a custom system design using ARM Cortex-M0 DesignStart. First, hardware elements for ARM Cortex-M0 DesginStart is analyzed focusing on bus and memory map, and next software toolchain is explained to clarify the translating process from high level language to binary machine language. As an example of the custom system, UART system operated with Cortex-M0 is designed and simulated.