• Journal of Advanced Navigation Technology
• /
• v.15 no.3
• /
• pp.419-431
• /
• 2011

Design traceability has been widely recognized as being an integral aspect of software development. Also many projects for software application development have failed because that the projects did not analyze user requirements sufficiently and reflected them in the projects adequately. This thesis proposes a specification and tracing technique for object-oriented analysis and design. The subject of this study is the artifacts of UML development methodology. Therefore, to improve the quality of the software development cycle, in short, the system requirement of customers will be able to respond quickly.

• Convergence Security Journal
• /
• v.12 no.6
• /
• pp.93-99
• /
• 2012

As the most common application development of software development time, error-free quality, adaptability to frequent maintenance, such as the need for large and complex software challenges have been raised. When developing web applications to respond to software reusability, reliability, scalability, simplicity, these quality issues do not take into account such aspects traditionally. In this situation, the traditional development methodology to solve the same quality because it has limited development of new methodologies is needed. Quality of applications the application logic, data, and architecture in the entire area as a separate methodology can achieve your goals if you do not respond. In this study secure coding, the big issue, web application factors to deal with security vulnerabilities, web application architecture, design procedure is proposed. This proposal is based on a series of ISO/IEC9000, a web application architecture design process.

• Construction Engineering and Management
• /
• v.12 no.6
• /
• pp.36-48
• /
• 2011

도로건설프로젝트에서의 VE는 도로시설물의 기능을 향상시키고 비용을 절감하기 위한 방법으로 지금까지 널리 활용되고 있다. 그러나, 실제 건설VE 실무에서는 VE Job Plan 중 일부 단계가 생략되거나 형식적으로 수행되는 문제점이 발생되어 VE 수행결과에 대한 신뢰성에 의문이 제기되고 있다. 이는 제조업과 달리 대규모이며 복합공종을 갖는 건설프로젝트의 특성을 반영하지 못하고 있기 때문이다. 건설프로젝트는 대규모 복합공종으로 구성되어 복잡하고 다양한 기능 및 요구성능이 있으며, 시설물이 갖는 기능(Function)과 요구성능(Required Performance)의 일부는 반복적으로 발생하는 특징을 가지고 있다. 이에 본 연구에서는 VE Process의 실효성을 높이기 위하여 품질모델(Quality Model)과 기능분석(Function Analysis)단계에서 이러한 특징을 반영한 개선방향을 제시하고, 수차례 실무 검증을 통하여 적용성 및 효율성을 확인하였다. 이와 더불어 고속도로 VE Job Plan은 고속도로 설계 업무절차에 부합하도록 개선하여 VE 수행효과가 극대화 되도록 제안하였으며, 또한 한국도로공사에서 시행하는 고속도로 대한 VE절차를 "Hi-Value"라 명명하고 실무활용성, 효율성을 확대하고 지속적으로 발전시켜 나아갈 계획이다.

• Journal of the Korean Institute of Gas
• /
• v.3 no.1
• /
• pp.27-32
• /
• 1999

Chemical processes are highly nonlinear, multivariable systems and have complex structures. However, the controllability evaluation procedures are complicated, and the required information is very often unknown at the early design stage. Therefore, it is necessary to develop a procedure to evaluate and enhance controllability while designing processes and plants. To evaluate controllability in the design stage, it is most efficient to analyze process structure. Relative order can be used as a measure of 'physical closeness' between input and output variable. Structural controllability analysis using relative order is shown to be effective in a case study of heat exchanger network synthesis.

• Review of KIISC
• /
• v.24 no.2
• /
• pp.50-55
• /
• 2014

자동차 전장제품 활용의 급속한 증가에 대응하기 위하여 자동차 분야에서는 ISO 26262 안전설계절차를 도입하여 차량용 임베디드 시스템의 안전성을 확보하려고 노력하고 있다. ISO 26262는 자동차에서 발생 가능한 비정상상태(abnormal state)를 식별하고 그의 영향을 분석하며 전체 시스템의 안전을 검증하는 것을 목표로 하고 있다. 다양한 종류의 부품이 연동되는 복잡한 시스템의 안전 검증은 결함수목법과 고장모드영향분석법을 활용하는 위험분석법이 보편적으로 사용된다. 결함주입시험은 이러한 위험분석의 기반도구로서 안전성을 향상시키기 위하여 사용된 고장감내 기능의 동작여부 및 그에 따른 시스템의 안전성을 검증하는 목적으로 사용된다. 본 논문에서는 차량용 고신뢰성 임베디드 시스템에서 사용되는 고장감내 메카니즘들의 기능과 안전을 검증하는 방법과 사례를 소개한다. 최근의 복잡한 차량용 임베디드 시스템의 개발은 상위수준의 모델을 개발하여 지정된 위험 및 고장을 초래하는 결함을 시스템에 주입하고 그의 결과를 분석하여 안전을 검증하는 것이 일반적인 방법이다. 개발 목표 차량의 임베디드 시스템 모델을 개발하고, 식별된 결함의 결함모델을 준비한 뒤, 시스템 모델 기반 결함주입 도구를 이용하여 결함주입을 수행하는 시험방법과 그 결과에 대하여 논의한다. 하드웨어는 SystemC 하드웨어 설계언어를 이용하여 개발하고, 소프트웨어를 컴파일하여 실행화일을 확보하여 시험대상인 결함모델을 개발하고 이를 대상으로 결함주입시험에 대해 설명한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.379-381
• /
• 2004

