임베디드 시스템을 위한 HAL과 JAVA API 설계 및 구현

이진관,이대형,정규철,이종찬,박기홍 한국융합보안학회 2008 융합보안 논문지 Vol.8 No.1

임베디드 시스템을 지원하는 JAVA API를 개발하면 임베디드 시스템을 개발자가 JAVA를 사용하므로써 코드의 재사용, 객체지향 개념의 시스템 개발들을 가능하게 한다. JAVA API를 구현하는데 있어 시스템에 의존적인 부분들이 존재하게 되는데, 이는 native 함수에서 구현한다. 본 논문에서는 리눅스 기반의 임베디드 시스템 디바이스를 제어하기 위한 JAVA API를 구현하는데 있어 플랫폼 독립적인 자바 부분과 의존적인 native 부분으로 나누어 설계 및 구현하였고, 임베디스 시스템 디바이스의 JAVA API를 통한 제어에 초점을 두었다 The implement of JAVA API for supporting the embedded system is capable of developing the object system with code reuse because the developer is able to use JAVA in the embedded system. The system dependant parts for implementing API are realized from a native function. In this paper, we devide JAVA API into the platform-independent JAVA part and platform- dependent native part for the implementation of JAVA API to manage the linux based embedded system devices, and focus on the control of the embedded system devices using JAVA API.

SMT 해결기를 이용한 자바 메모리 모델 시뮬레이션

이태훈(Taehoon Lee),권기현(Gihwon Kwon) 한국정보과학회 2009 정보과학회 컴퓨팅의 실제 논문지 Vol.15 No.1

많은 컴파일러는 속도를 높이기 위해서 최적화를 수행한다. 최적화의 결과로 프로그램의 구문이 변경된다. 단일 스레드 소프트웨어에서는 변경된 구문이 영향을 받지 않지만 멀티스레드 소프트웨어에서는 변경된 구문 때문에 예상하지 못한 실행 결과가 발생할 수 있다. 멀티 스레드자바 소프트웨어는 스레드들 간에 메모리를 통한 상호작용을 자바 메모리 모델을 통해서 명세 한다. 자바 메모리 모델은 자바언어의 표준 메모리 모델이다. 하지만 현재까지 나와 있는 어떠한 자바 모델 체킹 도구도 자바 메모리 모델을 지원하지 않는다. 본 논문에서는 자바 메모리 모델을 지원하는 모델 체킹 도구를 개발하기 위해서 자바 메모리 모델을 지원하는 시뮬레이터를 많은 모델 체킹 도구에서 사용되는 SMT 기반으로 구현했다. SMT 기반 메모리 모델 시뮬레이터는 기존의 메모리 모델 시뮬레이터에서 몇분이 걸리는 계산 결과를 1초 이내에 계산하였다. 또한 이를 통해 기존 소프트웨어 모델 체킹에서 표현할 수 없는 실행 결과를 빠르게 표현할 수 있다. Recently developed compilers perform some optimizations in order to speed up the execution time of source program. These optimizations require the transformation of the sequence of program statements. This transformation does not give any problems in a single-threaded program. However, the transformation gives some significant errors in a multi-threaded program. State-of-the-art model checkers such as Java-Pathfinder do not consider the transformation resulted in the optimization step in a compiler since they just consider a single memory model. In this paper, we describe a new technique which is based on SMT solver. The Java Memory Model Simulator based on SMT Solver can compute all possible output of given multi-thread program within one second which, in contrast, Traditional Java Memory Model Simulator takes one minute.

Java를 이용한 인터넷기반 원격시 험시스템의 구현

김윤호,박운영 한국정보통신학회 2002 한국정보통신학회논문지 Vol.6 No.6

본 논문에서는 Java/SWING을 이용한 인터넷 기반의 원격 시험 시스템의 설계와 구현을 제시한다. 본 시스템은 문제를 출제하는 문제 출제부와 문제를 풀이하는 문제 풀이부와 문제 풀이한 결과를 참조할 수 있는 문제 평가부로 구성된다 문제 풀이부는 2-tier 구조를 갖는 자바 애플리케이션으로 문제 풀이부와 평가부는 3-tier 구조를 갖는 자바 애플릿으로 구현한다. 데이터베이스의 처리는 Java의JDBC API를 이용하여 프로그래밍함으로써 특정 데이터베이스 시스템에 의존하지 않고 범용의 데이터베이스 처리가 되도록 한다. 본 논문에서의 원격 시험 시스템은 각종 성적 평가를 위하여 이용할 수 있으며, 기존의 필기 시험의 대치 또는 인터넷에 기반한 설문조사를 시행하는 시스템으로의 전환도 가능하여 다양한 분야에 기여할 수 있을 것으로 기대된다. This paper presents an implementation of an Remote Examination System on Internet using Java and SWING GUI API. The system is consisted of three parts: generating examination part that is Java application, answering questions part that is Java Applet, reviewing results part that is Java Applet. The first part is implemented with the 2-tier client/server architecture and the last two parts is implemented the 3-tier client/server architecture. Database programming is done using Java JDBC API for database independence and portability. This system can be used the evaluation of lectures, and substituted for pen-and-pencil examinations or adopted to survey applications based on Internet.

자바 기반 휴대용 임베디드 기기의 삼차원 엔진 성능 향상을 위한 바인딩 구현

김영옥(Young-Ouk Kim),노영섭(Young-Sup Roh) 한국멀티미디어학회 2007 멀티미디어학회논문지 Vol.10 No.11

휴대용 임베디드 기기에서의 삼차원 엔진은 크게 바이트 코드를 실시간으로 해석하여 실행하는 자바 기반의 JSR184와 C언어 기반의 OpenGL/ES가 있다. 이들 두 표준에서 자바 객체를 지원하는 JSR184는 OpenGL/ES에 비하여 상대적으로 많은 프로세서의 자원을 사용하여 제한된 연산능력을 보유하고 있는 임베디드 기기에 적용할 경우 제약이 따를 수 밖에 없다. 반면에 기존 개인용 컴퓨팅 환경에서 사용되는 삼차원 컨텐츠는 자바의 장점을 이용하여 제작되었기 때문에 유럽에서 많은 사용자 층을 확보하고 있고, 또한 그 컨텐츠의 품질이 우수하여 상용 통신망인 GSM 망에서 많이 서비스 되고 있다. 따라서 GSM 망에서 사용되는 휴대용 임베디드 기기에 기존의 자바 기반 삼차원 컨텐츠를 별도의 변환 과정 없이 지원할 수 있는 JSR184의 지원이 필요하지만, 현재 개발되어 사용되는 자바 기반 삼차원 엔진은 휴대용 기기가 보유한 연산능력에 비하여 상대적으로 많은 연산량을 필요로 하기 때문에 상용제품에 적용하기에 많은 어려움이 따른다. 본 논문에서는 휴대용 임베디드 기기가 가지고 있는 충분하지 않은 연산능력을 바탕으로 자바 객체의 장점을 수용하면서 삼차원 컨텐츠의 처리속도를 향상 시킬 수 있는 바인딩 기법을 제안하였다. 제안된 바인딩 기법은 자바를 이용한 삼차원 컨텐츠를 지원하기 위하여, JSR184의 표준 인터페이스를 상위 계층에서 지원하고, OpenGL/ES와 JSR184를 서로 연결하기 위하여 이기종 코드 변환 언어인 KNI(Kilo Native Interface)를 중간 계층에서 사용하였고, 하위 계층에서 OpenGL/ES의 표준을 구현하였다. 제안하는 바인딩 기법은 모의 실험을 통하여 기능을 검증하였고, ARM을 장착한 FPGA를 사용하여 그 성능을 평가하였다. A 3-Dimensional engine in a mobile embedded device is divided into a C-based OpenGL/ES and a java-based JSR184 which interprets and executes a byte code in a real-time. In these two standards, the JSR184 supporting java objects uses more processor resources than an OpenGL/ES and thus has a constraint when it is used in an embedded device with a limited computing power. On the other hand, 3-Dimensional contents employed in existing personal computer are created by utilizing advantages of java and secured numerous users in European market, due to the good quality in contents and extensive service in a commercial network, GSM. Because of the reason, a mobile embedded device used in a GSM network needs a JSR184 which can provide an existing Java-based 3-Dimensional contents without extra conversion processes, but the current version of Java-based 3-Dimensional engine has drawbacks in application to commercial products because it requires more computing power than the mobile embedded device. This paper proposes a binding technique with the advantages of java objects to improve a processing ps않d of 3-Dimensional contents in limited resources of a mobile embedded device. The technique supports a JSR184 standard interface in the upper layer to utilize 3-Dimensional contents using java, employs a different code-conversion language, KNI (Kilo Native Interface), in the middle layer to interface between OpenGL/ES and JSR184, and embodies an OpenGL/ES standard in the lower layer. The validity of the binding technique is demonstrated through a simulator and a FPGA embedding an ARM.

