공지사항

센터 일정

오시는 길

서울시 종로구 홍지문 2길 20 상명대학교 미래백년관 302호
(우)03016
Tel) 02-3217-8758,8759 | Fax) 02-3217-8706
E-mail) ssarc@ssarc.re.kr

소프트웨어 안전성 보증 연구센터

Software Safety Assurance Research Center

SSARC에서는 다양한 분야를 가진 참여 기업들과 함께 협업하여, 현장에서 요구하는 안전 소프트웨어 프로세스를 수립하고 그 적용체계를 개발하고자 합니다.
저희는 현장의 눈높이에 맞추어 참여 기업의 수준과 현황을 파악하고, 해당 기업에게 테일러링된 프로세스 개선 로드맵을 제공하고 있습니다.
이를 위하여, 다수의 전문가 참여를 통하여 높은 안전성 확보를 위해 필수적인 요소 기술인 정형 기법과 모델 기반 검증, 테스트 자동화 등의 기술을 확보하고 있습니다.

연구 소개

Introducing our research
1세부

소프트웨어 안전성 보증
프로세스 개발 및 적용 체계 구축

2세부

정확성 기반의 소프트웨어
안정성 확보 기술 연구

3세부

오픈 소스 도구 기반의 소프트웨어
안전성 보증 기술 적용 연구

4세부

ISO 2626의
안전 분석 기법 적용 연구

5세부

계수기 임베디드 소프트웨어의
안전성 보증 프로세스 구축

연구 업적

Our publications and products
  • 기술이전

    기술이전 대상 기업과
    이전된 기술의 종류를 기술

  • 프로젝트

    산업체 연구 및
    산학협력 프로젝트 내용 기술

  • 논문

    발표한 논문의 서지정보와
    논문 파일 링크

  • 특허

    국내/외 출원 및 등록된
    특허의 정보 기술

close

작성일: