• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06c
• /
• pp.220-222
• /
• 2006

본 논문은 안전등급 제어기기(Safety-Grade Programmable Logic Controller)에서 사용하는 프로세서모듈 운영체제에 대한 컴포넌트 시험에 대해 기술한다. 디지털 소프트웨어에 대한 NRC(Nuclear Regulatory Commission)의 지침에 따라 운영체제는 소프트웨어 생명주기에 따라 개발되고 있으며 요구사항과 설계명세, 그리고 구현코드를 가지고 다양한 시험을 수행하고 있다. 컴포넌트 시험은 구현된 코드가 테스트 커버리지를 만족하는 지 파악하는 시험이다. 이를 위해 설계명세서를 참조하여 시험대상을 구분하고 각각의 시험대상에 대한 시험항목을 세분화한 이후 시험방법과 절차, 그리고 시험환경을 구축한 후 컴포넌트 시험을 수행한다.

• School Mathematics
• /
• v.11 no.4
• /
• pp.547-565
• /
• 2009

This study presents the examination system, contents, and types of items in mathematics in the examination subjects at a nationwide level that are applied to examination materials for college entrance through analyzing such system, contents, and types of problems. Based on the results of this analysis, this study draws certain issues on the contents that are to be included in large-scale national examinations used for materials for college entrance, types of items which are able to appropriately present such content, and specific issues on the examination system in order to effectively perform the examination through proper configurations in all these issues. Thus, this study will provide some basis to determine the examination system in mathematics for the College Scholastic Ability Test according to future educational curriculum.

• Journal for History of Mathematics
• /
• v.22 no.1
• /
• pp.111-124
• /
• 2009

In this paper we check over some problems in College Scholastic Ability Test(CSAT) Mathematics section and propose some methods to improve the CSAT Mathematics section. CSAT has been changed several times with the change of the school curriculum. A Mathematics amended curriculum will apply in 2009 and we have to reorganize the system of CSAT. We investigate the changes in school curriculum and system of CSAT. Also we make a comparative study of the range of possible questions of CSAT with those of SAT and foreign national entrance exam for college.

• The Mathematical Education
• /
• v.61 no.2
• /
• pp.287-303
• /
• 2022

The purpose of this study is to draw implications for the improvement in the CSAT by analyzing structures and tasks in the Abitur. To this end, it analyzes the mathematics test system with a focus on the basic and advanced level examination systems, the operator, the using technology, and mathematical formulas. And the characteristics of tasks in the 2021 Abitur were analyzed. As a result of the analysis, first, Germany evaluates whether students have the competency emphasized in the curriculum at Abitur. Second, Germany, which emphasizes the proper use of technology, utilizes both tasks that use technology and those that do not in the Abitur. Third, the Abitur consists of most of the tasks using promised operators and uses various types of operators to present various types of questions to evaluate competence. Fourth, the Abitur includes not only simple structured items consisting of 2-3 subtasks but also tasks dealing in depth with a single situation centered on a big idea. Finally, mathematical justification and proof play an important role in the Abitur. Based on this, some specific measures for improving the CSAT were suggested.

• Journal of the Korean School Mathematics Society
• /
• v.11 no.3
• /
• pp.467-481
• /
• 2008

This paper analysed a bulk of theses performed in various perspectives relating to College Scholastic Ability Test since 1994. Further this searched suggestions of revisions of systems about College Scholastic Ability Test along with the revised curriculum throngh this analysis of previous studies, which were categorized into 'correspondence between goal and characteristics', 'impact on education', and 'impact on society'. According to previous studies, they treat crossing application, advantage & disadvantage among optional subjects, difference in subject and content between natural science and cultural science, subjects that have to be included into College Scholastic Ability Test. This research suggests some elements and basic & fundamental information which need to be considered in the process of revising in problem making system of College Scholastic Ability Test.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.861-862
• /
• 2009

운영체제의 기본적인 역할은 각종 컴퓨터 하드웨어들을 서로 논리적으로 연결하고 제어하는 것으로 다른역할은 응용프로그램과 컴퓨터 하드웨어를 연결해주는 역할을 한다. 본 연구에서는 운영체제 소프트웨어 분야의 기반기술 및 동향을 조사하고 표준시험환경을 구축해 보았다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10b
• /
• pp.985-988
• /
• 2000

내장형 기기의 다양성 및 적용 범위의 확장으로 내장형 기기용 운영체제도 기기별 다양성을 지원할 것이 요구되고 있다. 이러한 특성을 갖는 운영체제를 조림형 운영체제라 한다. 본 논문에서는 조림형 실시간 운영체제인 Qplus커널의 입출력 시스템 개발에 대하여 기술한다. Qplus의 입출력 시스템은 사용자의 요구에 따라 입출력 장치 구동기의 조림이 가능하며 일관된 사용자 인터페이스 및 간편한 장치 구동기 인터페이스, 빠른 입출력을 지원한다. 현재 SA110 보드를 사용한 ITSB 에서 시험되었으며 앞으로 AIO, 가상 터미널 구동기의 지원 및 입출력 성능 시험을 수행할 예정이다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2002.11a
• /
• pp.317-321
• /
• 2002

최근 Firewall, IDS와 같은 응용프로그램 수준의 보안 제품은 내부서버 자체의 취약성을 방어하지 못한다. 본 논문에서는 TCSEC C2급에 해당하는 보안성을 가지는 리눅스를 LKM(Loadable Kernel Module) 방법으로 B1급 수준의 다중등급 보안을 구현하였다, 따라서 구현된 다중등급 보안 리눅스 커널의 주요 기능을 기술하고, 시험 평가로서 강제적 접근제어, 성능 및 해킹 시험을 실시하였다. 구현된 보안 커널 기반의 리눅스 운영체제는 B1급의 요구사항을 만족하며, root의 권한 제한, DB를 이용한 실시간 감사추적, 해킹차단, 통합보안관리등의 추가적 기능을 제공한다.

• Proceedings of the CALSEC Conference
• /
• 1999.11a
• /
• pp.579-588
• /
• 1999

◆ 산업기술정보의 근간이 되는 4개 DB서비스 ◆ 전지역 정보를 통합한 포탈시스템과 지역특화시스템으로 구성 ◆ DB 정보검색(8개) 및 DB 통합검색 ◆ 분야별로 정의된 업체, 지자체의 기업지원뉴스 제공 ◆ Fax, E-mail에 기반한 상품정보 거래알선체제 ◆ 자기정보 등록체제(DB등록과 갱신) ◆ 지자체 파일 공유를 위한 표준화 ◆ DB 및 시스템 이용등에 관한 전문분석 통계체제 ◆ 국내 제조업체, 전문인력, 시험연구장비, 등의 디렉토리 관리 및 로봇검색 체제 (중략)

• The KIPS Transactions:PartC
• /
• v.10C no.2
• /
• pp.145-154
• /
• 2003

Current security efforts provided in such as firewall or IDS (intrusion detection system) of the network level suffer from many vulnerabilities in internal computing servers. Thus the necessity of secure OS is especially crucial in today's computing environment. This paper identifies secure OS requirements, analyzes tile research trends for secure Linux in terms of security kernel, and provides the descriptions of the multi-level security(MLS) Linux kernel which we have implemented. This security kernel-based Linux meets the minimum requirements for TCSEC Bl class as well providing anti-hacking, real-time audit trailing, restricting of root privileges, and enterprise suity management functions.