• Title/Summary/Keyword: Software design

Search Result 7,194, Processing Time 0.032 seconds

An Extensive Model on Essential Elements of Software Architecture (소프트웨어 아키텍처의 구성요소에 대한 포괄적 모델)

  • Koh, Seok-Ha
    • Journal of Information Technology Applications and Management
    • /
    • v.19 no.2
    • /
    • pp.135-147
    • /
    • 2012
  • Software architecture, as a blueprint for the system, should provide a robust foundation for design, implementation, and maintenance, for communication and documentation, and for reasoning about important system properties. Software architecture plays a central role during the whole software life-cycle. There are so diverse definitions of the software architecture, however, and there is no common agreement about what software architecture is. Examining 27 'published' definitions of software architecture, we synthesize an extensive model on the essential elements of software architecture, which consists of components, interaction among components, well-formed structure, reasons, and various perspectives. Further, we explore the possibility of unifying diverse software architecture definitions into a software architecture life-cycle model.

Design and Implementation of Software Vulnerability Analysis Algorithm through Static Data Access Analysis

  • Lim, Hyun-il
    • Journal of the Korea Society of Computer and Information
    • /
    • v.20 no.8
    • /
    • pp.69-75
    • /
    • 2015
  • Nowadays, software plays various roles in applications in wide areas. However, the security problems caused by software vulnerabilities increase. So, it is necessary to improve software security and safety in software execution. In this paper, we propose an approach to improve the safety of software execution by managing information used in software through static data access analysis. The approach can detect the exposures of secure data in software execution by analyzing information property and flows through static data access analysis. In this paper, we implemented and experimented the proposed approach with a base language, and verify that the proposed approach can effectively detect the exposures of secure information. The proposed approach can be applied in several areas for improving software safety by analysing vulnerabilities from information flows in software execution.

A DEVELOPMENT FRAMEWORK FOR SOFTWARE SECURITY IN NUCLEAR SAFETY SYSTEMS: INTEGRATING SECURE DEVELOPMENT AND SYSTEM SECURITY ACTIVITIES

  • Park, Jaekwan;Suh, Yongsuk
    • Nuclear Engineering and Technology
    • /
    • v.46 no.1
    • /
    • pp.47-54
    • /
    • 2014
  • The protection of nuclear safety software is essential in that a failure can result in significant economic loss and physical damage to the public. However, software security has often been ignored in nuclear safety software development. To enforce security considerations, nuclear regulator commission recently issued and revised the security regulations for nuclear computer-based systems. It is a great challenge for nuclear developers to comply with the security requirements. However, there is still no clear software development process regarding security activities. This paper proposes an integrated development process suitable for the secure development requirements and system security requirements described by various regulatory bodies. It provides a three-stage framework with eight security activities as the software development process. Detailed descriptions are useful for software developers and licensees to understand the regulatory requirements and to establish a detailed activity plan for software design and engineering.

A Method for Detecting Inconsistent Element of Software Development Specification (소프트웨어 개발 명세서의 불일치 요소 검출방안)

  • Choi Shin-Hyeong
    • The Journal of the Korea Contents Association
    • /
    • v.5 no.2
    • /
    • pp.213-219
    • /
    • 2005
  • The specifications which are drawn up when developing a software cannot achieve continuous automation because of individual qualities of them, and many inconsistent elements can be discovered even from software audit. In this paper, we establish the standards for the classification of inconsistent items by analysing audit related data in order to maintain the consistency among specifications drawn up in the phases of analysis and design. We propose the specification inconsistent item detection method. This can reduce the error of the specification which is drawn up from analysis and design phase with it will be able to improve the quality of the software which is a last product. It can improve the quality of the software which is a last product, by reducing the error of the specification which is drawn up from analysis and design phase.

  • PDF

Development of a Prototype Integrated Design System Based on Multi-Agent System (멀티 에이전트 기반의 통합 설계 시스템 개발에 관한 연구)

  • 이재경;이종원;한형석
    • Proceedings of the Korean Society of Precision Engineering Conference
    • /
    • 2004.10a
    • /
    • pp.1357-1360
    • /
    • 2004
  • In this paper, a prototype of agent-based engineering system is developed based on the AADE (autonomous agent development environment), a FIPA compliant agent platform. By applying several advanced technologies including software agents, Internet/Web, workflow and database, the developed prototype system is able to successfully fulfill our target of integrating personnel, design activities and engineering resources along a predefined engineering design project (workflow). A software prototype is implemented to integrate various engineering software tools including CAD, structural analysis (FEA), dynamic analysis, fatigue analysis. A wheel-axle-assembly (part of a bogie system) is chosen as a test case for the validation of the prototype system.

  • PDF

