• Nuclear Engineering and Technology
• /
• 제51권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).

• 한국실내디자인학회논문집
• /
• 제15권2호
• /
• pp.21-28
• /
• 2006

The purpose of this study was to analyze the characteristics of Kinetic Architecture focused on case studies, categorize them and to research the possible applications of Kinetic Architecture. The results are as follow: first, the background of Kinetic Architecture is from the art, machine, nature and ancient architectures. Second, characteristics of Kinetic Architecture are deployability, modularity, lightweight, simplexity and interchangeability of parts. Third, the types of Kinetic Architecture are dynamically self-erecting structures, kinetic components, incremental architecture, mobile and disposable architecture. Finally, today the application cases of Kinetic Architecture are divided into the spital and skin part. The spital part is a temporary space, the multi-purpose spaces, housing, commercial spaces, and the educational spaces. The skin part offers functional(controling environments), artistic images through variation of materials and structural objects in the elevation.

• 대한임베디드공학회논문지
• /
• 제16권6호
• /
• pp.267-276
• /
• 2021

The automotive industry and academic research have been continuously conducting research on standardization such as AUTOSAR (AUTomotive Open System ARchitecture) and ISO26262 to solve problems such as safety and efficiency caused by the complexity of electric/electronic architecture of automotive. AUTOSAR is an automotive standard software platform that has a layered structure independent of MCU (Micro Controller Unit) hardware, and improves product reliability through software modularity and reusability. And, ISO26262, an international standard for automotive functional safety and suggests a method to minimize errors in automotive ECU (Electronic Control Unit)s by defining the development process and results for the entire life cycle of automotive electrical/electronic systems. These design methods are variously applied in representative automotive safety-critical systems. However, since the functional and safety requirements are different according to the characteristics of the safety-critical system, it is essential to research the AUTOSAR functional safety design method specialized for each application domain. In this paper, a software functional safety mechanism design method using AUTOSAR is proposed, and a new failure management framework is proposed to ensure the high reliability of the product. The AUTOSAR functional safety mechanism consists of memory partitioning protection, timing monitoring protection, and end-to-end protection. The fault management framework is composed of several safety SWCs to maintain the minimum function and performance even if a fault occurs during the operation of a safety-critical system. Finally, the proposed method is applied to the Shift-by-Wire system design to prove the validity of the proposed method.

• 교육시설 논문지
• /
• 제23권1호
• /
• pp.3-12
• /
• 2016

This thesis examines the shape, organization, background, and significance of the classroom space in highly appraised elementary schools since the inauguration of public education in modern times in the fields of education or architecture. This thesis acknowledges that classroom shapes comprise an auditorium-like space for a large-scale study group, a square-shaped classroom designed for simultaneous teaching for single class, and bent and L-shaped classrooms for various learning activities. Whereas the square-shaped classroom for simultaneous teaching which has lasted until now evolved around 1870, the post-1930s era witnessed the emergence of a composition in which classroom and outside space are associated, of an atypical classroom, and of Functional Unit where common space and classrooms are assembled. It is deemed that the emergence of the atypical classroom comes from the reinterpretation of learning and space pursuant to progressive pedagogical philosophy and child development theories and functional architecture theories. Thus, this thesis verifies that school construction and learning space can be newly created and the synthesis between education, child development studies, and architecture is a prerequisite to such a creation.

• 한국통신학회논문지
• /
• 제29권3A호
• /
• pp.347-357
• /
• 2004

네트웍 시스템은 빠른 트래픽 처리속도와 다양한 서비스 제공을 위한 유연성이라는 두 가지 측면을 모두 만족시키기 위하여 발전되어 왔고 이러한 결과로 네트웍 프로세서가 출현하게 되었다. 네트웍 프로세서의 성능을 향상시키는 방법으로는 고속의 외부 인터페이스와 전용 연산기 등을 이용하는 방법들이 사용되어왔다. 최근에 이르러 이러한 방법 이외에 아키텍쳐적인 방법을 이용한 SMT(Simultaneous MultiThreading) 네트웍 프로세서의 구조가 제안되었는데 SMT 구조는 설계의 복잡성으로 인하여 상용화에 어려움이 있다. 따라서 SMT 구조의 네트웍 프로세서를 개발하기 위해서는 SMT 구조의 하드웨어 간략화 측면의 연구가 필요하다. 본 논문에서는 SMT 구조의 각 유닛들이 네트웍 알고리즘을 실행하는데 있어서의 영향을 분석하고 그 결과를 바탕으로 최적화된 SMT 네트웍 프로세서의 구조를 제안하였다.

