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
参考文献のNo.18は、
[18] MIRI - An interpreter for Rust’s mid-level intermediate representation https://github.com/rust-lang/miri
本に書いてあることをdocker, macOS(M2)で動作させてみる。bookが、本に書いてあること。その次のbashが自分の機材での動作。
<この項は書きかけです。順次追記します。>
This article is not completed. I will add some words in order.
docker
$ docker run -it rust /bin/bash
# apt update; apt -y upgrade
# apt install vim
# mkdir miri
root@ffc652d1f3f8:/# cd miri
root@ffc652d1f3f8:/miri# git close https://github.com/rust-lang/miri.git
git: 'close' is not a git command. See 'git --help'.
The most similar command is
clone
root@ffc652d1f3f8:/miri# git clone https://github.com/rust-lang/miri.git
Cloning into 'miri'...
remote: Enumerating objects: 54565, done.
remote: Counting objects: 100% (227/227), done.
remote: Compressing objects: 100% (131/131), done.
remote: Total 54565 (delta 99), reused 200 (delta 91), pack-reused 54338
Receiving objects: 100% (54565/54565), 14.16 MiB | 8.06 MiB/s, done.
Resolving deltas: 100% (36698/36698), done.
root@ffc652d1f3f8:/miri# rustup +nightly component add miri
info: syncing channel updates for 'nightly-aarch64-unknown-linux-gnu'
info: latest update on 2023-12-30, rust version 1.77.0-nightly (3cdd004e5 2023-12-29)
info: downloading component 'cargo'
8.5 MiB / 8.5 MiB (100 %) 1.4 MiB/s in 8s ETA: 0s
info: downloading component 'rust-std'
30.3 MiB / 30.3 MiB (100 %) 9.3 MiB/s in 3s ETA: 0s
info: downloading component 'rustc'
76.8 MiB / 76.8 MiB (100 %) 8.9 MiB/s in 8s ETA: 0s
info: installing component 'cargo'
info: installing component 'rust-std'
30.3 MiB / 30.3 MiB (100 %) 17.3 MiB/s in 1s ETA: 0s
info: installing component 'rustc'
76.8 MiB / 76.8 MiB (100 %) 21.6 MiB/s in 3s ETA: 0s
info: downloading component 'miri'
info: installing component 'miri'
docker push
$ docker commit ffc652d1f3f8 kaizenjapan/rustmiri
sha256:6ee46473b974c3a48ae266bc4eb171a57b784b4ef94185b285c1c811a58e30ec
MacBook-Air:~ ogawakiyoshi$ docker push kaizenjapan/rustmiri
Using default tag: latest
The push refers to repository [docker.io/kaizenjapan/rustmiri]
656c4ac6591b: Pushed
ab4b30ccf987: Mounted from kaizenjapan/rust
17935857b766: Mounted from kaizenjapan/rust
92102e6601b6: Mounted from kaizenjapan/rust
3159e3503c4e: Mounted from kaizenjapan/rust
73dca680fc18: Mounted from kaizenjapan/rust
latest: digest: sha256:c1e47ab8b9ce6aafb258746fb491c195243a174bf6c5b4a79b0c0463d6ae7421 size: 1592
参考資料(reference)
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
coding (101) 一覧を作成し始めた。omake:最近のQiitaで表示しない5つの事象
https://qiita.com/kaizen_nagoya/items/20667f09f19598aedb68
なぜ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 初稿 20231231
最後までおよみいただきありがとうございました。
いいね 💚、フォローをお願いします。
Thank you very much for reading to the last sentence.
Please press the like icon 💚 and follow me for your happy life.