• Title/Summary/Keyword: Critical Program Information

Search Result 292, Processing Time 0.02 seconds

Localized Algorithm to Improve Connectivity and Topological Resilience of Multi-hop Wireless Networks

  • Kim, Tae-Hoon;Tipper, David;Krishnamurthy, Prashant
    • Journal of information and communication convergence engineering
    • /
    • v.11 no.2
    • /
    • pp.69-81
    • /
    • 2013
  • Maintaining connectivity is essential in multi-hop wireless networks since the network topology cannot be pre-determined due to mobility and environmental effects. To maintain the connectivity, a critical point in the network topology should be identified where the critical point is the link or node that partitions the network when it fails. In this paper, we propose a new critical point identification algorithm and also present numerical results that compare the critical points of the network and H-hop sub-network illustrating how effectively sub-network information can detect the network-wide critical points. Then, we propose two localized topological control resilient schemes that can be applied to both global and local H-hop sub-network critical points to improve the network connectivity and the network resilience. Numerical studies to evaluate the proposed schemes under node and link failure network conditions show that our proposed resilient schemes increase the probability of the network being connected in variety of link and node failure conditions.

A Study of Software Hazard Analysis for Safety Critical Function in Military Aircraft

  • Oh, Hung-Jae;Hong, Jin-Pyo
    • Journal of IKEEE
    • /
    • v.16 no.2
    • /
    • pp.145-152
    • /
    • 2012
  • This paper is the Software Hazard Analysis (SWHA) which will study the managerial process and the technical methode and techniques inherent in the performance of software safety task within the Military Aircraft System Safety program. This SWHA identifies potential hazardous effects on the software intensive systems and provides a comprehensive and qualitative assessment of the software safety. The purpose of this paper is to identify safety critical functions of software in Military A/C. The identified software hazards associated with the design or function will be evaluated for risks and operational constraint to further improve the software design requirement, analysis and testing efforts for safety critical software. This common SWHA, the first time analysis in KOREA, was review all avionics OFP(Operational Flight Program), and focus only on software segments which are safety critical. This paper provides a important understanding between the customer and developer as to how the software safety for the Military A/C will be accomplished. It will also provide the current best solution which may as one consider the necessary step in establishing a credible and cost-effective software safety program.

Development of Certification Program for Application Service Provider : Application Certification (ASP 인증제도 개발 : 어플리케이션 인증)

  • Seo Kwang Kyu
    • Journal of the Korea Safety Management & Science
    • /
    • v.7 no.3
    • /
    • pp.97-108
    • /
    • 2005
  • The issue of using information system to ensure competitive power in the market is rising. The outsourcing methods that entrust activities of information system of companies to other expert agencies are increasing as the enterprises make a lot of efforts to put their resources to their heart of business in the process of adopting information system. Recently, ASP (Application Service Provider) as new information technology outsourcing method appears due to development of network technology and spreading of peculating software. ASP defines as a software leasing service which is supplied through networks instead of purchasing application software with high price. For successful implementation of ASP, it is necessary to develop a certification program to ensure safety and reliability of ASP. This paper provides the safe and reliable certification program for ASP. In order to develop it, the critical issues related to service quality and certification of ASP are identified and then evaluation methodology for ASP certification program is proposed. This paper presents application certification as the part of ASP certification program.

A Development of Flash Fire Prediction Program for Combat System (전투 시스템의 순간 화재 예측 프로그램 개발)

  • Hwang, Hun-Gyu;Lee, Jang-Se;Lee, Seung-Chul;Park, Young-Ju;Lee, Hae-Pyeong
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.17 no.1
    • /
    • pp.255-261
    • /
    • 2013
  • In this paper, we developed and tested a program for prediction flash fire in a combat system. Purposes of the program are flash fire prediction of combat system for analysis vulnerability and survivability, and visualization for fire-related information. To do this, we defined critical components of the combat system which has probabilities of flash fire occurrence, and proposed Flash Fire Probability Tree which is based on Fault Tree Analysis(FTA). The program visualizes positions of critical components in combat system, positions of penetrated components, selected Flash Fire Probability Tree, temperature profile, and tables for properties of matters.

Analysis of Education Training Program of Information Security Man Power in Domestic (국내 정보보호 교육 훈련 프로그램 분석)

  • Hong, Jin-Keun
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.10 no.12
    • /
    • pp.3725-3730
    • /
    • 2009
  • A serious disturbance of the 7.7 DDoS hacking gets a chance of raised awareness for importance of response countermeasure with current status of information security. The critical factor out of countermeasure of information security is the supply of information human power. In this paper, we review program of information security of domestic and foreign, from major courses of domestic university, and category of government about information security, and analyze security education training awareness program of human power in the information security area.

