• Title/Summary/Keyword: System Abstraction

Search Result 264, Processing Time 0.028 seconds

Software Engineering Meets Network Engineering: Conceptual Model for Events Monitoring and Logging

  • Al-Fedaghi, Sabah;Behbehani, Bader
    • International Journal of Computer Science & Network Security
    • /
    • v.21 no.12
    • /
    • pp.9-20
    • /
    • 2021
  • Abstraction applied in computer networking hides network details behind a well-defined representation by building a model that captures an essential aspect of the network system. Two current methods of representation are available, one based on graph theory, where a network node is reduced to a point in a graph, and the other the use of non-methodological iconic depictions such as human heads, walls, towers or computer racks. In this paper, we adopt an abstract representation methodology, the thinging machine (TM), proposed in software engineering to model computer networks. TM defines a single coherent network architecture and topology that is constituted from only five generic actions with two types of arrows. Without loss of generality, this paper applies TM to model the area of network monitoring in packet-mode transmission. Complex network documents are difficult to maintain and are not guaranteed to mirror actual situations. Network monitoring is constant monitoring for and alerting of malfunctions, failures, stoppages or suspicious activities in a network system. Current monitoring systems are built on ad hoc descriptions that lack systemization. The TM model of monitoring presents a theoretical foundation integrated with events and behavior descriptions. To investigate TM modeling's feasibility, we apply it to an existing computer network in a Kuwaiti enterprise to create an integrated network system that includes hardware, software and communication facilities. The final specifications point to TM modeling's viability in the computer networking field.

A Resource Design Methodology and Adapters Implementation for Core Framework for Software Defined Radio

  • Son, Jin-Ho;Tai M. Chung
    • Journal of electromagnetic engineering and science
    • /
    • v.3 no.2
    • /
    • pp.91-98
    • /
    • 2003
  • Software Communication Architecture(SCA) has been made to reduce the development period of new waveform applications by reusing design modules. Software Defined Radio(SDR) forum adopted SCA specification and follows its design concept. However, SCA specification does not describe interfaces and deployments of resources in details, which are software components, and how to implement them as well as how to communicate each other are another missing points in specification. In this paper, we propose a resource design methodology and details of adapter implementation for Core Framework(CF) that is a core set of open interface and services providing an abstraction of the underlying software and hardware layer. We also present SDR prototype system which communicates with resources implemented in different programming languages and processors in legacy environment through our design methodology.

A Study on the Characteristics of expression and formal principle of universalism it Architectural Composition (건축형태구성에 있어 보편성 원리와 표현특성에 관한 연구)

  • 이승우
    • Korean Institute of Interior Design Journal
    • /
    • no.16
    • /
    • pp.175-181
    • /
    • 1998
  • The purpose of this study was to analyze the characteristics of expression and formal principle of universalism in Architectural Composition. Theorical category is to find universal system with the connection between idea of society and tradition in compositional frame the results were as follows : First it is the pursuit of divine. Through Middle Age and Renaissance universalism of principles in Architectural Composition is appeared a numerical order and human proportion with applying of cosmology. Second it is the pursuit of schema. With the simplicity of formal image it represented to the geometrical form for its clearness. Third it is the pursuit of typology. As to play a role of decisive factor in formal construction type represented the model with abstraction of shape.

  • PDF

Context categorization of physiological signal for protecting user's privacy (사생활 보호를 위한 생체 신호기반 컨택스트 분석 및 구분기법)

  • Choi, Ah-Young;Rashid, Umar;Woo, Woon-Tack
    • 한국HCI학회:학술대회논문집
    • /
    • 2006.02a
    • /
    • pp.960-965
    • /
    • 2006
  • Privacy and security are latent problems in pervasive healthcare system. For the sake of protecting health monitoring information, it is necessary to classify and categorize the various contexts in terms of obfuscation. In this paper, we propose the physiological context categorization and specification methodology by exploiting data fusion network for automatic context alignment. In addition, we introduce the methodologies for making various level of physiological context on the context aware application model, which is wear-UCAM. This physiological context has several layers of context according to the level of abstraction such as user-friendly level or parametric level. This mechanism facilitates a user to restrict access to his/her monitoring results based on the level of details in context.

  • PDF

Implementation of the Text Abstraction System using the Statistical Information of Korean Documents (한국어 문서의 통계적 정보를 이용한 문서 요약 시스템 구현)

  • Kang, Sang-Bae;Cho, Hyuk-Kyu;Kwon, Hyuk-Chul;Park, Jae-Deuk;Park, Dong-In
    • Annual Conference on Human and Language Technology
    • /
    • 1997.10a
    • /
    • pp.28-33
    • /
    • 1997
  • 이 논문에서는 문장 유사도 측정 기법과 말뭉치 정보를 이용한 문서요약 시스템을 구현하였다. 문서 요약은 문서에서 문장 단위로 단어를 추출하여 문장을 단어의 벡터로 표현하고, 문서 내 단어의 출현빈도와 말뭉치 내 단어의 사용빈도를 이용하여 각 문장의 중요도를 계산한다. 그리고 중요도가 높은 상위 몇 위의 문장을 요약문장으로 추출한다. 실험 결과, 문서내 단어빈도의 중요도를 낮추고, 말뭉치내 일반 사용빈도를 단어의 가중치에 추가했을 때 가장 좋은 효율을 보였다. 또 요약하고자 하는 문서와 유사한 말뭉치를 사용 했을 때 높은 효율을 보였다.

  • PDF