R과 JAVA를 연동한 수요예측 모듈 구현- K사 은행자동화기기 사례중심으로 -

박현기,안재경 한국정보기술학회 2014 한국정보기술학회논문지 Vol. No.

In this paper, the ATM demand forecasting module in the K bank has been implemented linking JAVA and R programs. Commercial statistical software has an easy-to-use advantage, however, costs too much, and lacks freedom to analyse user-specific statistics. Furthermore, it is very restricted for the existing statistical software to be linked to the enterprise database. This study proposes a implementation scheme to program the ARIMA statistical model programmed in R, and to be linked to enterprise database with a JAVA-based interface. In this study, unit root test, model identification, model estimation, and model diagnostic checking are automatically to be done by the JAVA program module which is capable of dealing with the enterprise database. This study shows that the proposed module practically be linked to JAVA based enterprise system in forecasting the ATM demand in the K bank. 본 논문에서는 R과 JAVA 프로그램을 연동하여 수요예측모듈을 구현하고 이를 K사 은행자동화기기 수요예측에 적용하였다. 기존의 상용 통계소프트웨어들은 사용이 편리한 장점이 있지만 구입비용이 많이 들고, 통계 분석 시 사용자의 자율성이 떨어지는 문제가 있다. 더욱이 이를 실무적으로 사용하기 위해서는 기존의 통계 소프트웨어와 기업의 데이터베이스를 연동하여야 하는 한계점이 있다. 본 연구는 이러한 문제점을 보완하고자 공개프로그램인 R을 이용하여 통계모형을 작성하고, JAVA 프로그램을 이용하여 기업의 데이터베이스와 연동하는 방법을 제시하고자 한다. 통계모형은 ARIMA 모형을 이용하여 K사 은행자동화기기의 수요를 예측하는 모형을 구현하였다. ARIMA 모형에서는 단위근 검정, 모형식별, 모형추정 및 모형검증에 대한 단계별 적합성을 연구자가 판단하고 검정하는 절차를 거치지만, 본 연구에서는 사용자가 결정하는 모수에 대한 추정을 프로그래밍화하여 데이터베이스와 연동될 수 있도록 JAVA 모듈로 구현하였다. 이를 이용하여 K사 은행자동화기기의 수요를 예측함으로써 JAVA 기반으로 시스템이 구축된 기업이 실제업무에 수요예측 모듈을 활용할 수 있음을 보였다.

인도네시아 자바 사원 연구

가종수 부산외국어대학교 동남아지역원 2013 Suvannabhumi Vol.5 No.2

A Study of the Temples on Java Island Jongsoo Ka Shujitsu University, Japan The place where models of Indonesian templed and sculpture remain in best condition is in central Java. Central Java was a center of culture from the 8th century to the 9th century. After the mid-10th century, a dynasty moved from central Java to eastern Java, because of frequent volcanic explosions and illness. Eastern Java became the center of politics and culture until the 16th century, when Islamic culture gained superiority. The classical temples of Indonesia before the rise of Islam are called ‘Candi’, which we can divide into the western Java period (?~8th century), the central Java period (8th~10th century), the eastern Java period (10th~16th century).

Overview of Real-Time Java Computing

Yu Sun,Wei Zhang 한국정보과학회 2013 Journal of Computing Science and Engineering Vol.7 No.2

This paper presents a complete survey of recent techniques that are applied in the field of real-time Java computing. It focuses on the issues that are especially important for hard real-time applications, which include time predictable garbage collection, worst-case execution time analysis of Java programs, real-time Java threads scheduling and compiler techniques designed for real-time purpose. It also evaluates experimental frameworks that can be used for researching real-time Java. This overview is expected to help researchers understand the state-of-the-art and advance the research in real-time Java computing.

무기체계 소프트웨어의 Java 코딩 규칙 검증 기준 개선 연구

윤재형(Jae-Hyeong Yun),류지선(Jiseon Yu) 한국산학기술학회 2022 한국산학기술학회논문지 Vol.23 No.10

