• Journal of the Korean Society of Systems Engineering
• /
• v.14 no.2
• /
• pp.8-15
• /
• 2018

In traditional Document Based Configuration Management(DBCM) environment, changes in a system's configurations are hard to be reflected to existing engineering documents. This nature of DBCM triggers unconformities of system configurations which could become great risks. Model-based Configuration Management(MBCM) has been introduced to solve the problem of DBCM by managing system's configurations through an unified model. Therefore, it is important to model engineering documents in a general modeling language, down to low-level information items to develop traceability and flexibility of a system's engineering information. So, in the research, to explore the possibility of Model-based Approach(MBA) in the field of configuration management, a development of a systems requirement document model using SysML based Views & Viewpoints concept has been studied.

• Journal of the Korean Society for Railway
• /
• v.6 no.1
• /
• pp.1-9
• /
• 2003

This article proposes an integrated systems engineering and safety analysis model for safety-critical systems development. A methodology in system design for safety is considered during the early phase of the development life cycle of systems engineering process. The evolution of the design automation technology has enabled engineers to perform the model-based systems engineering. A Computer-Aided Systems Engineering(CASE) tool, CORE, is utilized to integrate the systems engineering model with a system safety analysis model. The results of the functional analysis phase can drive the analysis of the system safety. An example of Communications-Based Train Control(CBTC) system for an Automated Guided Transit(AGT) system demonstrated an application of the integrated model.

• Journal of Information Processing Systems
• /
• v.8 no.2
• /
• pp.213-240
• /
• 2012

Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test ma Safety critic Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test manually. In order to cut down on costs, save time, and increase reliability, the model based testing approach is the best solution. Such an approach does not require applications or codes prior to generating test cases, so it leads to the early detection of faults, which helps in reducing the development time. Several model-based testing approaches have used different UML models but very few works have been reported to show the generation of test cases that use events. Test cases that use events are an apt choice for these types of systems. However, these works have considered events that happen at a user interface level in a system while other events that happen in a system are not considered. Such works have limited applications in testing the GUI of a system. In this paper, a novel model-based testing approach is presented using business events, state events, and control events that have been captured directly from requirement specifications. The proposed approach documents events in event templates and then builds an event-flow model and a fault model for a system. Test coverage criterion and an algorithm are designed using these models to generate event sequence based test scenarios and test cases. Unlike other event based approaches, our approach is able to detect the proposed faults in a system. A prototype tool is developed to automate and evaluate the applicability of the entire process. Results have shown that the proposed approach and supportive tool is able to successfully derive test scenarios and test cases from the requirement specifications of safety critical systems, real time systems, and event based systems.

• Journal of the Korean Society of Systems Engineering
• /
• v.5 no.2
• /
• pp.57-62
• /
• 2009

An embedded system is a computer system designed to perform one or a few dedicated functions often with real-time computing constraints. A traditional design process of embedded systems is the development of document-centric approach, and it is difficult to develop an embedded system efficiently because communication between teams or steps is not smooth. So the Model Based Design Process are applied to the development of embedded systems. This paper will compare the Model Based Design Process and the traditional design process, and introduce example of development of vehicle device applied the Model Based Design Process.

• Journal of Institute of Control, Robotics and Systems
• /
• v.7 no.8
• /
• pp.689-696
• /
• 2001

Large-scale Multi-disciplinary Systems(LMS) such as transportation, aerospace, defense etc. are complex systems in which there are many subsystems, interfaces, functions and demanding performance requirements. Because many contractors participate in the development, it is necessary to apply methods of sharing common objectives and communicating design status effectively among all of the stakeholders. The processes and methods of systems engineering which includes system requirement analysis; functional analysis; architecting; system analysis; interface control; and system specification development provide a success-oriented disciplined approach to the project. This paper shows not only the methodology and the results of model-based systems engineering to Automated Guided Transit(AGT) system as one of LMS systems, but also propose the extension of the model-based tool to help manage a project by linking WBS (Work Breakdown Structure), work organization, and PBS (Product Breakdown Structure). In performing the model-based functional analysis, the focus was on the operation concept of an example rail system at the top-level and the propulsion/braking function, a key function of the modern automated rail system. The model-based behavior analysis approach that applies a discrete-event simulation method facilitates the system functional definition and the test and verification activities. The first application of computer-aided tool, RDD-100, in the railway industry demonstrates the capability to model product design knowledge and decisions concerning key issues such as the rationale for architecting the top-level system. The model-based product design knowledge will be essential in integrating the follow-on life-cycle phase activities. production through operation and support, over the life of the AGT system. Additionally, when a new generation train system is required, the reuse of the model-based database can increase the system design productivity and effectiveness significantly.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.1 no.1
• /
• pp.113-118
• /
• 2001

