AUTOSAR CountdownAdvent Calendar 2022

ちょけねこたんじょうびのおくりもの安全(96) 図(34)

Last updated at 2024-07-11Posted at 2018-03-11

ちょけねこ　たんじょうびのおくりもの　

プログラムの仕様・設計で抜け漏れがないかを確かめるために使うことができる道具の説明絵本です。

誰もがわかるように、楽しいことで説明しています。
特に、１０歳以下の子供が取り組むときには、必ず楽しいことで演習をしてください。

最後に、直接プログラムで判定できるように式を記述しています。プログラムを組む時の条件分岐にご利用ください。

<この項は書きかけです。順次追記します。>
This article is not completed. I will add some words in order.

しらべかた(how to check)

C言語風 (like c programming language)

ここでは、HAZOPをプログラミングで生かす場合に、「C言語の場合だったらどうだろう」
という視点で、プログラムの断片を記載しています。変数、配列、関数のいずれを使うか、
場合によって異なるため、最初の宣言との間には整合性を取っていません。

全てを整合性を持たせるためには、変数名、配列名、関数名を適宜変更してください。

魔法の言葉（効能）

Overflow(大：more)は検査するのにunderflow(小：less)は検査してない
遅い(late)は検査するのに、早い(early) は検査してないなど、
両極端をどちらも検査しなくてはいけないことを定着させるのに有効です。

#include <stdio.h>
void exception(int,int);
void function(int);
int main(){
int x;
int A;//狙い、目当て、設計値
int Am;//上限
int Al;//下限

無(no)

if ( 0 == x || NULL == x) {
 exception(no,x)
} else {
 function(x)
}

逆(reverse)

if ( - A == x) {
 exception(reverse,x)
} else {
 function(x)
}

他(other than)

if ( A != x && 0 == x && -A != x) {
 exception(otherthan,x)
} else {
 function(x)
}

大(more)

if ( x > Am) {
 exception(more,x)
} else {
 function(x)
}

小(less)

if ( x < Al) {
 exception(less,x)
} else {
 function(x)
}

類(as well as)

if ( A == x(j) || x1(t) == x2(t)) {
 exception(aswellas, x)
} else {
 function(x)
}

部(part of)

if ( A(k) == x) {
 exception(partof,x)
} else {
 function(x)
}

早(early)

if ( x(t) > A(t) )  {
 exception(early,x)
} else {
 function(x)
}

遅(late)

if (x(t) < A(t)) {
 exception(late,x)
} else {
 function(x)
}

前(before)

if ( x(i) < A(i)) {
 exception(before,x)
} else {
 function(x)
}

後(after)

if ( x(i) > A(i)) {
 exception(after,x)
} else {
 function(x)
}

おとな　の　かたへ

引用
「ちょけねこ　お調子(ちょうし)ものの代名詞(だいめいし)！新進(しんしん)「ちょけむさ」のLINE(ライン)クリエーターズスタンプ。

この絵本(えほん)の絵(え)はスタンプからなる。表紙(ひょうし)は絵本(えほん)オリジナル。

まほうのことば　HAZOP(はぞっぷ)で決(き)めている11のことば。
８つはそれぞれ二次元(にじげん)に対称(たいしょう)なことば。４組(くみ)の対(つい)がある。

類部(るいぶ)（空間(くうかん)の質(しつ)）
大小(だいしょう)（空間(くうかん)の量(りょう)）
前後(ぜんご)（時間(じかん)の質(しつ)）
早遅(そうち)（時間(じかん)の量(りょう)）

無(む)，逆(ぎゃく)は，有(あ)る・設計(せっけい)・想定(そうてい)の反対(はんたい)のことば。他(ほか) 以外(いがい)はすべて対称(たいしょう)。他(ほか)は残(のこ)りを入(い)れる便利(べんり)な箱(はこ)。とっても楽(らく)ちん。無(no)，大(more)，小(less)は，すぐに思(おも)いつく。始めは，この３つだけでもOK(オッケー)。これを無大小優先 (むだいしょうゆうせん)(NMLfirst(エヌエムエルファースト))と呼(よ)ぶ。

HAZOP(はぞっぷ)(Hazard(ハザード) and(アンド) Operability(オペラビリティ)の略(りゃく)) 国際電気会議(こくさいでんきかいぎ)(IEC(アイイーシー))規格(きかく)61882。外(はず)れ，想定外(そうていがい)を洗(あら)い出(だ)す方法(ほうほう)。使(つか)う人(ひと)，創(つく)った人(ひと)の意図(いと)から外(はず)れた状態(じょうたい)を，11の魔法(まほう)のことば(guide word(ガイドワード))で引(ひ)き出(だ)す。物(もの)にも事(こと)にも使(つか)える。」

「ちょけねこ　HAZOP」検索(けんさく)