• Nuclear Engineering and Technology
• /
• v.51 no.2
• /
• pp.463-478
• /
• 2019

The most important non-functional requirements for dependability of any Embedded Real-Time Safety Systems are safety, availability and reliability requirements. System architecture plays the primary role in achieving these requirements. Compliance with these non-functional requirements should be ensured early in the development cycle with appropriate considerations during architectural design. In this paper, we present an application of system architecture modeling for quantitative assessment of system dependability. We use probabilistic model checker (PRISM), for dependability analysis of the DTMC model derived from system architecture model. In general, the model checking techniques do not scale well for analyzing large systems, because of prohibitively large state space. It limits the use of model checking techniques in analyzing the systems of practical interest. We propose abstraction based compositional analysis methodology to circumvent this limitation. The effectiveness of the proposed methodology has been demonstrated using the case study involving the dependability analysis of safety system of a large Pressurized Water Reactor (PWR).

• Research in Mathematical Education
• /
• v.11 no.3
• /
• pp.177-184
• /
• 2007

The purpose of this paper is to introduce the development of a new Lesson Video-Case Lab (LVCL) program in Suzhou, China. This program involves the creation of several series of hypermedia video-cases on teaching and learning designed to facilitate mathematics teachers' professional development. Each of these video-cases consists of lesson clips, case questions, interviews with experts, comments by peers, responses by students and other related resources. The study has implications pertaining to the use of technology in teacher development, the production of hypermedia video-cases, as well as research on case-based pedagogy and pedagogy in general.

• The Journal of Information Systems
• /
• v.17 no.3
• /
• pp.111-134
• /
• 2008

As students can purchase textbooks online or from local bookstores, we proposed a model to study the predictors of textbook purchasing from online bookstores based on the theory of reasoned action (TRA) and technology acceptance model (TAM). The survey instrument consisted of 51 items to assess 10 constructs of the proposed model, where the items used to measure the constructs were adapted from previous literature. Pre-testing and pilot testing of the measures were conducted by selected users of online bookstores. Data were collected from 220 university students who have purchased and intend to purchase their textbooks from online bookstores. The findings of this research are summarized as follows. First, navigation, previous experience, and innovation have a significant impact on the buyer's perception of ease of use. Second, price and delivery services have a significant impact on the buyer's perception of usefulness. Third, the perception of ease of use also has a significant impact on the buyer's perception of usefulness. Fourth, the perception of ease of use, perception of usefulness, and subjective norms all significantly support the purchasing intention in the case of online bookstores.

• Informatization Policy
• /
• v.22 no.3
• /
• pp.36-46
• /
• 2015

This study verified theoretical model to explain adolescents' addictive use of smartphone. I used the data of 679 middle and high school students among 2013 internet addiction survey of National Information Society Agency(NIA). This study utilized structural equation modeling analysis to compare a suggestive model and alternative model. According to the final model, higher the satisfaction of family relationship, the addictive use of smartphone and emotional problems of adolescents were reduced. And, higher the addictive use of smartphone, higher the emotional problems of adolescents. Also, family relationship affects emotional problems via addictive use of smartphone. While, in the alternative model, path from amount of smartphone use to addictive use of smartphone was not significant. Results of this study suggest that family relationship variable may play an antecedent factor of addictive use of smartphone and emotional problems of adolescents and control of smartphone use is important to keeping a mental health of adolescents.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2006.05a
• /
• pp.569-572
• /
• 2006

In this paper, we purpose requirement capturing for RSS reader that be able to aggregate and subscribe to a RSS format document and describing for analysis model. We execute requirement analysis and documentation by using analysis model which is adopted use case model. And the method of requirement analysis is based on Responsibility Driven Design. Analysis model that is not premised on special reader is able to use business model.

• Journal of Navigation and Port Research
• /
• v.27 no.3
• /
• pp.267-272
• /
• 2003

This paper describes design method of Passive-type Radar Reflector (PRR) which is to provide the requirement of newly revised 2000 SOLAS regulations on the Radar Reflector. The main target of this work is to find the optimum shape of a radar target having large Radar Cross Section (RCS). Through the RCS analysis based on the theoretical approach, two kinds of PRR models, RRR-F model for use in fisheries and PRR-S model for use in small sized ship, are designed and discussed their RCS performance. RCS measurement tests for the various sized samples are carried out in an anechoic chamber. As evaluation results it was clearly shown that the conventional sphere-type shows optimum shape in case of PRR-S, while the cylinder-type which consists of large sized corner clusters or zig-zag flat plats gives best performance in case of PRR-F.

• Proceedings of the Korea Concrete Institute Conference
• /
• 2004.11a
• /
• pp.285-288
• /
• 2004

Generally, the autogenous shrinkage of high performance concrete is important in that it can lead the early cracks in concrete structures. In the previous study, The. autogenous shrinakge of HPC was found to decrease with incresing expansive additive and shrinakge reduction agent. In case of combined use, the autogenous shrinakge was more reduction than in case separate use. The purpose of this study is to derive a realistic equation to estimate the autogenous shrinakge model of high performance concrete with exapnsive agent and shrinakge reduction agent. investigated the durability of high performance concrete using expansive additive and shrinkage reducing agent. The proposed equation showed reasonably good correlation with test data on autogenous shrinakge of high performance concrete with material for shrinkage reduction.

• International Journal of Highway Engineering
• /
• v.18 no.6
• /
• pp.153-160
• /
• 2016

OBJECTIVES : The objective of this study is to develop a traffic accident model of a roundabout based on the type of land use. METHODS : The traffic accident data from 2010 to 2014 were collected from the "traffic accident analysis system (TAAS)" data set of the Road Traffic Authority. A multiple linear regression model was utilized in this study to analyze the accidents based on the type of land use. Variables such as geometry and traffic volume were used to develop the accident models based on the type of land use. RESULTS : The main results are as follows. First, the null hypothesis that the type of land use does not affect the number of accidents is rejected. Second, four accident models based on the type of land use have been developed, which are statistically significant (high $R^2$ values). Finally, the total entering and circulating volumes, area of the central island, number of speed breakers, mean number of entry lanes, diameter of the inscribed circle, mean width of the entry lane, area of the roundabout, bus stops, and number of circulatory roadways are analyzed to see how they affect the accident for each type of land use. CONCLUSIONS : The development of the accident models based on the type of land use has revealed that the accident factors at a roundabout are different for each case. Thus, more speed breakers in commercial areas and an inscribed circle of proper diameter in commercial and residential areas are determined to be important for reducing the number of accidents. Additionally, expanding the width of the entry lanes, decreasing the area of the roundabouts in residential areas, and reducing the conflict factors such as bus stops in green spaces are determined to be important.

• Journal of KIISE:Software and Applications
• /
• v.28 no.3
• /
• pp.211-223
• /
• 2001

본 논문에서 제안하는 시나리오기반 검증기법의 목적은 UML로 작성된 객체지향 분석모델의 완전성 및 일관성을 진단하는 것이다. 검증기법의 전체 절차는 요구분석을 위한 Use Case 모델링 과정에서 생성되는 Use Case 시나리오와 UML 분석모델로부터 역공학적 방법으로 도출된 객체행위 시나리오와의 상호참조과정 및 시나리오 정보트리 추적과정을 이용하여 단계적으로 수행된다. 본 검증절차를 위하여 우선, UML로 작성된 객체지향 분석모델들은 우선 정형명세언어를 사용하여 Use Case 정형명세로 변환하다. 그 다음에, Use Case 정형명세로부터 해당 Use Case 내의 객체의 정적구조를 표현하는 시나리오 정보트리를 구축하고, Use Case 정형명세 내에 포함되어 있는 객체 동적행위 정보인 메시지 순차에 따라 개별 시나리오흐름을 시나리오 정보트리에 표현한다. 마지막으로 시나리오 정보트리 추적과 시나리오 정보 테이블 참조과정을 중심으로 완전성 및 일관성 검증작업을 수행한다. 즉, 검증하고자 하는 해당 Use Case의 시나리오 정보트리를 이용한 시나리오 추적과정을 통해 생성되는 객체행위 시나리오와 요구분석 과정에서 도출되는 Use Case 시나리오와의 일치여부를 조사하여 분석모델과 사용자 요구사양과의 완전성을 검사한다. 그리고, 시나리오 추적과정을 통해 수집되는 시나리오 관련종보들을 가지고 시나리오 정보 테이블을 작성한 후, 분석과정에서 작성된 클래스 관련정보들의 시나리오 포함 여부를 확인하여 분석모델의 일관성을 검사한다. 한편, 본 논문에서 제안하는 검증기법의 효용성을 증명하기 위해 대학의 수강등록시스템 개발을 위해 UML을 이용해 작성된 분석모델을 특정한 사례로써 적용하여 보았다. 프로세싱 오버헤드 및 메모리와 대역폭 요구량 측면에서 MARS 모델보다 유리함을 알 수 있었다.과는 본 논문에서 제안된 프리페칭 기법이 효율적으로 peak bandwidth를 줄일 수 있다는 것을 나타낸다.ore complicate such a prediction. Although these overestimation sources have been attacked in many existing analysis techniques, we cannot find in the literature any description about questions like which one is most important. Thus, in this paper, we quantitatively analyze the impacts of overestimation sources on the accuracy of the worst case timing analysis. Using the results, we can identify dominant overestimation sources that should be analyzed more accurately to get tighter WCET estimations. To make our method independent of any existing analysis techniques, we use simulation based methodology. We have implemented a MIPS R3000 simulator equipped with several switches, each of which determines the accuracy level of the

• Journal of KIISE
• /
• v.44 no.3
• /
• pp.261-274
• /
• 2017

Variability management is the foremost criterion that defines the extent to which complexities can be handled in a system. Predominantly, the requirements' engineering (RE) study overlooks, or speculates a consistent behavior of, the environment in which a system functions. In real-time systems it is vital to observe and adjust to an intrinsically changing context. Therefore, in this work we identify the requirements of the system in various contexts by recommending a framework using i* goal model, problem frames, use case maps and live sequence charts. The framework is illustrated using a case study of the smart grid RTP system. In the case study, elaboration of scenarios using use case maps and live sequence charts proved beneficial as they assisted in early analysis and validation of contexts. In addition, the elaboration of requirements for obstacle and conflict analysis assists the requirements engineer to increase the robustness of the system. The proposed framework is evaluated theoretically and by empirical study.