In this paper, we develop an optimal intelligent digital redesign method for a class of fuzzy-model-based controllers, effective for stabilization of continuous-time complex nonlinear systems. Takagi-Sugeno (TS) fuzzy model is used to extend the results of the classical digital redesign technique to complex nonlinear systems. Unlike the conventional intelligent digital redesign technique reported in the literature, the proposed method utilized the recently developed LMI optimization technique to obtain a digitally redesigned fuzzy-model-based controller. Precisely speaking, the intelligent digital redesign problem is converted to an equivalent optimization problem, and the LMI optimization method is used to find the digitally redesigned fuzzy-model-based controller. A numerical example is provided to evaluate the feasibility of the proposed approach.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2003.09a
• /
• pp.224-227
• /
• 2003

The Intrsuion Detecion Systems(IDS) are required the accuracy, the adaptability, and the expansion in the information society to be changed quickly. Also, it is required the more structured, and intelligent IDS to protect the resource which is important and maintains a secret in the complicated network environment. The research has the purpose to build the model for the intelligent IDS, which creates the intrusion patterns. The intrusion pattern has extracted from the vast amount of data. To manage the large size of data accurately and efficiently, the link analysis and sequence analysis among the data mining techniqes are used to build the model creating the intrusion patterns. The model is consist of "Time based Traffic Model", "Host based Traffic Model", and "Content Model", which is produced the different intrusion patterns with each model. The model can be created the stable patterns efficiently. That is, we can build the intrusion detection model based on the intelligent systems. The rules prodeuced by the model become the rule to be represented the intrusion data, and classify the normal and abnormal users. The data to be used are KDD audit data.

• Journal of Institute of Control, Robotics and Systems
• /
• v.14 no.2
• /
• pp.111-117
• /
• 2008

This paper presents a new continuation-based quasi-steady-state(CQSS) time-domain simulation algorithm incorporating a multiplicative aggregated load model for power systems. The authors' previous paper introduced a CQSS algorithm, which has the robust convergent characteristic near the singularity point due to the application of a continuation method. The previous CQSS algorithm implemented the load restoration in power systems using the exponent-based load recovery model that is derived from the additive dynamic load model. However, the reformulated exponent-based model causes the inappropriate variation of short-term load characteristics when switching actions occur, during time-domain simulation. This paper depicts how to incorporate a multiplicative load restoration model, which does not have the problem of deforming short-term load characteristics, into the time simulation algorithm, and shows an illustrative example with a 39-bus test system.

• Journal of Institute of Control, Robotics and Systems
• /
• v.17 no.11
• /
• pp.1145-1153
• /
• 2011

EMB (Electro-Mechanical Brake) systems can provide improved braking and stability functions such as ABS, EBD, TCS, ESC, BA, ACC, etc. For the implementation of the EMB systems, reliable and robust fault detection algorithm is required. In this study, a model-based fault detection algorithm is designed based on the analytical redundancy method in order to monitor current and force sensor faults in EMB systems. A state-space model for the EMB is derived including faulty signals. The fault diagnosis algorithm is constructed using the analytical redundancy method. Observer is designed for the EMB and the fault detectability condition is examined based on the residual analysis. The performance of the proposed model-based fault detection algorithm is verified in simulations. The effectiveness of the proposed algorithm is demonstrated in various faulty cases.

• Journal of Institute of Control, Robotics and Systems
• /
• v.13 no.12
• /
• pp.1179-1185
• /
• 2007

This paper presents a new approach to automotive embedded systems development and validation. Recently automotive embedded systems become even more complex and the product life cycle is getting reduced. To overcome these problems AUTOSAR, a standardized software platform and component based approach, was introduced. Model-based approach has been widely applied in the development of embedded systems and has strong benefits such as early validation and automated testing. In this paper cooperative development and validation of AUTOSAR and model-based approach are introduced and automated testing techniques are proposed. With the proposed techniques we can improve complexity management through increased reuse and exchangeability of software module and automated testing is realized.