Programming rules to develop secure applications with Rust(9)

AUTOSAR (AUTomotive Open System ARchitecture)
http://autosar.org

は、２０１９年以降は、毎年１１月に新しい標準を発行している。
今年も一般公開を始めた。

Explanation of ARA Applications in Rust, AUTOSAR 1079, R23-11, AP
https://qiita.com/kaizen_nagoya/items/3d3e3349e00a598a5718

参考文献の最初は、

[1] Programming rules to develop secure applications with Rust https://www.ssi.gouv.fr/en/guide/programming-rules-to-develop-secure-applications-with-rust/

本に書いてあることをdocker, macOS(M2)で動作させてみる。bookが、本に書いてあること。その次のbashが自分の機材での動作。

<この項は書きかけです。順次追記します。>
This article is not completed. I will add some words in order.
# docker
```macOS:bash
$ docker run -it rust /bin/bash

# apt update; apt -y upgrade
# apt install vim
```

# 2.1.2 Stable, nightly and beta toolchains

```:book
$ pwd
/tmp/foo
$ rustup toolchain list
stable -x86_64 -unknown -linux -gnu (default)
beta -x86_64 -unknown -linux -gnu
nightly -x86_64 -unknown -linux -gnu
$ rustup override list
/tmp/foo
```

macOS

```docker:bash
# pwd
/
# rustup toolchain list
1.74.0-aarch64-unknown-linux-gnu (default)
# rustup override list
no overrides
```

## R1, RULE - Use a stable compilation toolchain

```:book
$ rustup toolchain list
stable -x86_64 -unknown -linux -gnu (default)
beta -x86_64 -unknown -linux -gnu
nightly -x86_64 -unknown -linux -gnu
$ rustup run nightly cargo fmt
$ # or
$ cargo +nightly fmt
```
dockerのrustの導入方法を見直す。

UbuntuにRustをインストールする
https://qiita.com/yoshiyasu1111/items/0c3d08658560d4b91431

```macOS:bash
$ docker run -it debian /bin/bash
# apt update; apt -y upgrade
# apt install curl
# curl https://sh.rustup.rs -sSf | sh
# source "$HOME/.cargo/env"
# rustup toolchain list
stable-aarch64-unknown-linux-gnu (default)
# rustup run nightly cargo fmt
error: toolchain 'nightly-aarch64-unknown-linux-gnu' is not installed
```
これではだめみたい。

順次調べます。
# 参考資料
Programming Rust on docker(149)
https://qiita.com/kaizen_nagoya/items/d71b2c1932562ac1ecfc

dockerでRUST
https://qiita.com/kaizen_nagoya/items/c07350f6ab6ec656c42c

初めてのRUST
https://qiita.com/kaizen_nagoya/items/dd8f5e3b218d48fb79e1

Rust入門
https://qiita.com/kaizen_nagoya/items/b3a42bf5a849dabe52c5

## 補足資料（Additions）
2023 Countdown Calendar 主催・参加一覧
https://qiita.com/kaizen_nagoya/items/c4c2f08ac97f38d08543

CountDownCalendar月間　いいねをいただいた記事群　views　順
https://qiita.com/kaizen_nagoya/items/583c5cbc225dac23398a

物理記事　上位100
https://qiita.com/kaizen_nagoya/items/66e90fe31fbe3facc6ff

数学関連記事１００
https://qiita.com/kaizen_nagoya/items/d8dadb49a6397e854c6d

言語・文学記事　１００
https://qiita.com/kaizen_nagoya/items/42d58d5ef7fb53c407d6

医工連携関連記事一覧
https://qiita.com/kaizen_nagoya/items/6ab51c12ba51bc260a82

通信記事１００
https://qiita.com/kaizen_nagoya/items/1d67de5e1cd207b05ef7

自動車　記事　１００
https://qiita.com/kaizen_nagoya/items/f7f0b9ab36569ad409c5

Qiita(0)Qiita関連記事一覧（自分）
https://qiita.com/kaizen_nagoya/items/58db5fbf036b28e9dfa6