A Software Design Method for Arduino Applications using UML (UML을 이용한 아두이노 어플리케이션 설계)

  • Park, Ki-Chang;Lee, Hyun-Cheol;Kim, Eun-Seok
    • The Journal of the Korea Contents Association
    • /
    • v.15 no.8
    • /
    • pp.1-8
    • /
    • 2015
  • Arduino is an open-source prototyping platform. It has been used in diverse areas including media-art, simulation and interaction devices. The Arduino application does not provide an effective form of software design specification, since it is basically developed in C Programming language. In this paper, we propose a design method for the Arduino applications using the extension mechanism of the UML(Unified Modeling Language). The proposed method is enable to specify the main function of Arduino applications like digital I/O and analog I/O in UML notations.

Improvement of VSDS (Ventilation System Design Software) (산업환기시스템 설계 소프트웨어의 개선)

  • Park, Dong-Hee;Kim, Tae-Hyeung
    • Journal of Korean Society of Occupational and Environmental Hygiene
    • /
    • v.10 no.2
    • /
    • pp.78-97
    • /
    • 2000
  • Designing the industrial ventilation system is the complex and time-consuming job. It could generate some errors in the design calculations if one uses the hand-calculator or the spreadsheet program. To overcome these difficulties, VSDS(Ventilation System Design Software) had been developed a few years ago. But, it had the difficulty in designing a complex system having many branches because the user can not see the layout of the system on the screen. Another difficulty is that VSDS had been based on the assumption of the standard air condition. VSDS has thus been improved to overcome the shortcomings of the old version of VSDS.

  • PDF

A study on Batch-processing in Performing Design-changes of Robot-links using Parametric Method (파라메트릭 기법을 사용한 로봇링크 설계변경의 일괄처리 적용연구)

  • Park Tae Won;Moon Ha Kyung;Jung Il Ho;Seo Jong Hwi;Kim Hyuk;Choi Yong Won;Choi Jae Rak
    • Journal of the Korea Society for Simulation
    • /
    • v.14 no.1
    • /
    • pp.43-53
    • /
    • 2005
  • We developed the module of the software that robot designers can perform their work faster and more easily. The parametric modeler is founded on the virtual robot design program. The virtual robot design program is the powerful software which may be used to solve various problems of robot kinematics and dynamics. The parametric modeler in the software we developed is that all the positions of joints and links are changed automatically when the designer changes one joint or one link in the robot system. Without parametric method, robot-designers must change all the positions of connected joints and links. It might become time-consuming. However, it is very efficient for designers to use the method of batch-processing in performing design-changes of robot-links using the parametric modeler.

  • PDF

A Low Power Design of H.264 Codec Based on Hardware and Software Co-design

  • Park, Seong-Mo;Lee, Suk-Ho;Shin, Kyoung-Seon;Lee, Jae-Jin;Chung, Moo-Kyoung;Lee, Jun-Young;Eum, Nak-Woong
    • Information and Communications Magazine
    • /
    • v.25 no.12
    • /
    • pp.10-18
    • /
    • 2008
  • In this paper, we present a low-power design of H.264 codec based on dedicated hardware and software solution on EMP(ETRI Multi-core platform). The dedicated hardware scheme has reducing computation using motion estimation skip and reducing memory access for motion estimation. The design reduces data transfer load to 66% compared to conventional method. The gate count of H.264 encoder and the performance is about 455k and 43Mhz@30fps with D1(720x480) for H.264 encoder. The software solution is with ASIP(Application Specific Instruction Processor) that it is SIMD(Single Instruction Multiple Data), Dual Issue VLIW(Very Long Instruction Word) core, specified register file for SIMD, internal memory and data memory access for memory controller, 6 step pipeline, and 32 bits bus width. Performance and gate count is 400MHz@30fps with CIF(Common Intermediated format) and about 100k per core for H.264 decoder.

Automation of the Concurrent Real-Time Task Structuring in the modified CDOARTS Methodology (수정된 CODARTS 벙법론에서의 실시간 병렬 태스크 자동 구성)

  • 김규년;정민포;이종구
    • Journal of KIISE:Software and Applications
    • /
    • v.26 no.1
    • /
    • pp.106-106
    • /
    • 1999
  • When we design real-time software target system is analyzed and then we structure sequential executive modules into concurrent tasks. As a result of the analysis, control flow and dataflow diagram based on the RTSA notation is produced. This diagram is structured into concurrenttasks under the condition that performance problem is not serious. The criteria structuring concurrenttasks are introduced as Concurrent Design Approach for Real-Time System(CODARTS) by Gomaa.But structuring concurrent tasks using the criteria of CODARTS is somewhat difficult because thecriteria are dependent on designer's experience. CODARTS is an wide-range and abstractmethodology. As a result, the design can be inconsistent and peoples can understand it differently Inthis paper, we restructure the CODARTS methodology, propose a revised CODARTS structure andrepresent the task structuring steps for this new framework to overcome the understanding andinconsistency problems. The revised CODARTS framework and task structuring steps can be used toautomate the design of real time concurrent software systems. Finally, we show an example of taskstructuring in revised CODARTS framework.