• Journal of KIISE
• /
• v.44 no.9
• /
• pp.893-907
• /
• 2017

In safety-critical systems, software defects may have serious consequences. Therefore, defects should be considered during the requirements specification process, which is the first step of a software development lifecycle. Stakeholder requirements that are usually written in natural language are difficult to derived, and there may also be defects due to ambiguity and inaccuracy. To address these issues, we propose a requirement specification method using a standardized Boilerplate and a GSN Model. The Boilerplate is a semi-standard language that follows a predefined format. Due to its ability to provide a consistent representation of the requirements, boilerplate helps stakeholders avoid ambiguities about what they mean and to define the exact meaning of the requirement. Meanwhile, GSN is recognized notation to prepare a Safety Case to prove to authorities that a system is safe. It can be expressed as a functional goal, e.g., Safety Evidence, etc. The proposed study allows an analyst to easily identify a fault from the early stage of the software development lifecycle. The Boilerplate and GSN Model are designed to specify the requirements of safety critical systems and to prove safety conformity through a connection with Safety Evidence. In addition, the proposed approach is also useful to develop secure software by correcting deficiencies in the requirements found during this process.

• Journal of Advanced Navigation Technology
• /
• v.27 no.3
• /
• pp.314-322
• /
• 2023

The use of unmanned aerial vehicles is rapidly increasing in order to effectively utilize limited manpower and minimize casualties on the battlefield. The requirements for ground control equipment vary depending on the operating concept and environment of the unmanned aerial system, but there are still common requirements. However, the lack of standardized system configurations to meet these common requirements makes it difficult to reuse common functions, leading to continuous acquisition costs. To solve this problem, this paper develops a Korean version of the UCS model using the UCS architecture. Furthermore, after designing elements related to service development not specified in the architecture (such as framework, communication middleware, service structure, etc.), we develop a Boilerplate to enhance developers' work efficiency based on this. The results of this study will serve as a foundation for effectively and economically carrying out the development of ground control equipment for unmanned aerial systems.

• The Korean Journal of Air & Space Law and Policy
• /
• v.20 no.2
• /
• pp.59-158
• /
• 2005

When a military aircraft suffers damages due to the defects in its design, manufacturing or notification, all of which are generally understood as products liability defects, the obvious compensation is sought as it would in other consumer good case. However, there exist clear yet unappreciated difference between general consumer goods and military aircraft, as far as products liability law is concerned - some sort of recovery should be obtained even when there exist only defects, not damages, to the aircraft because of the implication of defective parts is much grave than what can be expected in a consumer goods case. While certain anticipatory measures do exist in manual or at negotiation stages for the safety of military aircraft, such measures are ineffective, if not ambiguous, in recovery effort in the post-accident stage In another word, the standardized military procurement contract manuals and boilerplate forms do not appreciate the unique and dangerous military nature of military aircraft. There are many unique legal issues which can arise when trying to prevent defective aircraft or parts, or to recover compensations for accident due to such defects. At two-level, the government should establish legal system (or countermeasures if you'd like) for purchasing safer military aircraft. First, one should be able to work with legal ground and policy that allows selecting and purchasing safer goods - the purpose of such contract is not litigious, but rather in acquiring what are most reliable. Second, in case the defects do arise and lead to damages, solid legal principles and instructions should be established for effectively pursuing appropriate company, (usually a aerospace industry giant with much experience) for products liability - the purpose of such pursuit is inevitable for a public official, since he or she is no private business man with much flexibilities, even to the point of waiving such compensatory right for future business purposes. This article tries to identify problems in methods of procuring military aircraft or parts - after reviewing on how the military can improve on legal and policy grounds for procuring what will be the focus of future military strength, it will offer some of the ways to effectively handling and resolving a liability issues.