공학 교수는 안전이 중요한 시스템에 대한 작업으로 국방부 보조금을 받습니다.
2020년 11월 20일 금요일
John Hatcliff, 캔자스 주립 마카오 카지노 후기 컴퓨터 과학 교수이 사진을 다운로드하세요.
MANHATTAN — 캔자스 마카오 카지노 후기 교수 2명컴퓨터 과학군사 작전에 사용되는 안전 필수 시스템 구축 기술 개발을 위해 미국 국방부로부터 2년 동안 400,000달러가 조금 넘는 금액을 받았습니다.
Adventium Enterprises LLC 프로그램에 따라 자금을 지원받는 "GUMBO(Grand Unified Modeling of Behavioral Operators) SBIR 2단계" 프로젝트는 마카오 카지노 후기의 저명한 교수이자 Lucas-Rathbone 공학 교수인 John Hatcliff가 공동 연구자와 함께 이끌게 됩니다. , Robby, 교수이자 Don과 Linda Glaser — Carl과 Mary Ice Keystone 연구 학자.
"행동 설명 표기법은 개발자가 사용하고 이해하기 쉽지만 컴퓨터 검증 도구에 의해 자동으로 처리될 수 있는 고급 논리를 기반으로 합니다"라고 Hatcliff는 말했습니다. "다양한 공급업체로부터 얻은 구성요소가 시스템에 통합되면 이러한 검증 도구를 통해 각 구성요소의 중요한 동작이 다른 구성요소의 동작과 올바르게 작동하고 전체 시스템의 핵심 기능이 달성된다는 것을 입증할 수 있습니다."
이 동작 사양 및 검증 프레임워크는 아키텍처 분석 및 설계 언어를 통합합니다. 이 언어는 미래 수직 리프트 프로그램을 포함하여 육군의 다양한 용도에 통합된 모델링 언어입니다. 미래 수직 리프트,미군을 위한 군용 헬리콥터 제품군을 개발하려는 계획에는 개발 중인 5가지 크기의 항공기에 대한 센서, 항공전자공학, 엔진 및 대책과 같은 공통 하드웨어를 공유하는 것이 포함됩니다.
"우리 작업의 결과는 중요한 시스템을 구축하는 엔지니어가 시스템 구성 요소의 동작을 더 정확하게 이해하는 데 도움이 될 것이며 시스템 개발 프로세스 초기에 시스템 통합 문제를 감지하고 수정할 수 있게 될 것입니다."라고 Hatcliff는 말했습니다. "개발된 프레임워크는 방위 산업이 재사용 가능한 구성 요소와 플랫폼으로 중요한 시스템을 구축하는 접근 방식을 채택하는 데도 도움이 될 것입니다.
"이 상은 Carl R. Ice 공과마카오 카지노 후기과 방위 산업 연구 프로그램에 참여하는 회사 간의 관계를 더욱 강화합니다"라고 그는 말했습니다. "게다가 차세대 군사 역량을 구축하는 장기 프로그램에서 K-State 공학 교수진, 학생 및 연구 결과를 선보일 수 있는 기회를 제공합니다."
