• 제목/요약/키워드: 추가보증

검색결과 63건 처리시간 0.026초

Safety-critical 소프트웨어 V&V 지침서 개발 방법론

  • 김장열;이장수;권기춘
    • 한국원자력학회:학술대회논문집
    • /
    • 한국원자력학회 1997년도 춘계학술발표회논문집(1)
    • /
    • pp.233-238
    • /
    • 1997
  • 본 논문에서는 Safety-critical 소프트웨어를 위한 V'||'&'||'V 지침서(guideline) 개발 방법론을 제시한다. 즉, 기존의 산업계 표준인 IEEE Std-1012, IEEE Std-1059에서 논의되고 있는 개념을 근간으로 "독립성(independence)", "소프트웨어 안전성 분석(software safety analysis)", "COTS 평가(evaluation) 기준", "다른 보증(assurance) 조직들간의 관련성(relationship)" 등의 필수 안전 항목들을 추가하여 원전 안전성 시스템(NPP safety system)을 위한 V'||'&'||'V 지침서 개발 방법론을 제시하였다 제시된 방법론에는 V'||'&'||'V 지침서의 범위(scope), 승인기준(acceptance criteria) 부분인 지침서 프레임(guideline framework), V'||'&'||'V activities 및 methods 부분인 타스크(task) entrance 및 exit 기준(criteria), 리뷰 및 감사(review and audit), 테스팅 그리고 V'||'&'||'V material의 QA 레코드(records) 및 형상관리, 소프트웨어 검증 및 확인 계획서(Software Verification and Validation Plan : SVVP) 생성 등의 내용을 기술하고, Safety-critical 소프트웨어 V'||'&'||'V 방법론도 함께 제시하였다.

  • PDF

"건설경기 어렵다고 하도급업체 힘들게 해선 안돼!" - 공정거래위원회, 하도급실태조사 실시 -

  • 대한설비건설협회
    • 월간 기계설비
    • /
    • 통권241호
    • /
    • pp.34-37
    • /
    • 2010
  • 공정거래위원회가 지난해 말 20개 건설업체를 대상으로 하도급 현장조사를 실시한 결과 조사대상 업체 모두 법위반 행위를 하고 있음을 적발, 약 4억원의 과징금 부과와 총 51억원 상당의 위반금액을 936개 관련 하도급업체들에게 지급하도록 조치했다. 확인된 법위반 유형으로는 $\triangle$부당하게 하도급대금 결정 $\triangle$하도급대금 지연이자 미지급 $\triangle$어음할인료 수수료 미지급 $\triangle$선급금 지급 위반 $\triangle$지급보증 불이행 등이 대부분이다. 특히, 하도급공사 입찰시 입찰최저가가 이미 자기 실행예산보다 낮음에도 불구하고 이보다 더 낮추기 위해 금지되어 있는 재입찰 방식이나 추가 인하 수단을 동원한 바 있고, 자기 회사는 공공기관 등 발주자로부터 현금으로 공사대금을 받고도 하도급업체들에게는 현금이 아닌 장기어음 등으로 지급하는 등의 사례가 적발됨으로써 나쁜 관행이 여전히 만연되고 있는 것으로 나타났다.

  • PDF

항공소프트웨어 설계단계와 감항인증에서의 정형검증 적용연구 (Applied research in formal verification of certificates of airworthiness and aviation software design phase)

  • 장준하;최진영
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2016년도 추계학술발표대회
    • /
    • pp.433-435
    • /
    • 2016
  • 기술의 발전에 따라 첨단무기체계인 군용항공기는 전투임무 수행시 내장형소프트웨어(Embedded Software)를 통해 기체내의 항공전자 장치, 항법장치, 조종장치 등의 물리적 기계적 움직임을 제어하고 있으며, 내장형 소프트웨어의 비율은 점점 증가하고 있다. 기체의 물리적 기계적 움직임이 내장형 소프트웨어에 의해 제어 되기 때문에 군용항공기의 전투능력 보존과 국방 목적의 수행을 위해선 먼저 내장형 소프트웨어 고유의 특성을 만족하고, 나아가 소프트웨어 안전성, 신뢰성, 보안성을 확보하는 것이 필요하다. 본 논문에서는 설계 단계에서 스케줄성에 대해 정형검증 하여, 내장형 소프트웨어의 실시간성, 결정성, 생존성을 보증하고, 이러한 과정을 통해 전체적인 소프트웨어 안전성, 신뢰성, 보안성을 향상시키는 방안을 연구하며, 추가로 2011년 발표된 항공 소프트웨어 표준인 DO-178C에서 요구하는 정형검증을 적용한 국내 감항인증 표준 제정의 확대방안을 연구한다.