A Study on the Effectiveness of Government Export Supports for SMEs : Based on Export Maketing Support Program in South Korea (중소기업 수출지원제도 실효성 연구 - 한국의 수출마케팅 지원프로그램을 중심으로 -)

  • Kim, Hag-Min;Lee, Ho-Hyung;Ahn, Ji-Jung
    • International Commerce and Information Review
    • /
    • v.11 no.4
    • /
    • pp.153-182
    • /
    • 2009
  • This paper intends to increase the performance of export support programs for small-to-medium sized firms promoted by Korea government. A research construct is suggested for effective government support program targeted on the global marketing capability. The data is collected from the firms received the support more than once by Korean governments. The results are shown as follows. First, it is found that those firms who have high propensity to be involved in export business have shown high performance. Second, the firms with high global marketing capability have shown good performance. To be more specific, organizational commitment, strategic initiative, business differentiation, and market knowledge for target markets are found to be critical factors in successful export support program. The business differentiation strategy in target market is very critical. Finally, the degree of program management effectiveness is found to be important in high performance firms. It means that for those firms, much more advanced programs need to be developed. The government should develop diversified programs by considering the degree of global marketing capability.

  • PDF

(Restrictions and translation rules of ANSI-C language for analyzing integrity of C program using SPARK Examiner) (SPARK Examiner를 이용해 ANSI-C프로그램의 안전성을 분석하기 위한 C언어의 제약 조건과 변환 방법)

  • 김진섭;차성덕
    • Journal of KIISE:Software and Applications
    • /
    • v.30 no.5_6
    • /
    • pp.587-597
    • /
    • 2003
  • The C language is widely adopted for safety-critical systems. However, it is known that the C language is an unsuitable choice for safety-critical system since the C language includes several bad language features such as heavy use of pointers. The aim of this work is to define safe subset of the C language and translate the subset into the SPARK Ada so that we can verify the program's safety using SPARK analysis tools. SPARK is a safe subset of Ada and has been successfully applied to high integrity system development. The C program translated into SPARK has the same integrity level as SPARK, and the program correctness can be verified by using Examiner which is a SPARK analysis tool. An elevator controller case study is presented and is used to demonstrate the potential use of our approach to implement a realistic system. We also developed a translator that automatically translates C code into SPARK in accordance with the translation rules.

How the New York Times Portrayed the 2010 Brazil-Turkey-Iran Nuclear Deal: A Critical Discourse Analysis

  • Esfandiary, Esmaeil
    • Journal of Contemporary Eastern Asia
    • /
    • v.14 no.2
    • /
    • pp.57-68
    • /
    • 2015
  • This paper examines the New York Times' reaction to the 2010 Brazil-Turkey-Iran (BTI) nuclear deal, the very last diplomatic effort before the imposition of international sanctions track over the following years. The New York Times' (NYT) coverage of the deal is examined using the Critical Discourse Analytic (CDA) approach formulated by Teun van Dijk. The results show a strong bias against the BTI deal throughout the NYT's news coverage. The overarching theme in cover-age of the deal is the imputation of malignant intentions on the part of both Iran ("to kill time to further its nuclear weapons program") and Brazil and Turkey ("to advance their own business dealings with Iran and gaining international recognition"). Also, non-relevant information is used to imply a threat of Iranian development of nuclear weapons. Moreover, the NYT leaves almost totally "unsaid" that president Obama had asked Brazilian and Turkish leaders to go to Tehran and get this deal. Therefore, the NYT basically echoed, and legitimized, discursive practices of the U.S. government on the deal.

Impact of ICT Investment on Agricultural Sector: Analysis of Korean Corporations Based on IT Portfolio Framework

  • Lee, Dongmin;Kang, Chunghan;Moon, Junghoon;Rhee, Cheul
    • Agribusiness and Information Management
    • /
    • v.8 no.2
    • /
    • pp.9-15
    • /
    • 2016
  • In several industries, including the agriculture industry, information and communication technology (ICT) expenditure has been gradually increasing. This study explores the ICT investment of Korean agricultural corporations, and examines the effect of ICT investment on their profitability using an IT portfolio framework. As the organizational capabilities and environment in which ICT is used is critical in examining its impact, the IT-savvy level is used as a moderator. An increase in ICT investment size results in a significantly positive effect on profitability in organizations with higher IT-savvy levels, whereas there is no effect in organizations with lower IT-savvy levels. This study shows the necessity of understanding the structure of ICT investments in the agriculture industry, and suggests the importance of organizational capabilities and environment in making best use of ICT.

Development of GUI-program for Auto-tuning PID controller using relay feedback and Application of level-temperature plant (릴레이 궤환을 이용한 자동동조 PID 제어기의 GUI-Program 개발과 수위온도제어 플랜트에의 실시간 적용)

  • Yoo, Byong-Chul;Han, Jin-Wook;Lee, Chang-Goo
    • Proceedings of the KIEE Conference
    • /
    • 1999.07b
    • /
    • pp.609-611
    • /
    • 1999
  • The purpose of this research is on figuring out the optimal PID parameter using critical gain and critical frequency that are obtained by relay feedback. The operating has been done under the condition that the least information about the object plant is given and also the operating is processed within the limit which dose not give rise to bad influence on the object plant. For simulation auto-tuning PID controller using relay feedback which also works on on-line at the same time is developed by the upper procedure. This algorithm is tried to apply to level-temperature control plant on a real time with PC Interface Card.

  • PDF