sysml

MODELS 2021, Industry Daysにて発表 “Light-weight integration of MBSE and model-checking”

10月中旬、モデリングの国際カンファレンス MODELS 2021がオンライン開催され、世界各国から研究者やエンジニア、経営者（マネージャー）など460名を超える参加者が集まりました。今回のブログでは、Industry Daysでチェンジビジョンが実施した発表のスライド（英語）をご紹介します。

続きを読む

身近な家電の開発プロジェクトを例に、MBSEの流れやモデルの役割を理解しよう

MBSEに関する知識を学び、理解を深める段階で、実際の業務に近い内容の図やモデルを参照できれば、実践へのステップが進むことでしょう。
そこで、チェンジビジョンでは日々の暮らしに身近な家電の開発プロジェクトを例に、MBSEの流れやモデルの役割を解説する資料を用意しました。どなたでも無料でダウンロードできますので、ぜひご活用ください。

続きを読む

安全情報のトレーサビリティを改良する安全モデリング言語「SafeML」の紹介 – Part1/3

Geoffrey Biggs, SafeML

ロボット、自動車、家電などの設計に必要不可欠な「機能安全」。設計をする人、安全分析をする人、安全情報を認証する人など、システムに関わり、かつ異なる専門を持つ様々な人たちの間で、安全設計の情報を効率的に伝達、管理する手法を、国立研究開発法人 産業総合研究所のGeoffrey Biggsさんが開発されました。「SafeML」というモデリング言語を使って、安全情報をモデルベースで表現する手法です。Geoffさん本人に解説していただきました。
第1回目は、「SafeMLの背景、SafeMLで解決する問題、利点」

続きを読む