工学部の教授がスポーツベットアイオー ボーナス/セキュリティクリティカルなシステムに関する研究で国防総省の補助金を受け取る
マンハッタン — スポーツベットアイオー ボーナス立大学の 2 人の教授 コンピューター スポーツベットアイオー ボーナスエンス 1 を獲得しました,000、米国による 2 年間.S. 国防総省 — ミッションクリティカルなスポーツベットアイオー ボーナスの安全性とセキュリティを保証するツールの開発を担当する国防高等研究計画局.
プロジェクト, "厳格な正式使用可能要件 (SIRFUR) に基づくスポーツベットアイオー ボーナス実装," これには、オプションの 3 年目の資金と最大 3 の予想賞金が含まれます,000, ロビーが率いることになります, 教授、ドン、リンダ・グレイザー — カール＆メアリー・アイス・キーストーン研究員, 共同研究者ジョン・ハトクリフと, 大学の著名な教授および工学のルーカス・ラスボーン教授.
SIRFUR ツールは、国防総省システム実装の動作特性を指定および検証するために使用されます. 他のロジックベースの技術を応用するには、専門の博士号を持った高給取りの専門家が必要です, SIRFUR は使いやすさを重視した独自のアプローチをとっています. 広く使用されているスポーツベットアイオー ボーナス開発ツールに自動演繹技術を控えめな方法で統合しているため、一般的な業界エンジニアは使い慣れたツールやプロセスを使用しながら、自動化されたロジックベースの検証のメリットを得ることができます.
"SIRFUR は論理仕様と検証の柔軟な導入も提供します,「ロビーは言いました. "この柔軟性により、学部生などの経験の浅いユーザーでも、より簡単な方法でツールを使用して、スポーツベットアイオー ボーナスに一般的なエラーがないことを示すことができます, 複雑なシステム動作を指定して検証する必要がある経験豊富なエンジニアにも対応します."
SIRFUR は、マルチコア システムの可用性の向上を利用して、複雑なスポーツベットアイオー ボーナス検証を処理します, クラウド コンピューティングとコンピューター ファーム. また、自動検証技術を適用できるユーザーと組織の数も広がり、これらの組織がより高いレベルの信頼性と低コストで、より複雑な重要なスポーツベットアイオー ボーナスを開発できるようになります.
「ロジックベースのソフトウェア検証の教育におけるイノベーションを実現する上で,「ハトクリフは言いました, 「これは、学部コースや大学院コース、および米国内の他の大学で使用されている、現在のスポーツベットアイオー ボーナス立大学のコンピュータ サイエンス インタラクティブ カリキュラム教材に基づいて構築されます.S. そしてヨーロッパ.
「この賞は、我が国の最も重要な防衛システムの信頼性と信頼性を高めることを目的とした国防総省の資金提供による既存のスポーツベットアイオー ボーナス産業プロジェクトを拡大するものです. また、学部教育におけるプロジェクトベースの学習への革新的なアプローチと最先端の検証を統合することに当学部が重点を置くことも新たなレベルに引き上げられます."
SIRFUR 助成金は、スポーツベットアイオー ボーナス部門で最近受賞したプロジェクトを補完するものです。 ガンボ, 安全性とセキュリティのためのスポーツベットアイオー ボーナス アーキテクチャ設計の厳密な動作仕様と分析が可能になります, そして DARPA 事件 垂直統合を調査する, スポーツベットアイオー ボーナスバー回復力のあるアーキテクチャ設計から実装までのシステム エンジニアリング アプローチ.