1991년 SUN Microsystems에서는 메모리 사용량이 적고 다양한 플랫폼을 갖는 가전 제품에 적용하기 위해 Java언어를 개발하였다. 이후 스마트폰 플랫폼인 안드로이드에서 Java API를 활용하며 누구나 쉽게 접할 수 있는 대중적인 언어로 발돋움 하였다. 이에 무기체계 소프트웨어 분야에서는 방위력개선사업으로 획득되는 소프트웨어의 체계적인 개발 및 관리를 위한 프로세스와 산출물 작성표준 등을 규정하는 「무기체계 소프트웨어 개발 및 관리 매뉴얼」에 Java 언어로 개발된 무기체계 소프트웨어의 코딩 규칙 검증과 취약점 점검 등을 수행할 수 있는 신뢰성 시험 기준을 추가하여 무기체계 소프트웨어에 최신 소프트웨어의 흐름을 반영하였다. 일반적으로 코딩 규칙은 코드를 확인하는 다른 사람들이 내용에 집중할 수 있도록 일관성 있는 코드를 제공하여 빠른 이해를 돕고 코드의 복사, 변경, 유지 관리할 수 있도록 하는 것을 목적으로 한다. 본 논문에서는 무기체계 소프트웨어 개발 및 매뉴얼의 Java언어 코딩 규칙 검증 기준인 오라클의 코딩 규칙과 최신의 구글의 코딩 규칙을 비교하고 행정안전부 소프트웨어 개발보안 가이드 적용에 대한 적절성을 분석하여 Java언어로 개발된 무기체계 소프트웨어 코딩 규칙의 발전 방향을 제안한다. 그 결과 적용 언어별 점검 난이도가 상이하고 일부 코딩 규칙이 취약점 분석과 유사한 사항이 있음을 식별하고, 개발 언어별 코딩 규칙 시험 난이도가 동일한 수준으로 개선이 필요함을 보인다. In the field of weapon systems software, the coding rules for weapon systems software developed in the Java language are included in the Weapon Systems Software Development and Management Manual, which stipulates the process and output standards for the systematic development and management of software acquired through the defense capability improvement project. The latest trends of software development are reflected in weapon system software by adding a reliability test standard. In general, the purpose of coding rules is to provide consistent code so that people looking at the code can focus on the content, making it easier to understand, copy, change, and maintain the code. In this paper, we compare Oracles Java language coding rule verification standards for Weapon Systems Software Development and Management Manual with the lasted coding rules from Google. We also analyzed whether it is appropriate to apply MOISs software development security guide to the manual. As a result, we suggest an improvement direction for the coding rules of weapon system software developed in Java language.

비전공자 대상 Java SW교육 강좌에서 마이크로비트를 이용한 컴퓨팅적 사고과정 교육 방법

허경 한국실천공학교육학회 2019 실천공학교육논문지 Vol.11 No.2

In the case of Java programming education for non-major undergraduates, there are no examples of applying the physical computingeducation method. The advantage of physical computing education is that you can directly check the SW processing outputresult according to the input value of digital and analog sensor, so that you can quickly correct programming errors and improvelearner’s learning interest and satisfaction. In this paper, we use the microbits to combine physical computing education with basicJava programming education. In addition, according to the computational thinking process, we proposed an educational method forcreating Java programs using microbits. Through block programming to control the microbits, we designed an algorithm and applieda training method to convert it into a Java program. In addition, the results of students’ evaluations were analyzed in the course applyingthe education method, and the effectiveness of the education method using the microbit was analyzed. 비전공 학부생을 대상으로 Java 프로그래밍 교육을 실시하는 데 있어, 피지컬 컴퓨팅 교육 방법을 적용한 사례는 전무하다고할 수 있다. 피지컬 컴퓨팅 교육의 장점은 디지털 및 아날로그 센서의 입력 값에 따른 SW 처리 출력 결과를 직접 확인할 수 있어,프로그래밍 오류를 빠르게 수정하고 학습자의 학습 관심과 만족도를 향상시킬 수 있다. 본 논문에서는 마이크로비트를 사용하여, 기초적인 Java 프로그래밍 교육에 피지컬 컴퓨팅 교육을 접목하였다. 그리고, 컴퓨팅적 사고과정에 따라, 마이크로비트를사용하여 Java 프로그램을 창작해보는 교육 방법을 제안하였다. 마이크로비트를 제어하는 블록 프로그래밍을 통해, 알고리즘을 설계하고, 이에 따라, Java 프로그램으로 변환하는 교육 방법을 적용하였다. 그리고, 본 교육방법을 적용한 강좌에서 학생들의 평가 결과를 분석하여, 마이크로비트를 활용한 교육방법의 유효성을 분석하였다.

