人から教えてもらいましたが、Green HillsがEAL6+とったINTEGRITYや、WindRiverがEAL7をとろうとしている(まだとってないよね?)VxWorksでつかっているSKPP(Separation Kernel Protection Profile)が、いつの間にか正式版出てたんですねぇ。 バージョン1.03…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。