世界各国でAI関連規制の整備が進む中で、AIシステムの開発に求められるのが「検証(Verification)」と「妥当性確認(Validation)」から成る「V&Vプロセス」である。特に、自動車や航空宇宙の分野を中心に高い安全性や高い信頼性が重視されるセーフティクリティカルなシステムにAIを導入する際に重要な役割を果たすとみられている。
FAQ What's the purpose of the "MoKB" ? Publish one bug on daily basis for the month of November, 2006. Show tools and procedures useful for testing the strength and quality of kernel code (ex. networking, filesystem handling) in existing operating systems (Mac OS X, FreeBSD, Solaris, GNU/Linux, etc). What tools have been used to detect the bugs? For filesystem related bugs, fsfuzzer (ported to *BS
FreeeDOS Projectは3日(米国時間)、MS-DOS互換のフリーなOS「FreeDOS 1.0」をリリースした。配布形式としては、動作に必要な一式が収録されたブータブルCD-ROMイメージと、起動後CD-ROMからインストールを続行するフロッピーイメージの2種が用意される。多数のユーティリティが収録された充実版CD-ROMイメージと、CD-ROMを必要としない形式のフロッピーイメージについても、後日提供される予定。 今回のリリースでは、カーネルと大半のアプリケーションがFAT32フォーマットを扱えるよう改良されたほか、COMMAND.COMを含むいくつかのコマンドがロングファイル名をサポート。「C」以外のドライブへのインストールも可能になったほか、HIMEMとEMM386の安定性向上や、新開発のCD-ROMドライバが追加されるなど、初のメジャーリリースにふさわしい内容となってい
19日(水曜)、カナダの首都オタワにあるOttawa Congress Centreにおいて、今年で8回目を迎えるオタワLinuxシンポジウム(OLS)が始まった。最初の講演は、Linux Weekly Newsの共同設立者Jonathan Corbet氏による「カーネル・レポート(The Kernel Report)」で、昨年からの現在までのカーネル開発の状況が報告された。 Corbet氏の講演は、Linuxカーネルの開発プロセスの概要を説明するところから始まった。現在、Linuxカーネルは2~3カ月のサイクルでリリースされているという。カーネル2.6.17.6が現行バージョンで、近々2.6.17.7がリリースされる。2.6.xと記されるバージョンはメジャーリリースを、2.6.x.yという表記はバグ修正に伴うリリースを表している。 カーネル2.7がリリースされる見通しはまだなく、すべてを
Bell Labsは28日(米国時間)、Plan 9 Fourth Editionの最新版となるPlan 9 20060628を公開した。Plan 9はカーネルからユーザランドサービス、アプリケーションまで含めて包括的に開発がおこなわれているOS。配布されているインストールイメージはx86アーキテクチャを対象としている。 Plan 9 20060628はLucent Public License version 1.02のもとで公開されているオープンソースソフトウェア。Lucent Public License version 1.02はIBM Public License Version 1.0によく似たライセンス。 Plan 9 20060628では特に/sys/src/fsに対して変更がおこなわれている。使われていないコードが削除され、いくつかのメジャーなバグが修正された。いくつかの
せつめい osask.jp はこれまで osask.net へ無条件にリダイレクトしていましたが、OSASK計画が多くのサブプロジェクトを有するに至り、もはやどこに何があるのか非常にわかりにくくなったので、目次ページを用意しました。 また普通にhtmlで目次ページを作ることも検討したのですが、メンテナンスの手間を考えて、手っ取り早くwikiで作ることにしました。 また目次ページのためだけに新規のwikiを立てるのも手間だったので、既存のプロジェクトのwikiを流用しています。 ↑ 目次(2) OSASKコミュニティ → http://osask.net/ 掲示板やOSASK計画の分かりやすいまとめがあります!(第一世代OSASK, 第二世代OSASK) easy-C (現在開発中) → https://essen.osask.jp/?a23_ec001 プロジェクト開始日: 2023.01
早稲田大学理工学部 中島研究室と筑波大学大学院 追川研究室、エルミック・ウェスコムの3者は13日、組み込みシステムのセキュリティと信頼性の強化を実現する新しいOSアーキテクチャの共同開発に着手することを発表した。仕様は3者が協力して策定、プログラムの実開発はエルミック・エスコムが担当する。2007年3月に計画されている同プロジェクトの終了後には、成果物であるソースコードをオープンソース化する予定。 同プロジェクトで開発されるアーキテクチャは、1つのCPUマイクロカーネル上に仮想化したLinuxとITRONを実装することが特徴。複数の実効環境が独立して動作する構造により、アプリケーションやリソースをOSごとに分離、外部からの攻撃と内部で発生した不具合に耐える堅牢なシステムを構築できるほか、過去に各OS上で作成したアプリケーションやデバイスドライバなどの資産を生かせるため、開発効率の向上にも寄
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く