공학 교수는 안전/보안이 중요한 시스템 작업을 위해 국방부 보조금을 받습니다.
맨해튼 — 캔자스 카지노 추천 사이트 교수 2명컴퓨터 과학미 국방부-국방고등연구계획국으로부터 미션 크리티컬 소프트웨어의 안전과 보안을 보장하는 도구 개발을 위해 2년 동안 231,000달러를 받았습니다.
선택적인 3년 동안의 자금과 최대 3,000의 예상 상금이 포함된 "SIRFUR(엄격한 공식 사용 가능 요구 사항에 따른 소프트웨어 구현)" 프로젝트는 교수인 Robby와 Don 및 Linda Glaser — Carl이 주도할 것입니다. Mary Ice Keystone 연구 학자, 공동 연구자 John Hatcliff, 카지노 추천 사이트 저명한 교수이자 Lucas-Rathbone 공학 교수.
SIRFUR 도구는 국방부 시스템 구현의 동작 속성을 지정하고 확인하는 데 사용됩니다. 다른 논리 기반 기술을 적용하려면 전문 박사 학위를 보유한 고액의 전문가가 필요하지만 SIRFUR는 유용성을 강조하는 독특한 접근 방식을 가지고 있습니다.
"SIRFUR는 또한 논리적 사양 및 검증의 유연한 도입을 제공합니다"라고 Robby는 말했습니다. "이러한 유연성을 통해 학부생과 같이 경험이 부족한 사용자는 보다 간단한 방법으로 도구를 사용하여 소프트웨어에 일반적인 오류가 없음을 보여줄 수 있을 뿐만 아니라 복잡한 시스템 동작을 지정하고 확인해야 하는 숙련된 엔지니어도 수용할 수 있습니다."
SIRFUR는 멀티코어 시스템, 클라우드 컴퓨팅 및 컴퓨터 팜의 증가하는 가용성을 활용하여 복잡한 소프트웨어 검증을 처리합니다. 또한 자동화된 확인 기술을 적용할 수 있는 사용자와 조직의 수를 확대하고 이러한 조직이 더 높은 수준의 자신감과 더 낮은 비용으로 더 복잡한 중요 소프트웨어를 개발하는 데 도움이 될 것입니다.
"논리 기반 소프트웨어 검증 교육의 혁신을 가능하게 함으로써" Hatcliff는 말했습니다. "이것은 학부 및 카지노 추천 사이트원 과정과 다른 카지노 추천 사이트에서 사용되는 현재 캔자스 주립 카지노 추천 사이트 컴퓨터 과학 대화형 커리큘럼 자료를 기반으로 구축될 것입니다. 미국과 유럽.
"이 상은 미국의 가장 중요한 국방 시스템의 신뢰성과 신뢰성을 높이는 것을 목표로 국방부가 자금을 지원하는 기존 컴퓨터 과학 산업 프로젝트를 확장합니다. 또한 최신 기술 통합에 대한 국방부의 강조점을 새로운 수준으로 끌어올렸습니다. -학부 교육에서 프로젝트 기반 학습에 대한 혁신적인 접근 방식을 통한 예술 검증."
SIRFUR 보조금은 다음과 같은 컴퓨터 과학 부서에서 최근에 수여된 프로젝트를 보완합니다.검보, 이는 안전 및 보안을 위한 소프트웨어 아키텍처 설계의 엄격한 동작 사양 및 분석을 가능하게 하며DARPA 사례수직 통합된 사이버 탄력성을 갖춘 아키텍처 설계에서 구현까지의 시스템 엔지니어링 접근 방식을 조사합니다.
