AdaCoreは開発者向けの新しいコンテストを開催しています。 以前のように、準備は外国語のオリンピックよりもはるかに多くの時間を与えられます。 これは、競争が嫌いな人が怖いコードをすばやく書いて、それを捨てるのにちょうどいいです。
今日の課題は、ベアメタルと検証技術の開発です。 賞金総額は8000ユーロ以上です。
Adaは、優れたマルチスレッドプログラミングツールで知られています。 WinAPIのモニターを備えたWindows Vistaのリリースがまだ11年先であり、ネイティブストリーム（NTPL）を備えたRHEL 3のリリース前にさらに8年が残っていたとき、Ada 95標準のバージョンが標準化され、GCCに基づくGNATコンパイラがこの標準に対して認定されました。 今、ツールによると、アライメントが来ましたが、むき出しの鉄の上に片付けるべき場所があります。 Adaは、通常のオペレーティングシステムでマルチスレッドプログラムを開発するための便利なツールも提供しますが、ベアメタルでは、言語の機能をサポートする独自のスケジューラを使用して、好転させることができます。
たとえば、リアルタイムシステムの筋金入りの開発者のようになりたいが、見られる空席がない場合は、この能力を試してみようというインセンティブがあります。
ベアアイアン用の特別なスケジューラーは必要な前提条件を作成し、Ada 2012セーフ言語はデバッグ時の驚きの数を減らします。この問題を非常に真剣に考えたとしても、RavenscarプロファイルとSPARK 2014のフォーマル検証はそれらを最小化します。 Adaが汎用言語である場合、最後の2つのツールはもはやすべての人に適しているわけではないので、プログラムを書くスタイルで開発者を制限することに注意してください。
受賞者には次の賞品が贈られます。
1位：5000€
2位：2000€
3位：1000€
2つのプログラム可能なクアドロコプターという形の特別賞が、それぞれ信頼性と新規性の分野の受賞者に用意されました。
プロジェクトは、4つの基準に従って評価されます。
- ノベルティ。 プロジェクトは、既存の問題に対する新しい非標準のソリューションを実証しますか、または新しい問題に既存のアプローチを適用しますか
- チームワーク。 プロジェクトは、開発者コミュニティの他のメンバーにとって有用ですか。 彼は明確なインターフェイスとドキュメントを持っていますか。 バージョン管理システムの公開リポジトリ。 バグ追跡システム。 一般に入手可能なツールでコンパイルできますか？
- 信頼性 プロジェクトは、ソフトウェアが要件を満たしているという高い信頼を与えるプロセスとテクノロジーを使用していますか。 正式な方法、契約プログラミング、テスト、コード作成標準。 ドキュメントは正確ですか？
- 開放性。 Free Software Foundationによって定義された意味で、プログラムは無料ですか。 プログラムはオープンソースイニシアチブによって定義された意味で開かれていますか。 そのアーキテクチャは開いていますか？ 彼女はオープンソースの開発ツール、機器、プラットフォームを使用していますか。
主な要件：
- 参加者のみが参加し、組織は参加しません。 独身者または単独のチームとしてのみ参加できます。 組織（企業など）は許可されていません
- チームあたり最大4人。 チームは、申請を提出して作業する1人の登録キャプテンと、3人以下の参加者で構成されます。
- 主なプログラミング言語はAdaです。 プロジェクトには他のプログラミング言語を使用できますが、Ada / SPARKにある部分のみが評価されます。
- 必ずプロジェクトの日記をつけてください。 プロジェクトは英語で明確に説明する必要があります。 ジャーナルへのアクセスは、申請の確認後に許可されます。
- 作品はオリジナルでなければなりません。 あなたのプロジェクトは、オリジナルの貢献でなければなりません。 サードパーティのライブラリの使用は許可されていますが、文書化する必要があります。
- ターゲットランタイム。 ターゲットプロセッサはARM Cortex MまたはRである必要があります。
詳細については、 www.makewithada.orgをご覧ください。
頑張ってください！