컴포넌트의 품질 평가 방안에 관한 연구 (A Study on Component Quality Evaluation)

  • 김선희;박성호;박영선;최은만;구자경;김철홍;안유환
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
    • /
    • pp.543-545
    • /
    • 2000
  • 소프트웨어 개발 생산성을 높일 수 있는 방법으로 주목받고 있는 컴포넌트는 구성 자체의 기능과 호환성도 중요하지만 무엇보다도 컴포넌트의 신뢰성 즉 품질의 보장이 중요하다. 컴포넌트 품질에 대한 접근 방법에는 인증(certification) 방법과 개발 과정을 감사(audit) 방법이 있다. 사용자의 만족도를 평가에 적용하여 프로세스 감사는 품질 보증 활동의 결과를 이용하고 인증 방법처럼 컴포넌트의 내부 특성을 조사하여 품질을 객관적으로 평가하며 사용자 만족도를 가미하는 방식으로 품질 평가에 접근하였다. 또한 ISO 9126을 기본으로 하여 이 표준에 컴포넌트 품질 평가 기준들을 추가하여 체크리스트 작성하고 세 가지 관점 즉 컴포너트 운영, 컴포넌트 변경, 컴포넌트 합성으로 나누어 품질을 평가함으로 제 3자가 완성된 컴포넌트의 품질을 평가하는 지침이 될 수 있는 방안을 제시하였다.

  • PDF

인터넷 실시간 멀티미디어 서비스를 위한 서비스 품질 측정 방안과 에이전트 시스템 설계에 관한 연구 (A Study on Agent System Design and QoS Measurement Method for Internet Real-time Multimedia Services)

  • 김정수
    • 한국컴퓨터정보학회:학술대회논문집
    • /
    • 한국컴퓨터정보학회 2008년도 제38차 하계학술발표논문집 16권1호
    • /
    • pp.55-62
    • /
    • 2008
  • 최근 네트워크 고도화로 유무선 통합된 협업 서비스를 고객에게 제공한다. 서비스 제공자의 다양한 네트워크 서비스 상품이 앞으로 추가 출시될 예정이며 이에 따른 서비스 품질은 매우 중요한 이슈가 될 것이다. 특히 멀티미디어 서비스는 프리미엄 서비스로 서비스 제공자는 고객에게 서비스 품질을 보증해야만 된다. 초고속 인터넷 서비스 상품으로 인터넷 전화기, 인터넷 다운 속도 등 다양한 인터넷 서비스 품질 측정을 제공하고 있으나 전용선에 대한 인터넷 실시간 멀티미디어 서비스는 서비스 품질 측정이 초기 상태이다. 따라서 본 논문에서는 멀티미디어 서비스를 위한 서비스 품질 측정 지표, 종단간 서비스 품질 측정 방안, 고객에게 원활한 서비스를 제공하기 위한 에이전트 시스템 설계, 서비스 제공자가 이미 보유한 NMS/EMS에 에이전트 시스템 연동 방안을 제안한다.

  • PDF

암호컴포넌트 서비스 지원을 위한 HSSM 설계 (Design of HSSM for Cryptographic Component Service Support)

  • 박명찬;신동명;최용락
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2003년도 춘계학술발표논문집 (하)
    • /
    • pp.2081-2084
    • /
    • 2003
  • 기존의 보안 API는 각 사용자 요구사항 및 추진산업체 또는 표준단체, 개발환경 및 제공 서비스, 함수의 명칭, 자료구조 등이 독립적인 구조를 가지고 있어 각 보안 API에 대한 총괄적 표준화에 어려움이 있었다. 또한, 오늘날 하루가 다르게 급변하는 요구사항에 대하여 적시성을 제공하기에 부적합하였다. 이에 따라 소프트웨어의 품질을 보증하고 적시성을 제공할 수 있는 컴포넌트 기술이 제안되었다. 본 논문에서는 다양한 소프트웨어 비즈니스 모델 개발에 다목적으로 활용 가능한 새로운 패러다임의 컴포넌트 설계기법을 표준적 암호서비스 기술 개발에 도입하여 암호서비스에 패한 상호운용성의 확보와 이기종 시스템간의 상호호환성 및 필요한 모듈의 추가 및 변경의 용이성 등을 제공하기 위하여 암호컴포넌트 서비스 지원을 위한 HSSM을 설계하였다.

  • PDF

