2017年1月19日 (木)

作成したYicesのGUIからオプションを変えSMTを行う

『Yices』でSMTを行う際にオプションが幾つかあるが,それを変更してSMTを...

» 続きを読む

|

2017年1月18日 (水)

『Yices』によるSMTソルバ

YicesによるSMTソルバを使った作業の効率化のためにGUIインタフェースを作...

» 続きを読む

|

2017年1月13日 (金)

『安全性工学』『レジリエンス・エンジニアリング』と『数学的直観主義・構成主義』

昨日東京大学においてErik HOLLNAGEL教授の『レジリエンス・エンジニア...

» 続きを読む

|

今日の東京大学でのセミナーの整理と考察

今日の理論と事例の中で、とても良いヒントや応用面のイメージが湧いたものがありまし...

» 続きを読む

|

ペトリネットツールでシミュレーション実行と安全性判定の概念

久しぶりに以前使ったペトリネットツールでシミュレーション実行したいと思い,適当に...

» 続きを読む

|

2017年1月12日 (木)

東京大学に来ています

今日は午後一杯は東京大学です。 晴れているのでさほど寒く感じません。

» 続きを読む

|

2017年1月10日 (火)

ロケット発射&制御システムの例題とミサイル制御システムのプログラム開発

正月明けそうそうオフィスの整理です。   まずは書籍や資料の整理をしています。 ...

» 続きを読む

|

2016年12月29日 (木)

CMMI & Agile

本日、CMMI  Instituteからメールで連絡がありました。 資...

» 続きを読む

|

2016年12月15日 (木)

有界モデル検査ツールのGUI2

作成中の有界モデル検査ツールのGUIで対応するオプションが増えました。 このツー...

» 続きを読む

|

2016年12月11日 (日)

変動を扱う分析手法

周波数、確率変動、共鳴およびノイズなど従来の分析手法では使わない要素を用いて安全...

» 続きを読む

|

2016年12月 5日 (月)

MITの先生による講義@九州大学

今日の大半はMITの先生によるモデリングの講義でした。 有益な情報が入手出来まし...

» 続きを読む

|

2016年11月26日 (土)

有界モデル検査『CBMC』のGUI

有界モデル検査のツールであるCBMCは,コードを解析する際にとても有用です。 し...

» 続きを読む

|

2016年11月23日 (水)

PSPの『ProcessDashboard』を更新した

正規にはβ版となっているが最新の『ProcessDashboard』に更新しまし...

» 続きを読む

|

『特許証』が特許庁から届いた

『特許証』が特許庁から届きました。

» 続きを読む

|

2016年11月22日 (火)

『Event-B Day』のworkshop

国立情報学研究所(NII)@学術総合センターに来てます。 形式手法であるEven...

» 続きを読む

|

2016年11月15日 (火)

Eclipseでのモデリングを環境を確立

JVMを一新してEclipseでのモデリングを環境を確立しました。  ...

» 続きを読む

|

2016年11月10日 (木)

IoT&M2M時代のSysMLによる『ハザード分析』&『安全性解析』 のモデリングの重要性

今日は鉄道の制御のIEEE1474国際標準と CBTC(Communicatio...

» 続きを読む

|

2016年11月 9日 (水)

『安全性解析』のモデリング作業~『アシュアランスケース』や『安全性解析』が大切

制御系のシステム加発では必至となりつつある『安全性解析』のモデリングの作業と調査...

» 続きを読む

|

2016年11月 3日 (木)

SysMLによるアーキテクチャ分析・設計とアーキテクチャの性能検証作業

コンポ―ネントの振る舞い性能やタスク/スレッドのスケジューリング性能解析です。

» 続きを読む

|

astah*SysMLとastah*UMLのプラグインを設定しました

SysMLとUMLによるモデル駆動開発のモデル開発のために,astah*SysM...

» 続きを読む

|

«『SysML/UMLモデル』の正当性~ シミュレーションとモデル検査