Analysis of Verification Methodologies Based on a SoC Platform Design

  • Lee, Je-Hoon;Kim, Sang-Choon
    • International Journal of Contents
    • /
    • v.7 no.1
    • /
    • pp.23-28
    • /
    • 2011
  • In a SoC (system-on-chip) design, a design complexity is a big bottleneck. In order to overcome the design complexity, platform based design method is widely adopted for designers. Most complex SoCs need a heterogeneous design development environment for hardware and software co-design. In this paper, we discuss about some kinds of verification approaches with platform based design methodology at various abstraction levels of SoC design. We separate the verification process to two steps according to the different levels of verification. We employ a flexible SoC design environment to support simultaneous hardware and software development. We demonstrate the verification strategy of a target SoC design, IEEE 802.11a WLAN SoC.

A Study on an Object oriented Modeling for the Satelite Control System Development reusing Structured Analysis and Design Approach (위성관제 시스템 개발을 위한 구조적 기법을 재사용한 객체 지향 모델링에 관한 연구)

  • 김재훈;정원찬;이상범
    • Journal of Astronomy and Space Sciences
    • /
    • v.15 no.2
    • /
    • pp.475-484
    • /
    • 1998
  • The object-oriented approach is a difficult method for engineers who are accustomed to other software development methods although it is an excellent software development approach. This paper presents a method for object-orineted modeling re-using DFD(Data Flow Diagram) and SC(Structure Chart) of structured analysis and design approach. This paper suggests an easy method for analysis and design using structured approach for object abstraction, which is one of the most difficult things in object-oriented approach.

  • PDF

Development of a smart wireless sensing unit using off-the-shelf FPGA hardware and programming products

  • Kapoor, Chetan;Graves-Abe, Troy L.;Pei, Jin-Song
    • Smart Structures and Systems
    • /
    • v.3 no.1
    • /
    • pp.69-88
    • /
    • 2007
  • In this study, Field-Programmable Gate Arrays (FPGAs) are investigated as a practical solution to the challenge of designing an optimal platform for implementing algorithms in a wireless sensing unit for structuralhealth monitoring. Inherent advantages, such as tremendous processing power, coupled with reconfigurable and flexible architecture render FPGAs a prime candidate for the processing core in an optimal wireless sensor unit, especially when handling Digital Signal Processing (DSP) and system identification algorithms. This paper presents an effort to create a proof-of-concept unit, wherein an off-the-shelf FPGA development board, available at a price comparable to a microprocessor development board, was adopted. Data processing functions, including windowing, Fast Fourier Transform (FFT), and peak detection, were implemented in the FPGA using a Matlab Simulink-based high-level abstraction tool rather than hardware descriptive language. Simulations and laboratory tests were carried out to validate the design.

Enterprise Knowledge Management Using Model Repository : P Company Case (모델 리파지토리를 이용한 기업지식경영 : P사 적용 사례를 중심으로)

  • 정재우;이희석
    • Journal of the Korean Operations Research and Management Science Society
    • /
    • v.16 no.2
    • /
    • pp.33-33
    • /
    • 1991
  • The management of enterprise knowledge has been increasingly important because knowledge emerges as the new basis of competition in postcapitalist society. One of the key issues in knowledge management is to put knowledge into a repository where it can be easily stored, reused, and recreated. This paper proposes a model repository and the corresponding knowledge management framework. The emphases of model repository is on abstraction knowledge in the form of schematic models. Two major benefits are model independence and model integration. A metaschema is constructed according to six conceptual components: separate unit, external link, internal link, separate unite descriptor, link descriptor, and composite descriptor, which can be applied for a variety of models. A prototype system with a case illustrates the practical usefulness of model repository for knowledge management

Modeling Mobility Agents in Supervisory and Controlling Systems Based on Nets within Nets (ICCAS2005)

  • Xiaohui, Hu;Jianwu, Dang;Xingshe, Zhou
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 2005.06a
    • /
    • pp.433-437
    • /
    • 2005
  • The goal of our research is to develop a formal modeling methodology for supervisory and controlling systems that have artificially intelligent features. This approach is agent-based and central to the development of the model of mobility agent considering reactivity for real-time purpose and deliberation for optimal realization and safe-fail problems for critical systems like Intelligent Transportation Systems by high-level Petri net. By using nets within nets we investigate the concurrency of the system and the agent in one model without losing the needed abstraction, and synchronous channels are introduced to denote the coordination and communication. Finally an example is demonstrated.

  • PDF