(toppers-users 3646) Re: 形式手法、とよばれるものでしょうか？

[T.Fujikura]

藤倉です
　検索された情報源は関数仕様の検証と言う意味では正しい物です。プリエンプ
トの様な動きに関する検証では別の技術を使います。どちらについても断片的な
情報しか無いのが現状です、これから整備されると思います。
最近更新していないのですが私のブログに多少書いてあります。

http://tfujikura.blogspot.com/2010/02/blog-post_12.html

(2011/10/22 10:02), kazuyuki shinozaki wrote:
> 藤倉様　ご紹介ありがとうございます。
> 
> 仕様を決まったやり方で記述し、それを機械的に検証することもできる
> といったものでしょうか。モニタですと確かにプリエンプトするかしないかにも
> よりますが、比較的単純なサブルーチンの集合体になりますから
> 試みることもできそうですね。少し検索すると、様々な紹介があります。
> 一つ勉強できそうな種が見つかりました。
> 
> 図々しく、おたずねしますが、書籍になっているもので定番はありますか？
> ネットの情報はどうも断片的で、悪い癖で拾い読みしかしない気がしてなりませ 
> ん。
> http://www.vdmtools.jp/
> http://www.nttdata.co.jp/dsf/dl.html
> http://monoist.atmarkit.co.jp/mn/kw/embe_fm.html　などが情報源として正し 
> いでしょうか。
> 
> ML趣旨とずれてしまっているかもしれませんが、ご容赦ください。
> 
> 篠崎
> 
> ----- Original Message ----- From: "T.Fujikura" 
> <fujikura ＠ ymail.plala.or.jp>
> To: <users ＠ toppers.jp>
> Cc: "kazuyuki shinozaki" <shinosan ＠ kitanet.ne.jp>
> Sent: Saturday, October 22, 2011 9:28 AM
> Subject: (toppers-users 3640) Re: ROMに戻らずすみません
> 
> 
>> 藤倉です
>> 　自分でモニタを作ってる方が今もいらっしゃるのですね。今は簡単なモニタな
>> らば、アセンブラの部分も含めて形式検証が使えるのでやってみませんか?
>> 　今は学問だけでなく、開発工程も細分化されているので上流の手法の効果が解
>> り辛いのです。コンピュータサイエンスが利用されない原因でもあるように思い
>> ます。
>>
>> (2011/10/22 8:15), kazuyuki shinozaki wrote:
>>> 佐竹様　おはようございます。
>>>
>>> つたない文に目を通して頂いてありがとうございます。アカデミックな分野への
>>> 羨望は私も持っている口です。
>>> μITRONは
>>> ○それそのものが研究、教育の対象となり得る
>>> ○他の分野の研究の要素として活用され得る
>>> ○仕様が公開されているので、体系だった教育を受けていなくてものぞき込める
>>> 更にToppersは
>>> ○実装が公開されているので、使って試せる。諸先生方の考え方が見える。
>>> いいことだらけです。個人的には「プロファイル」の考え方と実装を拝見して、
>>> 実務上大変役立ちました。
>>>
>>> 別の例ですが、最近は学問も細分化、学際？化されているようで、「正規のコン
>>> ピュータ教育を全く受けていないが
>>> 素人が効いても全く判らないような高度な研究」を行った上で、職に就いた後で
>>> 道具としてマイコンのソフトを
>>> 組む必要がある方もいるようです。近場にも院卒らしいのですが、色々苦労して
>>> いる方がいます。
>>> 私も、下から上を見上げて、体系だった教育の重要さが身にしみて判ります。
>>>
>>> 理性ある議論？は、特に名を挙げて失礼ですが、酔漢さんやこいさんさんの投稿
>>> は読ませて頂いて楽しめます。
>>> 自分で作る楽しさを、感じることができます。かくいう私も排除しないで読ませ
>>> て頂き続けたいです。
>>> ・・・実は私も簡単、簡単なモニタ、作ることになりそうなので。
>>>
>>> ではよい休日をお過ごしください。出勤されていたらごめんなさい。
>>>
>>> ----- Original Message ----- From: "smasaya" <smasaya ＠ nexyzbb.ne.jp>
>>> To: <users ＠ toppers.jp>
>>> Sent: Saturday, October 22, 2011 7:33 AM
>>> Subject: (toppers-users 3638) Re: １ユーザーの感想です。
>>>
>>>
>>>> 篠崎さんおはようございます。
>>>>
>>>>> とにかく止まれない、リセットできない用途もあります。
>>>>> ただ、マイコンのソフトウエアは、広大なメモリと高速なCPUを使える幸運に
>>>>> 恵まれるより、規定ギリギリの電圧と
>>>>> クロックで爪に火をともす仕事を黙々とこなしている人たちも沢山関わって
>>>>> いると思います。
>>>>
>>>> 私もこれに該当します。実務では、資源の少なさ、そしてなにより性能と信頼
>>>> 性とメンテ性の必要から、プロジェクト毎にスクラッチから書けるほどシンプ
>>>> ルな自作のタスクモニタを使用しています。転職しない限り実務では汎用（私
>>>> から見れば）のOSを使う機会はないと思いますが、私のような末端の労働者は
>>>> 正規のコンピューターサイエンスの教育を受けていないし、周りには旋盤工し
>>>> かいないので、toppersやそのMLのアカデミックな空気と話題は、間接的に大
>>>> きな助けになってます。
>>>>
>>>> あと、たまにけんかがあるのも、（私は行きたかったが行った事がない）大学
>>>> みたいで元気があってよろしい、と思うのは私のだけかもしれませんが、誰も
>>>> 排除されずにいて欲しいです。
>>>>
>>>> 佐竹＠板橋の旋盤工場の片隅
>>>>
>>>
>>>
>>
>>
>> -- 
>> //T.Fujikura
>>
> 
> 


-- 
//T.Fujikura