국립 선진 산업 과학 기술 연구소 (Yoshikawa Hiroyuki 회장) (이하 "바카라 게임"라고 함)는 캔자이 센터에서 소프트웨어 신뢰성 기술을위한 핵심 시설을 개발하여 최첨단 연구, 기술 이전 및 엔지니어 교육 활동을 가속화하기로 결정했습니다
최근 몇 년임베디드 시스템에 대한 수요 | 빠르게 확장되면서 이러한 문제가 발생하면 큰 영향을 미치며 신뢰성을 향상시키는 것은 중요하고 긴급한 문제입니다 바카라 게임는 캔자이 센터에서 설립했습니다시스템 검증 연구 센터수학 기술(공식 방법)은 시스템 검증 기술을 연구하고 있지만 활동을 더욱 확장하기 위해이 핵심 시설이 설립되었습니다
구체적으로, 임베디드 시스템 검증 테스트 시설이 설립 될 것이며, 업계에 사용될 것이며 학계와 학계는 검증 기술 및 기술 전달에 대한 최첨단 연구를위한 협력 활동을 시작할 것입니다 또한 학교는 일본 전역에서 10 만 명이 부족한 것으로 알려져있는 고급 임베디드 소프트웨어 엔지니어를 훈련시키기 위해 "임베디드 테크 주쿠"[주요 Imase Makoto]를 개최 할 예정입니다
전자 장치 등의 부가 가치를 결정하는 임베디드 시스템은 일본 경제 및 사회 시스템의 모든 분야에 도입되었으며 모바일 장치, 정보 가전 제품, 자동차 및 의료 기기를 포함한 모든 제품의 가치를 결정하는 데 중요한 요소입니다 정보 기술이 진행된 사회에서는 내장 된 시스템이 안전하고 안전한 사회를 실현하기 위해 높은 신뢰성으로 기능하는 것이 중요합니다
마이크로 컴퓨터가 더욱 효율적으로되면서 임베디드 소프트웨어가 점점 더 복잡해져 현재 품질을 유지하기가 어려워졌습니다 최근에는 휴대 전화, 항공기 예약 시스템 오작동 및 자동차의 소프트웨어 문제로 인한 리콜의 소프트웨어 문제가 발생했습니다 작년 10 월 중순에 발생한 방송국의 자동 티켓 문에 문제가 발생하여 260 만 명 이상의 사람들과 관련하여 운송 시스템과 관련된 일련의 시스템 고장이 발생했으며, 임베디드 시스템의 신뢰성에 대한 우려가 급격히 증가했습니다 특히, 방송국의 자동 티켓 문에 대한 문제는 신뢰성을 보장하기 위해 긴급한 조치가 필요한 시점까지 일본의 경제와 사회에 도달했습니다
이러한 문제에 대한 응답으로, 작년부터 신뢰할 수있는 임베디드 소프트웨어를 개발하고이를 지원하는 인적 자원을 키우는 것을 목표로 주로 업계와 대학 세계에서 협의회 설립 경향이 증가하고 있습니다
바카라 게임 시스템 검증 연구 센터 (Senri Chuo)는 2004 년 4 월에 설립 된 이후 임베디드 시스템을 포함한 정보 처리 시스템 검증에 대한 연구를 수행하고 있으며 회사와의 협력 연구 경험을 가진 많은 연구원 및 테스트 사례를 보유하고 있습니다 세미나와 심포지엄을 정기적으로 개최하는 것 외에도 일본의 검증 기술 연구에서 주도적 인 역할을했습니다
또한 2007 년 8 월, 캔 사이를 임베디드 소프트웨어 산업의 주요 축적 현장으로 만들기 위해 내장 된 소프트웨어 산업 촉진위원회가 설립되었습니다 이 회의는 캔사이 경제 연맹에서 사무국을 보유하고 있으며 NTT West Japan, Daikin Industries, Sharp, Matsushita Electric Industrial, 소프트웨어 회사, Osaka University, 다양한 대학 및 바카라 게임의 참여로 임베디드 소프트웨어 엔지니어를 훈련시키기 위해 적극적으로 노력하고 있습니다
위의 내용에 따라 경제 무역 및 산업부는 바카라 게임 Kansai Center에 공개 검증 시험 시설을 설립하기로 결정했으며 현재 2007 년 보충 예산 프로젝트를 통해 임베디드 시스템 검증 테스트 시설의 건설을 진행하고 있습니다
(1) 임베디드 시스템 검증 테스트 시설의클러스터 컴퓨터에뮬레이션 및 모델 검사와 같은 고급 도구 및 검증 기술을 제공합니다 사용에 관한 산업-아카데미아 요청을 통합하고 원활한 운영을 보장하기 위해 사용자 보드가 설치됩니다
(2) 바카라 게임는 시설 운영의 관점에서 대학과 같은 연구 기관과 협력하여 수행 된 적용 및 실제 연구를 지원할 것입니다
(3) 임베디드 소프트웨어 산업 프로모션위원회를 개설하는 것 외에도 Systems Verification Research Center에서 연구하고 개발 한 검증 기술 교육 과정을 개설하여 고급 정보 처리 엔지니어를 연구 할 것입니다
바카라 게임 System Verification Research Center는 현재 시스템 검증을위한 수학 기술을 연구하는 일본 최대의 연구 기관이며, 많은 연구자들과 시험 사례가 있습니다 앞으로, 우리는 연구 센터의 연구 결과를 사용하여 기술 이전을 홍보 할 것이며, 협업 연구 및 인적 자원 교육을 통해 캔자이 지역의 고급 소프트웨어 신뢰성 기술, 주로 검증 기술을 축적하여 일본의 산업 경쟁력을 강화하는 데 기여할 것입니다