• 대한조선학회논문집
• /
• 제47권2호
• /
• pp.258-264
• /
• 2010

Various kinds of ballast water treatment systems (BWTS) have been developed corresponding to reinforced IMO rules for marine environment. Some of them got the certificate of IMO and others are waiting for it. Selection of optimum BWTS is very important. Optimum BWTS means not only functional requirements but also economic efficiency. This paper presents economic analysis model for optimum BWTS according to ship type and size. In this study 10 kinds of BWTS whose initial installation cost and maintenance cost are known are analyzed based on present worth method. It is assumed that all BWTS satisfy minimum functional requirements and we need to consider different economical efficiency. Through the economic analysis we could select optimum BWTS.

• 한국태양에너지학회 논문집
• /
• 제35권1호
• /
• pp.97-106
• /
• 2015

Gypsum board is easy to manufacture of a variety of forms and has stable mechanical properties and thermal properties. And gypsum boards are widely used to the walls and ceiling of the building as the interior building materials. The studies about technology of applying the various features in the gypsum board with additives are being actively investigated. Development methods for enhancing performance of the gypsum board using additives are largely divided into two categories. The first case is functional gypsum board that is to improve the moisture absorption and moisture-proof properties. Also studies of adsorption and decomposition of indoor air pollutants of the gypsum board using porous materials as an additive are being actively investigated. Another case is applying thermal storage materials which gives the heat storage performance to gypsum board. In this paper, we would like to introduce the various cases of gypsum board applied various additives.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 추계종합학술대회 논문집(2)
• /
• pp.329-332
• /
• 2000

This paper proposed resource allocation algorithm for the minimum power consumption of functional unit in high level synthesis process as like DSP which is circuit to give many functional unit. In this paper, the proposed method though high level simulation find switching activity in circuit each functional unit exchange for binary sequence length and value bit are logic one value. To used the switching activity find the allocation with minimal power consumption, the proposed method visits all control steps one by one and determines the allocation with minimal power consumption at each control step.

• 전자공학회논문지A
• /
• 제30A권12호
• /
• pp.10-17
• /
• 1993

In this paper, CCF(Call Control Function), functional entity for basic call processing in SSP(Service Switching Point), is designed and implemented. This functional entity can provide the IN(Intelligent Network) services which are included in CCITT CS-1(Capability Set-1), near-term process for IN Architecture. UIO(Unique Input Output) method, one of the thest sequence generation methods for the finite state machine, is used for the implementation test of this functional entity.

• 의료ㆍ복지 건축 : 한국의료복지건축학회 논문집
• /
• 제25권4호
• /
• pp.47-60
• /
• 2019

Purpose: Regional public hospitals have implemented functional reinforcement projects, and the facilities to accommodate them have increased in size. Nevertheless users in hospital are concerned about space shortage and area imbalances. Therefore I will trace the factors and trends that influence the size, and derive the relationship between these and the uses' critical opinion. Methods: Among the indicators for determining the size of medical facilities, the number of beds and total floor area are the essential indicators that directly affect the composition of space and allocation of area inside the medical facility. The purpose of this study is to investigate the change and the factors of change on the these two indicators in regional public hospitals and analyze the trend of changes. Results: In accordance with support undertaking, regional public hospitals have been increased the number of chronic-based beds and expanded additional facilities such as O.P.D specialized centers, emergency centers and funeral homes for reflecting the needs of the regions and times. However, as a result of analyzing the area, regional public hospitals are growing in size mainly on the ward and O.P.D is only expanded the scope of functional reinforcement division but total area level of O.P.D is lower than the recent level. In addition, the levels of D&T, Supply, mechanical/electrical equipment area related to medical support and control environment quality are very low. This is because the functional reinforcement projects have been done without concerning diagnose the whole facility. Implications: If functional reinforcement projects are conducted, to cope with problems of space shortage and imbalance of area, it is judged that an architectural planning that comprehensively analyzes existing facilities and related departments should be included.