鉄道（０）鉄道のシステム考察はてっちゃんがてつだってくれる
https://qiita.com/kaizen_nagoya/items/26bda595f341a27901a0

日本語（０）一欄
https://qiita.com/kaizen_nagoya/items/7498dcfa3a9ba7fd1e68

英語(0) 一覧
https://qiita.com/kaizen_nagoya/items/680e3f5cbf9430486c7d

転職(0)一覧
https://qiita.com/kaizen_nagoya/items/f77520d378d33451d6fe

仮説（0）一覧（目標100現在40）
https://qiita.com/kaizen_nagoya/items/f000506fe1837b3590df

安全（0）安全工学シンポジウムに向けて: 21
https://qiita.com/kaizen_nagoya/items/c5d78f3def8195cb2409

Error一覧 error(0)
https://qiita.com/kaizen_nagoya/items/48b6cbc8d68eae2c42b8

Ethernet 記事一覧　Ethernet(0)
https://qiita.com/kaizen_nagoya/items/88d35e99f74aefc98794

Wireshark 一覧 wireshark(0)、Ethernet(48) 
https://qiita.com/kaizen_nagoya/items/fbed841f61875c4731d0

線網（Wi-Fi）空中線(antenna)(0) 記事一覧(118/300目標)
https://qiita.com/kaizen_nagoya/items/5e5464ac2b24bd4cd001

OSEK OS設計の基礎　OSEK(100)
https://qiita.com/kaizen_nagoya/items/7528a22a14242d2d58a3

官公庁・学校・公的団体（NPOを含む）システムの課題、官（０）
https://qiita.com/kaizen_nagoya/items/04ee6eaf7ec13d3af4c3

Error一覧(C/C++, python, bash...) Error(0)
https://qiita.com/kaizen_nagoya/items/48b6cbc8d68eae2c42b8

C++ Support(0)　
https://qiita.com/kaizen_nagoya/items/8720d26f762369a80514

Coding Rules(0) C Secure , MISRA and so on 
https://qiita.com/kaizen_nagoya/items/400725644a8a0e90fbb0

なぜdockerで機械学習するか 書籍・ソース一覧作成中 (目標100)
https://qiita.com/kaizen_nagoya/items/ddd12477544bf5ba85e2

言語処理100本ノックをdockerで。python覚えるのに最適。:10+12
https://qiita.com/kaizen_nagoya/items/7e7eb7c543e0c18438c4

プログラムちょい替え（0）一覧:4件
https://qiita.com/kaizen_nagoya/items/296d87ef4bfd516bc394

TOPPERSまとめ　#名古屋のIoTは名古屋のOSで
https://qiita.com/kaizen_nagoya/items/9026c049cb0309b9d451

自動制御、制御工学一覧（０）
https://qiita.com/kaizen_nagoya/items/7767a4e19a6ae1479e6b

プログラマが知っていると良い「公序良俗」
https://qiita.com/kaizen_nagoya/items/9fe7c0dfac2fbd77a945

一覧の一覧( The directory of directories of mine.) Qiita(100)
https://qiita.com/kaizen_nagoya/items/7eb0e006543886138f39

自動制御、制御工学一覧（０）
https://qiita.com/kaizen_nagoya/items/7767a4e19a6ae1479e6b

Rust(0) 一覧　
https://qiita.com/kaizen_nagoya/items/5e8bb080ba6ca0281927

小川清最終講義、小川清最終講義（再）計画, Ethernet(100) 英語(100) 安全(100)
https://qiita.com/kaizen_nagoya/items/e2df642e3951e35e6a53

＜この記事は個人の過去の経験に基づく個人の感想です。現在所属する組織、業務とは関係がありません。＞
This article is an individual impression based on the individual's experience. It has nothing to do with the organization or business to which I currently belong
### 文書履歴(document history)
ver. 0.01初稿　　20231203
### 最後までおよみいただきありがとうございました。
いいね　💚、フォローをお願いします。
#### Thank you very much for reading to the last sentence.
Please press the like icon 💚　and follow me for your happy life.