6. 2011.11第9回クリティカルソフトウェア
ワークショップ(続)
「Model Checking of Services Workflow Reconfiguration: a
Perspective on Dependability」University of Tsukuba, Juan Carlos
http://www.ipa.go.jp/files/000005295.pdf
「モデル検査の適用プロセスの提案」株式会社フォーマルテッ
ク,早水公二
http://www.ipa.go.jp/files/000005296.pdf
「モデルベース開発導入へのチャレンジ ~単体コード検証への
適用による導入の加速~」株式会社東海理化, 山口晶広
http://www.ipa.go.jp/files/000005297.pdf
「TOPPERS/SSPへの組込みコンポーネントシステム適用におけ
る設計情報の可視化と抽象化」株式会社ヴィッツ, 鵜飼敬幸
http://www.ipa.go.jp/files/000005299.pdf
20. 5.5.1 MISRA-C++のHAZOP
16/10/02(c)kaizen@wh.commufa.jp, @kaizen_nagoya
無non
bool
NUL
L
zero
unus
ed
bitwi
se
void
condi
tion
switc
h/
case
exce
ption
loop
if
empt
y
varid
大
uppe
r
case
wide
size
multi
ple
numb
er/
enum
value
/
varia
ble
integ
er
cast
const
ant
float
point
er
arith
metic
chara
cter
inc/
dec
類type
stand
ard
comp
atible
rule
conv
ersio
n
cast
exce
ption
前block
exter
nal/
inter
nal
stati
c/
dyna
mic
order
befor
e/
after
goto/
jump
thro
w/
catch
prepr
oces
sor/
defin
e
switc
h/
case
exce
ption
exit/
termi
nate
21. 5.6.1 CERT C++のHAZOP
16/10/02(c)kaizen@wh.commufa.jp, @kaizen_nagoya
無
if,
while
for
switc
h
cast
NUL
L
race
atomi
c
defin
e
retur
n
decle
ar
invali
d
refer
ence
retur
n
prepr
oces
sor
大
enum
erati
on
for
case
cast
rando
m
name
spac
e
value
numb
er
va_ar
g
const
raints
floati
ng
refer
ence
point
er
argu
ment
s
類
gener
ic
librar
y
std
cast
safet
y
rule
funct
ion
defin
e
exce
ption
macr
o
error
file
form
at
type
前
doma
in
range
switc
h
signal
ascti
me
prepr
oces
sor
sequ
ence
EOF
const
racto
r