힌두-불교 시대 인도네시아 중부 자바의 짠디와 신왕사상

강희정(Kang, Heejung) 불교학연구회 2021 불교학연구 Vol.68 No.-

비명을 통해 중부 자바의 짠디들은 산자야 계통의 므당 왕국과 샤일렌드라 왕실의 후원으로 건립됐음을 알게 됐다. 이들은 신상을 세워 ‘달마’를 수호하여 왕실의 권위를 확보하고자 했는데, 이는 샤일렌드라에서 도망가 캄보디아에 크메르 제국을 세운 자야바르만 2세와 그의 후계자들에 의해서도 확인된다. 크메르 제국의 왕들은 왕이 사후에 신과 합일한다는 신왕사상에 입각하여 대대로 사원을 세우고 조각을 안치했다. 샤일렌드라의 인드라왕은 왕과 붓다와의 합일을 추구했지만 신왕사상에서 입각해 이처럼 왕과 붓다의 합일을 주장하는 것이 흔한 일은 아니었다. 영토와 왕위 계승을 둘러싼 전쟁과 전투가 잦았던 동남아에서 평화로운 불교 이념과 신앙보다는 왕의 위엄을 과시하고 복종을 강요하기에 시바나 비슈누와의 합일을 강조하는 힌두교가 유용했기 때문에 힌두교 사원 건립이 불교사원보다 활발하게 이뤄졌다. 중부 자바에서는 불교에 귀의하고, 승려들을 위해 승원과 마을을 희사하는 일이 수월했다. 날란다에 승원을 건설할 정도로 불교에 우호적이었고, 인도와 지속적으로 관계를 맺고 있었던 중부 자바에 금강승 불교 역시 일찍 전해진 것으로 보인다. 후기밀교 경전 중 하나로 여겨지는 『성대승론』은 중부 자바 불교 신앙의 일면을 보여준다. 하지만 밀교가 네팔이나 티벳처럼 체계화된 조직적인 불교 종파로서 자리 잡았는지는 아직 단언하기 어렵다. 관련 문헌 단편들과 론따르 경전을 통해 보면 일부 학승들을 중심으로 후기밀교가 받아들여졌을 가능성이 크다. 크메르처럼 중부 자바 시기 이후 인도네시아에서는 힌두교와의 결합이 더욱 가속화된 것으로 보이며, 이는 역시 왕실의 강력한 후원이 힌두교로 집중되는 결과를 낳았다. The Sanjaya-based Medang Kingdom and the royal family supported the construction of the candis in Central Java. They believed that the Dharma , the essence of the royal family, dwelled in the statue of a god. Therefore they wanted to secure the authority of the royal family by erecting a statue. This is also confirmed by Jayavarman II and his successors, who fled from Śailendra and established the Khmer Empire in Cambodia. The kings of the Khmer Empire also built temples and enshrined sculptures for generations based on the deva-raja concept that the king would unite with the god after death. King Indra of Śailendra sought the unity of the king and the Buddha, but it was not common to declare the unity between the king and the Buddha under the deva-raja concept. In Southeast Asia, where wars over territory and conflicts for the succession to the throne were frequent, Hindu temples are established more actively than Buddhist temples. Hinduism was more useful to show off the dignity and power of the king to the people rather than peaceful Buddhist ideology and belief. In Central Java, it was befitting to have faith in Buddhism and offer monasteries and villages to the monks for good karma. Conjecting from the copper plate discovered from Nalanda, the kings of Śailendra were friendly to Buddhism enough to build monasteries in Nalanda. It is no wonder that Vajrayana Buddhism was introduced earlier than we thought to Central Java, which had a constant relationship with India. Regarded as one of the later esoteric Buddhist scriptures, Sang Hyang Kamahāyānikan discovered in the early 20th century reveals an aspect of Central Javanese Buddhist beliefs. However, it is difficult to ascertain whether the Esoteric Buddhism has established itself as a systematic and organized Buddhist sect as it did in Nepal or Tibet. Judging from the related texts and the scriptures written on the Lontar leaves, Vajrayana Buddhism was likely accepted mainly by some scholar monks. Like the Khmer Empire, the collusion of Hinduism and the sovereign power in Indonesia seems to have accelerated after the Central Java period. This also resulted in strong royal support being concentrated on Hinduism than Buddhism.