• Proceedings of the KSR Conference
• /
• 2006.11b
• /
• pp.947-953
• /
• 2006

ATC on-board equipment require realtime embedded software with high level of safety and reliability. To satisfy these requirements, many techniques are applied to the development of software during the lifecycle. In case of software modeling, object-oriented methodology is widening its niche replacing traditional structured methodology and modeling in UML using a CASE tool is a growing trend. In this paper, we modeled ATC on-board software in UML using Rhapsody, which is a modeling tool for realtime embedded software. We modeled the behavior of ATC on-board equipment based on state machine diagram and validated the model using the animation feature provided in the tool. According to our study, the CASE tool based on UML showed high level of applicability in modeling and verifying the software with complex behavioral characteristics.

• Journal of Advanced Navigation Technology
• /
• v.14 no.6
• /
• pp.900-908
• /
• 2010

Recently, OOM(Object-Oriented Method) access method which begins to apply to software development is emphasizing development cost and time reduction through independent software reuse. But because of planning to the exclusion of the lack of knowledge and expansion or performance for development technology many problems are coming out. Therefore, this thesis suggests Effective Object-Oriented Modeling methods considering the plan for higher productivity enhancement of software in the software development life cycle. Effective Object-Oriented Modeling method includes, methods, Use Case modeling methods, Analysis Modeling methods, Design Modeling methods and others.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2001.10a
• /
• pp.147-151
• /
• 2001

Based on flight software modeling experiences on satellite simulator developments so far, three different approaches for modeling the flight software within the satellite simulator such as utilization of a processor emulator executing the actual flight software image, re-compilation of the flight software sources within the simulator infrastructure, and development of a set of abstract models representing the required flight software functionality are presented.

• Proceedings of the KSR Conference
• /
• 2008.06a
• /
• pp.384-389
• /
• 2008

In this paper, we propose a UML modeling of ATO on-board software. An automatic train operation (ATO) system is a real-time control system, which operates a train without a manual operation by a driver. For the safe and comfortable service, real-time embedded software for ATO on-board equipment should have both of high performance and reliability. UML-based object-oriented modeling technique is introduced and used widely to design software that satisfies this requirement. We used Rhapsody, which is a modeling tool for real-time embedded software, to model the construction and the behavior of ATO on-board equipment. As a result, ATO on-board software which performs the profile calculation and the real-time speed control is designed and implemented. The brief modeling result including behavioral characteristics and the simulation results are presented.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2001.10a
• /
• pp.484-484
• /
• 2001

The sophistication of current software applications results in the increasing cost fur software development time. The component-based software development framework is proposed to overcome the difficulty and time-consuming requirements by modularity and reusability. As is the general software case, a component-based simulation framework encourages the reusability of the real system model based on the modularity of the applied simulation methodology. This paper presents a component-based simulation environment that is based on the DEVS/COM run-time infrastructure. The DEVS (Discrete Event System Specification) formalism provides a formal modeling and simulation framework for the generic dynamic systems [1] and Microsoft's COM (Component Object Model) is one of the strongest competitor fur the component standard. The reusability by the DEVS/COM simulation environment saves model development time remarkably and component technology make simulator itself to be a subparts of real application.

• Journal of the Korea Computer Industry Society
• /
• v.3 no.7
• /
• pp.837-844
• /
• 2002

In general, software test is carried out to detect or repair errors in system during software development process. Namely, we can evaluate software reliability through collecting and removing the faults detected in testing phase. Software reliability growth model evaluates reliability of software mathematically. Many kinds of software reliability growth modeling which modeling the processes of detecting, revising and removing the faults detected in testing phase have been proposed in many ways. and, it is assumed that almost of these modeling have one typed detect and show the uniformed detection rate. In this study, significance levels of the faults detected in test phase are classified according to how they can affect on the whole system and then the fault detection capability of them is applied. From this point of view, We here by propose a software reliability growth model with faults detection capability according considering fault significance levels and apply some fault data to this proposed model and finally verify its validity by comparing and estimating with the existing modeling.

• International Journal of Control, Automation, and Systems
• /
• v.1 no.3
• /
• pp.321-331
• /
• 2003

Experimental software datasets describing software projects in terms of their complexity and development time have been the subject of intensive modeling. A number of various modeling methodologies and modeling designs have been proposed including such approaches as neural networks, fuzzy, and fuzzy neural network models. In this study, we introduce the concept of the Rule-based fuzzy polynomial neural networks (RFPNN) as a hybrid modeling architecture and discuss its comprehensive design methodology. The development of the RFPNN dwells on the technologies of Computational Intelligence (CI), namely fuzzy sets, neural networks, and genetic algorithms. The architecture of the RFPNN results from a synergistic usage of RFNN and PNN. RFNN contribute to the formation of the premise part of the rule-based structure of the RFPNN. The consequence part of the RFPNN is designed using PNN. We discuss two kinds of RFPNN architectures and propose a comprehensive learning algorithm. In particular, it is shown that this network exhibits a dynamic structure. The experimental results include well-known software data such as the NASA dataset concerning software cost estimation and the one describing software modules of the Medical Imaging System (MIS).

• Proceedings of the Korean Association for Survey Research Conference
• /
• 2007.11a
• /
• pp.55-65
• /
• 2007

In this research, it will be examined on mathematical model of AMOS software program that ues for Covariance Structure Analysis. if we have not understood to mathematical model of Covariance Structure, we fail to understand Structural equation modeling. Similarly If We were not understand to mathematical model of AMOS Software, we do not use Software adequately. Therefore we examine two sorts of Software that be designed for Structural equation modeling or Covariance Structure Analysis. In this research, We will focus on 8 assumption of Structural equation modeling and compare AMOS(Analysis of MOment Structure) program with LISREL(Linear Structure RELation) program. We found that A Program of AMOS Software have materialized with RAM(Reticular Action Model).

• Journal of Information Technology Services
• /
• v.12 no.3
• /
• pp.311-321
• /
• 2013

In the community of software engineering, diverse modeling languages are used for representing all relevant information in the form of models. Also many different models such as business model, business process model, product models, interface models etc. are generated through software life cycles. In this situation, models need to be integrated for enterprise integration and enhancement of software productivity. Researchers propose rebuilding models by a specific modeling language, using a intemediate modeling language and using common reference for model integration. However, in the current approach it requires a lot of cost and time to integrate models. Also it is difficult to identify common objects from several models and to update objects in the repository of common model objects. This paper proposes software model integration using metadata model based on Linked data. We verify the effectiveness of the proposed approach through a case study.

• The KIPS Transactions:PartD
• /
• v.8D no.4
• /
• pp.401-408
• /
• 2001

Object-oriented software development methods are used to develop object-oriented software systems. Object-oriented systems are believed to habe better modularity, reusability, maintainability, and extensibility than systems modeled in conventional methods. Current object-oriented software development methods, however, are modeled in terms of procedural, functional, and structural models. There models cause problems such as tight coupling among activities, and uncontrolled access to global artifacts. In this paper, were introduce OMOS(Object-oriented software development Method for Object-oriented software System), an object-oriented modeling of object-oriented software development methods. Artifacts and their related activities are modeled as classes and objects. Development lifecycles are modeled as interactions among the objects. By modeling the software development method in an object-oriented way, OMOS achieves better reusability, flexibility, extensibility, and maintainability.