(toppers-users 3051) ET2009

["ogawa kiyoshi" <ogawa kiyoshi at nmiri city nagoya jp>]

$B$$$D$b$*@$OC$K$J$C$F$$$^$9!#(B

$B>.@n@6!wL>8E20;T9)6H8&5f=j$G$9!#(B

ET2009$B$KMh$F$$$^$9!#(B

$BL>8E20;T9)6H8&5f=j$N%V!<%9$,8E20;T9)6H8&5f=j$N%V!<%9$G$O!"(B
$BMhK,;I8r49$K(B
$B@_Dj$7!"#3$D$N%"%s%1!<%H$r;I$r$$$?$@$/7A<0$,#1$D$H!"%7!<%k$rE=$k$N$,#2$D$G$*;~4V$O$+$+$j$^$;$s!#(B

$B4X789`L\$b$"$j$^$9$N$G!"$<$R!"$*N)$A4s$j$$$?$@$1$k$H9,$$$G$9!#(B
A-17$B%V!<%9$H!"(BTOPPERS$B$N%V!<%9$HH?BP$N%$%s%F%k$N%V!<%9$N6a$/$G$9!#(B

$B#3$D$N%"%s%1!<%H$NFbMF$r5-O?$7$^$9!#(B

$B%"%s%1!<%H#1(B
$B!!!!!!!!!!$I$l$+0l$D$K%7!<%k$rE=$jIU$1$F$/$@$5$$!#(B
        TOPPERS$B:G>.%;%C%H(B
        RTL$B@_7W%9%?%$%k%,%$%I(B
        MISRA-C
        HAZOP
        $B%b%G%k8!>Z(B
        UML
        $B%7%=!<%i%9(B
        $B5!G=0BA4(B
        $B:n6H?GCG(B
        $B5;G=I8=`(B
        $B$=$NB>!!!!!!(B

$B%"%s%1!<%H#2(B
$B!!!!!!!!$I$l$+0l$D$K%7!<%k$rE=$jIU$1$F$/$@$5$$!#(B
        OSEK
        Verilog-HDL
        C$B8@8l5,3J(B
        FTA($B8N>cLZJ,@O(B)
        SPIN(promela)
        $B>uBVA+0\?^(B
        $BJq4^4X78!J=89g(B)
        IEC 61508
        Automotive SPICE
        ETSS$B!J%9%-%k!K(B
        ITRON
        VHDL
        $B@EE*8!::(B
        FMEA
        UPPAAL
        $B;~7ONs?^(B
        $BMQ8lDj5A!JN,9f!K(B
        ISO 26262
        Spice For SPACE
        $B0BA4G=NO%,%$%I(B
        $B$=$NB>(B

$B%"%s%1!<%H#3(B
$B!!!!L>8E20;T9)6H8&5f=j$N8&=$;qNAEy$N=q@R$r(B
$B!!!!!!CjA*$G3F#2:}!"9g7W#1#0L>MM$KB#Dh!#(B
$B!!!!H/I=$OH/Aw$r$b$C$FBe$($5$;$F$$$?$@$-$^$9!#(B
$BL>;I$K(BABCDE$B$N$$$:$l$+$r5-:\$7!"8fEjI<$/$@$5$$!#(B                        $B!!(B
$B#2L>$7$+EjI<$,$J$1$l$PL5CjA*$GEv$?$j$^$9!#(B
$B:81&$N%"%s%1!<%HEjI<$b9g$o$;$F$*4j$$$7$^$9!#(B

$BEjI<(B      $B=q@RL>(B $B!!Cx