국립 고급 산업 과학 기술 연구소 (Yoshikawa Hiroyuki 회장) (이하 "에볼루션 바카라"라고 불림)는 7 월 22 일에 "Imase Makoto 대통령"을 개설했습니다
7 월 1 일, Kansai Center는 새로운 "에볼루션 바카라 시스템 기술 협업 연구소"[Cooperative Research Institute Chief Kamimoto Masayuki]를 시작하고 에볼루션 바카라 시스템 검증 시설을 사용하여 최첨단 검증 기술과 관련된 기술 전송 및 인적 자원 교육 프로젝트를 촉진하고 Tekijuku의 내장 운영을 구현하는 시스템을 촉진 할 것입니다
최근 몇 년에볼루션 바카라 시스템에 대한 수요 이 문제가 발생하면 사회적 영향이 크며 신뢰성을 향상시키는 것은 중요하고 긴급한 문제입니다 에볼루션 바카라는 캔자이 센터에서 설립했습니다시스템 검증 연구 센터[연구 센터 Kinoshita Yoshiki에서]수학 기술(공식 방법)은 시스템 검증 기술을 연구하고 있지만이 활동을 더욱 확장하기 위해이 핵심 시설을 개발할 것입니다 우리는 에볼루션 바카라 시스템 검증 테스트 시설을 개발하는 것 외에도 전국의 에볼루션 바카라 시스템 엔지니어 부족을 충족시키기 위해 기술 이전 및 인적 자원 교육 프로젝트를 홍보하고 에볼루션 바카라 시스템의 신뢰성을 보장하는 데 기여할 것입니다
주변의 모든 것, 홈 어플라이언스, 모바일 장치, 자동차, 교통 관제, 철도, 자동 스테이션 티켓 게이트, 티켓 머신, 항공기, 의료 기기, 놀이 공원 시설 등은 이러한 장치 내에 내장 된 컴퓨터로 제어되는 에볼루션 바카라 시스템입니다 에볼루션 바카라 시스템에서 소프트웨어 (에볼루션 바카라 소프트웨어)는 제품의 가치를 결정하는 데 중요한 요소입니다 정보 기술이 진행된 사회에서는 안전하고 안전한 사회를 실현하기 위해 내장 된 소프트웨어가 높은 신뢰성으로 기능하는 것이 필수적입니다
그러나 컴퓨터, 특히 소규모 장치에 통합되도록 설계된 소규모 컴퓨터 (마이크로 컴퓨터)가 더욱 효율적으로 변하고 내장 된 소프트웨어가 점점 더 복잡해졌으며 이제는 소프트웨어 품질을 유지하기가 특히 어려워지고 있습니다 작년 10 월 중순에 발생한 방송국의 자동 티켓 문에 문제가 발생하면 260 만 명이 넘는 사람들이 참여하게되었으며, 이는 일본의 경제와 사회에 큰 타격을 주었으며, 이는 에볼루션 바카라 소프트웨어의 신뢰성을 보장하기 위해 긴급한 조치가 필요했습니다
에볼루션 바카라 시스템 검증 연구 센터 (Senri Chuo)는 2004 년 4 월에 설립 된 이후 임베디드 시스템을 포함한 정보 처리 시스템 검증에 대한 연구를 수행하고 있으며 회사와의 협력 연구 경험을 가진 많은 연구원 및 테스트 사례를 보유하고 있습니다 세미나와 심포지엄을 정기적으로 개최하는 것 외에도 일본의 검증 기술 연구에서 주도적 인 역할을했습니다
또한 2007 년 8 월, 캔 사이를 임베디드 소프트웨어 산업의 주요 축적 현장으로 만들기 위해 내장 된 소프트웨어 산업 촉진위원회가 설립되었습니다 이 회의는 캔자이 경제 연맹에서 사무국을 보유하고 있으며 NTT West Japan, Daikin Industries, Sharp, Matsushita Electric Industrial, 소프트웨어 회사, Osaka University 및 기타 대학 및 에볼루션 바카라의 참여로 주로 임베디드 소프트웨어 엔지니어를 훈련시키기 위해 적극적으로 노력하고 있습니다
7 월 1 일 에볼루션 바카라 Kansai Center에서 시작된 임베디드 시스템 기술 협력 연구소 (8 회원)는 고급 정보 기술과 임베디드 시스템 기술을위한 기술 전송 및 인적 자원 교육이 필요한 임베디드 시스템 검증 테스트 시설을 운영 할 예정입니다
수학 기술 (공식 방법)과 같은 최첨단 시스템 검증 기술을위한 기술 이전 및 인적 자원 교육 프로젝트 및 시스템 검증 연구 센터에서 개발 된 시뮬레이션은 에볼루션 바카라 시스템 검증 테스트 시설을 사용한 산업-아카데미아 정부 협업을 통해 강력하게 홍보 될 것입니다 이를 위해 "에볼루션 바카라 테키 주쿠"는 에볼루션 바카라 소프트웨어 산업 홍보위원회와 협력하여 구현 될 것입니다
또한 시스템 검증 연구 센터에서 만든 가르침 (CVS 가르침)을 기반으로 수학 기술 교육 과정을 개발하고 개설 할 것입니다 NTS Publishing은 이미 초보자 모델 검사 과정을위한 교과서를 발표했으며 교육 과정을 제공했습니다 중간 및 고급 과정 및 대화식 검증 교육 과정이 현재 개발 중입니다
2007 년 경제부 무역 및 산업 보충 예산 프로젝트의 에볼루션 바카라 캔자이 센터에 건설 될 임베디드 시스템 검증 테스트 시설은 다음과 같습니다클러스터 컴퓨터모델 점검등 수학 기술 및에뮬레이션와 같은 고급 검증 기술 및 도구를 사용자에게 제공하십시오 사용자는 업계, 학계 및 공무원에서 광범위하게 채용되며 하루 24 시간 원격으로 사용할 수 있습니다 이 시설은 예를 들어 다음과 같이 검증 작업이 가능하도록 유지 될 것입니다
- 세계 최대의 모델 점검 (전환 시스템 10 개 상태11(약 100 억)) 가능 모델 검사는 컴퓨터의 세부 설계 및 기타 세부 사항을 설명하고 철저한 방식으로 동작을 자동으로 검사하는 공식적인 방법 중 하나입니다 현재 107~ 108포괄적 인 검증 수준에서 상태 만 처리 할 수 있지만, 상태 수를 3 자리 숫자로 늘리면 전체 제품에 대한 포괄적 인 검증이 가능할 것으로 예상 될 수 있습니다
- 네트워크에 연결된 제품의 에뮬레이션은 바이너리 코드와 함께 작동하여 실제 장치없이 실제 연결과 동일한 환경에서 연결 테스트를 수행 할 수 있습니다 에볼루션 바카라 소프트웨어의 이진 이미지는 각 명령어에서 충실하게 모방하고 제품을 그대로 테스트 할 수 있습니다
- 세계 최대의 평행sat솔버에 대한 구현 연구 이 시설에서 수행됩니다
"에볼루션 바카라 테키 주쿠"는 에볼루션 바카라 소프트웨어 산업 촉진위원회 (Adveded Embedded Software Engineers Training Program에 관한 연구 그룹)의 첫 회의에서 인적 자원 교육 프로그램입니다 경제 무역 및 산업부의 설문 조사에 따르면 전국적으로 9 만 명의 내장 소프트웨어 엔지니어가 부족하지만이 프로그램은 포함 된 소프트웨어 개발 프로젝트에서 기술 리더를 교육하는 것을 목표로합니다 참가자들이 주로 프로모션위원회의 회원들로부터 채용되었을 때, 캔자이 지역 및 공공 연구 기관의 회사들로부터 큰 관심을 끌기 위해 신청서가 용량을 초과하기 위해 신청서가 이루어졌습니다
현재 교육 프로그램은 교실이지만, 이번 가을에 실습 교육 프로그램이 개발 될 것이며, 실무 교육 프로그램도 회계 연도 말까지 구현 될 예정입니다 이 프로그램은이 프로그램을 완료 한 사람들이나이 프로그램을 완료 한 사람들을위한 것입니다 이 프로그램은 내년 두 프로그램을 통해 프로그램을 구현할 계획입니다
기술 전송 및 인적 자원 교육을 담당하는 에볼루션 바카라 시스템 기술 협력 연구소는 최첨단 소프트웨어 신뢰성 기술을 통합하고 주로 검증 기술을 통합하며 일본의 산업 경쟁력을 강화하는 데 기여할 것입니다