SNS환경에서 워터마킹 기술을 활용한 콘텐츠 저작권 보호 기법 연구 (A Study on Watermarking Based Content Copyright Protection Scheme in SNS Environment)

  • 위유경;곽진
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2012년도 추계학술발표대회
    • /
    • pp.938-941
    • /
    • 2012
  • 스마트 폰의 보급률이 증가함에 따라 시간과 공간의 제약 없이 의사소통이 가능한 SNS(Social Network Service)가 발달하고 있다. SNS는 기존의 단순한 의사소통에서 광고, 게임, 전자상거래 등 사회전반에 걸친 서비스로 확대되었다. 따라서 사용자에게 좀 더 효율적이고 유용한 서비스 제공이 가능하게 되었으며, 다양한 콘텐츠를 업로드 할 수 있다. 그러나 사용자의 지적재산인 해당 콘텐츠를 무단으로 다운로드 받을 경우 저작권에 침해를 받을 수 있다. 또한 악의적인 사용자의 불법 다운로드 경로를 파악하기 어렵다. 따라서 본 논문에서는 SNS환경에서 워터마킹 기술을 활용한 콘텐츠 저작권 보호 기법에 대해 제안한다. 제안하는 기법은 사용자의 SNS 계정에 업로드한 콘텐츠의 저작권을 보호하며, 악의적인 사용자의 불법 다운로드 경로를 추적하여 추가적인 불법행위를 방지할 수 있다.

차량용 EPS의 조향각 신뢰성 향상 제안 (IMPROVING METHOD FOR VERIFYING STEERING ANGLE SIGNAL OF EPS)

  • 장현섭;권도욱;한상휘
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2012년도 추계학술발표대회
    • /
    • pp.1507-1510
    • /
    • 2012
  • 본 논문은 EPS(전자식 파워 스티어링)에 사용되는 Torque and Angle sensor 의 절대각 신뢰성 보증 방식에 관한 것으로, Inductive 방식의 센서에서 절대각 신호 신뢰성 보증에 대한 효과적인 방법을 제시한다. 전동식 파워 스티어링 시스템의 ECU(전자제어유닛)는 조타각도를 출력하는 2 개의 소자에서 버니어 알고리즘을 통해 360 도 이상의 멀티 조타각을 인식하게 된다. 토크&조향각 센서는 절대 조향각을 계산하는 1 개의 Hall IC 소자 신호와, 상대 조향각을 계산하는 ASIC 소자 신호를 사용하여 멀티 조타각을 인식한다. 인식된 조타각이 추가적인 검증 절차 없이 제어에 사용된다면, 센서의 이상 발생 시에 운전자의 조타감을 불편해질 수 있고, 나아가서는 차량사고의 위험을 발생시킬 수 있다.따라서 차량 거동 시 절대 조향각의 신뢰성 검증은 제어와 동시에 항상 요구되어야 한다. 특히, 유럽/미국 업계의 ISO 26262 표준 도입에 따라 절대 조향각의 높은 신뢰성이 요구된다. 본 논문에서는 이러한 요구사항을 만족하기 위해 측정된 절대각 신호를 기준으로 상대각 신호 2 개를 측정에 사용하고, Driving 시에도 절대각 기준의 신뢰도 향상을 위해 절대각 신호 1 개를 비교기로 사용한다. 최적화된 에러 기준을 근거로 절대 조향각 신호의 신뢰성을 보장하는 방법을 제안한다. 이러한 방법을 적용한다면, 정확하고 안정적으로 조타각을 결정함으로써 EPS 안전성 확보에 도움을 줄 수 있다.

건축물 미술작품 제도 개선을 위한 서울시와 경기도 사례 연구 (Improvement of Architectural Artworks System of Seoul Metropolitan Government and Gyeonggi Province: A Case Study)

  • 손영옥
    • 예술경영연구
    • /
    • 제56호
    • /
    • pp.349-380
    • /
    • 2020
  • 이 논문은 우리나라 '건축물 미술작품' 제도가 공공미술 개념의 변화에 부합하는 방향으로 가고 있는지를 각각 제도 개선 3년과 1년을 맞은 서울시와 경기도의 두 사례를 통해 살펴보고 보완점을 제안하는 데 목적을 두었다. 이를 위해 두 지자체의 제도 개선 내용을 살펴본 뒤, 개선의 효과를 진단하기 위해서 제도 개선 전후의 전반적인 심의 승인율 추이, 상위 수주 작가들의 승인율 추이, 1개 작품 승인받은 작가의 비중 추이, 미술작품 장르별 비중 추이 등 4가지 분야 통계치를 산출하였다. 각각의 지표를 통해 작품 수준의 향상, 특정 작가의 독과점 해소, 신규 작가의 참여 기회 확대, 장르의 다양화 여부를 진단하였다. 그 결과 작품 수준이 좋아지고, 독과점은 해소되고, 신규 작가의 참여도 진전된 것으로 나타났다. 그러나 여전히 조각의 비중이 압도적으로 높게 나타나는 등 제도 개선이 변화되는 공공 미술의 흐름을 반영하지 못하는 것으로 분석되었다. 공공미술은 '장식적인 미술'에서 벗어나 주변 건축이나 풍광과 조화를 이루는 '장소 특정적 (site-specific) 미술', 주민이 참여하는 '새로운 장르 공공미술'로 점차 변하고 있다. 이런 방향으로 가기 위해서는 적정 물량이 유지될 수 있도록 기금 출연 유도, 생애 주기(life span) 도입을 통해 작품의 철거 및 변형 보장, 작품 설치 후 작가의 보증기간 도입, 관리 부실 시 처벌 조항 명문화, 심의위원회의 작품 설치 장소 선정 권한 강화 등 제도적인 보완이 추가되어야 한다.

고성장기업의 결정요인에 관한 연구: 기술평가지표를 중심으로 (A Study on Determinants of High-growth Firms: Focusing on Technology Appraisal Indicators)

  • 김성태;홍재범
    • 기술혁신연구
    • /
    • 제23권3호
    • /
    • pp.373-396
    • /
    • 2015
  • 본 연구는 기술보증기금의 기술평가자료를 활용하여 고성장기업의 결정요인에 대하여 분석하였다. 본 연구가 기존 연구와 다른 점은 3가지이다. 첫째, 현재 고성장 기업이 아닌, 향후 고성장기업으로 성장할 기업의 결정요인을 분석하였다. 둘째, 고성장기업을 매출과 고용 2가지 측면에서 각각 구분하여 분석하였다 즉, 매출증가와 고용창출에서 모두 고성장을 달성한 경우, 고용창출 측면에서는 고성장을 기록했지만 매출증가 측면에서는 저성장인 경우, 그리고 매출증가만 고성장을 달성하고 고용창출은 저성장을 기록한 경우의 세 가지 유형으로 구분하여 분석하였다. 셋째, 기술보증기금 기술평가모형(KTRS)의 기술평가지표를 설명변수로 적용하였다. 분석결과, 기술의 수명주기상 위치가 적절하고 기술의 완성도가 높을 경우에는 향후 매출과 고용이 모두 고성장하고 있다. 기술인력관리가 잘 되는 기업은 고용측면에서는 고성장을 하지만 매출측면에서는 오히려 저성장하고 있다. 이러한 결과는 고용고성장기업이 주로 기술인력관리가 중요한 하이테크산업에서 발생될지도 모른다는 추론을 가능케 한다. 이에 하이테크산업 여부를 나타내는 더미변수를 추가하여 분석한 결과, 하이테크산업에 속한 기업은 고용고성장의 가능성이 높은 것으로 나타나 이러한 추론을 뒷받침하는 결과를 보였다.