내장형 실시간 시스템은 점차 소형화, 다기능화 하여 그 복잡도가 증가하고 있다. 또한 제약사항이 일반적인 정보시스템 보다 더 까다롭다. 신뢰성 있고 안정적인 내장형 실시간 시스템을 구현하기 위해서 소프트웨어 공학의 적용이 필요하며, 특히 소프트웨어 아키텍처의 적용을 필요로 한다. 이에 본 논문에서는 내장형 실시간 시스템 개발 중 최적의 소프트웨어 아키텍처를 선정하기 위해서 필요한 소프트웨어 아키텍처 평가 절차를 제시한다. 측정기법(Measuring Techniques)과 질문기법(Questioning Techniques)을 혼합하여 분석을 수행한다. 측정기법을 위해서는 실 프로토타이핑(Real Prototyping)을 사용하여 질문기법을 위해서는 체크리스트를 사용한다 이를 통하여 소프트웨어 개발 생명주기의 초기단계에서 이리 목표시스템의 품질을 예측하고 위험을 미리 식별할 수 있다.

• Proceedings of the Korean Institute of Industrial Safety Conference
• /
• 1998.05a
• /
• pp.295-300
• /
• 1998

산업화가 진행됨에 따라 점점 복잡해지고 위험해 가고있는 산업설비에는 사고의 리스크가 잠재하고 있다. 이러한 위험설비와 위험시설물에서 발생될 수 있는 중대한 사고의 경우 그 사고의 예방과 피해최소화를 위해서 사고관리방안이 강구되어야 하고 그 방안을 수행할 절차서의 개발이 이루어 져야하고 개발된 절차사에 대한 사용교육과 훈련이 병행되어야한다. 이를 위해 선행되어야 할 것은 어떠한 사고관리방안이 최선인지를 평가하는 사고관리 방안의 평가가 필요하다. 사고관리 방안평가에 수반되는 불확실성의 모델링에는 의사결정수목 (Decision Trees) 영향도 (Influence Diagrams)의 이용할 수 있다. 본 연구는 이러한 사고관리방안 평가를 위한 도구 (Tools)을 개발하여 사고관리방안 평가체계를 세우고 아울러 개발 된 평가체계의 실현성과 적용가능성을 보이고자한다. (중략)

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.8 no.2
• /
• pp.162-170
• /
• 1984

대부분의 동적댐퍼들은 주구조물의 진동진폭을 정해진 주파수 변위내에서 최대로 줄이는 것을 목 표로 한다. 그러나 공작기계의 안정성은 시편과 공구사이의 상대변위와 절삭력에 의해 결정되는 전달함수의 최대크기에 의해서보다는 실수부분의 최소치에 의해 결정된다는 것이 잘 알려져 있 다. 본 논문에서는 이 사실에 착안하여 공작기계에서 발생하는 채터를 흡수하기 위한 최적의 댐 퍼를 설계하는 절차를 제시하고 1 자유도로 대표될 수 있는 구조물의 경우에 대하여 구체적인 방 법을 예시하였다. 종래의 최적 댐퍼의 성질을 구하는 방법에 비해 수학적인 절차가 약간 복잡해 지기는 하나 전산기를 이용하여 큰 어려움이 없이 최적의 설계자료를 얻을 수 있다. 댐퍼 질량이 정해졌을 때 감쇠율과 스프링 계수를 변수로 하는 목표함수가 하나의 식으로 유도될 수 없기 때 문 에 간단한 최적화 방법으로 이변수 황금분할법을 사용하였다. 수치적인 예를 통하여 종래의 다른 방법에 의한 결과와 비교하고 제안된 방법론의 타당성을 입증하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.43-46
• /
• 2000

최근에는 기업에서 처리되는 업무 형태가 그 절차도 더욱 많아지고 절차 간 흐름도 복잡해지고 있다. 여러 기업들이 관여되는, 이른바 대규모화되어 가고 있다. 워크플로우 시스템은 업무를 이루고 있는 단위 업무 처리에 적합하도록 객체 단위로 설계되어 있다. 적용 분야와 경우에 따라서는 이러한 생성되어 수행중인 객체들이 수만에서 수백만개가 여러 기업에 분산되어 존재하기도 한다. 따라서 기존의 단일서버-클라이언트 형태의 관리 도구로는 이러한 대규모 시스템을 지원하기에는 서버구조가 매우 비효율적이고, 서비스에도 많은 문제점을 안고 있다. 본 논문에서는 기업의 관리 모듈을 규모에 따라 워크플로우 엔진에 의존적으로 분산된 형태로 데이터와 기능들을 분산 배치시키고 메인 관리기에서 통합하여 관리함으로써 운용 서버의 부하를 줄이고, 가용성을 높일 수 있는 방안들을 추출하여 설계하고 구현하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.346-348
• /
• 2004

최근 개발되는 임베디드 시스템의 경우 하드웨어와 소프트웨어의 구조가 매우 복잡해짐에 따라, 시스템에 탑재되는 소프트웨어의 신뢰성 확보를 위한 테스트 절차가 요구되고 있다. 특히 시스템에 탑재되는 소프트웨어는 다중 함수에 의해 의사결정이 되면서. 시스템 디자인 단계에서 요구되는 스펙(Specification)을 만족하지 못하는 경우가 빈번하게 발생한다 본 논문에서는 임베디드 소프트웨어의 자동화된 테스트를 위해 요구되는 검증 모듈을 디자인하고 구현하였다 검증 모듈은 요구사항 기반으로 설계되었으며, 각각의 요구사항을 만족하는 검증 모듈을 구현하여 실제 상용화 제품에 대한 테스트를 진행하였다.