プラグマデヴ スタジオ

PragmaDev_Studio

PragmaDev Studio は、通信システムの仕様に特化して 2002 年に PragmaDev によって導入されたモデリングおよびテスト ソフトウェア ツールです。当初はReal Time Developer Studioまたは RTDSと呼ばれていました。その主な目的は、SDL-RT モデリング テクノロジをサポートすることでした。2015 年 10 月 7 日に V5.0 がリリースされて以来、RTDS は PragmaDev Studio と呼ばれており、Specifier、Developer、Tester、Tracer の 4 つの独立したモジュールで構成されています。 2016 年 11 月 29 日にリリースされた V5.1 では、フリーミアムライセンス モデルが導入されました。
プラグマデヴ スタジオ
開発者
プラグマデヴ
安定版リリース 5.5 オペレーティング·システム
Linux、Windows、macOS、Raspbian
タイプ
ソフトウェア開発、適合性テスト
ライセンス
無料および商用
Webサイト
プラグマデフ.com

コンテンツ
1 特徴
1.1 仕様と記述言語 1.2 シミュレーション 1.3 コード生成 (コンパイラー) 1.4 モデルチェック 1.5 機能テスト 1.6 モデルベースのテスト 1.7 導入シミュレーション 1.8 パフォーマンス分析 1.9 CPSシミュレーション
2 アプリケーションドメイン
2.1 電気通信 2.2 アビオニクスと宇宙 2.3 半導体 2.4 安全
3 PragmaDev Studio の歴史
4 プラグマデヴ
5 参考文献
6 参考文献
7 外部リンク

特徴

仕様と記述言語
仕様記述言語(SDL) は、通信システムを記述するためにITU-Tによって標準化されたモデリング言語です。 SDL はグラフィカルですが、SDL モデルを実行可能にする実行セマンティクスを持つアクション言語が含まれています。 SDL は完全で曖昧さがないため、正式なものとみなされます。 SDL-RT は、アクション言語が C または C++ 命令に置き換えられた SDL のバリアントです。 SDL-RT は、SDL とコードを混合するため、準公式とみなされます。 ITU-T は、 SDL に基づいてUMLプロファイルを標準化し、あらゆる SDL ツールを拡張して一種のUML ツールとしました。

シミュレーション
PragmaDev Specifier には、モデル デバッガーのように動作する SDL シミュレーターが埋め込まれています。ブレークポイントをグラフィカルに設定し、変数や保留中のタイマーを表示することが可能です。実行中に、メッセージ シーケンス チャートITU-T 標準に基づいてライブ トレースが生成されます。

コード生成 (コンパイラー)
PragmaDev Studio は SDL モデルから C または C++ コードを生成でき、PragmaDev Developer は SDL-RT モデルから C または C++ コードを生成できます。生成されたコードは、任意のリアルタイム オペレーティング システムまたはスケジューラに適合させることができます。このツールは、gdb などのデバッガーとの統合を多数提供しているため、ユーザーは生成されたコードではなくモデルをデバッグしていると感じられます。

モデルチェック
PragmaDev Studioは、Verimag の IFx、LAAS の TINA、CEA LIST の Diversity などのサードパーティ ツールでモデルを検証するために、SDL モデルを IF、FIACRE、 、XLIA などのさまざまな形式にエクスポートできます。

機能テスト
PragmaDev Tester は、テスト用の国際標準TTCN-3をサポートしています。このツールは、SDL モデルに対してテスト ケースをシミュレートすることも、コンパイルして実際のSUTに対して実行するコードを生成することもできます。

モデルベースのテスト
PragmaDev Studio は、シミュレーションの結果として得られるメッセージ シーケンス チャートから TTCN-3 テスト ケースを生成できます。
テスト ケースは、Verimag の IFx やCEA-LIST: Laboratory for Integration of Systems and Technology のDiversity などのサードパーティ テクノロジーを通じて SDL モデルから生成することもできます。その目的のために、PragmaDev Studio は、サードパーティ ツールが理解できるピボット言語にモデルをエクスポートします。

導入シミュレーション
PragmaDev Studio は、分散コンピューティング環境での動作を検証するために、SDL モデルの多数のインスタンスのデプロイメントをシミュレートできます。この機能はベルリンのフンボルト大学の研究に基づいています。

パフォーマンス分析
PragmaDev Studio には、一連のシナリオで時間またはエネルギーに最適なアーキテクチャを見つけるためのパフォーマンス アナライザーが導入されています。

CPSシミュレーション
PragmaDev Studio は、Functional Mock-up Interfaceを介してCyber​​ Physical Systems (CPS) シミュレーションをサポートします。
アプリケーションドメイン編集

電気通信
Alcatel は、電話交換機の開発と保守のために PragmaDev を選択しました。
シャリフ大学は、IEEE 802.11 ワイヤレスプロトコルのMAC 層の最適化を研究しました。
IoTのモデリングとシミュレーション。
ネットワークプロトコルのテスト。

アビオニクスと宇宙
エアバス機用の航空管制システムの仕様と開発。
宇宙ミッション向けのシステム アーキテクチャの最適化。
リアルタイムおよび組み込みシステムの開発専用のESAフレームワークである TASTE への統合。

半導体
マイクロプロセッサのハードウェア アーキテクチャの最適化。

安全
分散型緊急地震速報システムの開発。
自動識別システムの設計と実装。
欧州列車制御システムに適用される安全要件の検証。

PragmaDev Studio の歴史
発売年
バージョン
まとめ2002年 1.x
VxWorks のコード生成と Tornado によるデバッグによる SDL-RT のサポート。2003年 2.x
UMLのサポート。2004年 3.x
シミュレーションを含む SDL サポート。2009年 4.x
テスト用の TTCN-3 サポート。2015年 5.x
新しい見た目と感触。モジュール内の新しい構成: Specifier、Developer、Tester、Tracer。

プラグマデヴ
PragmaDev Studio の作成者は民間企業 PragmaDev です。PragmaDev は 2001 年に設立され、フランスのパリに

参考文献
^ 「Embedded Control Europ 2014 イエロー ページ」 (PDF)。
^ 「仕様および記述言語 – リアルタイム」 . www.sdl-rt.org 。。
^ 「PragmaDev Studio ユーザーマニュアル」(PDF)。2018年4月11日。
^ “PragmaDev ツールの機能と価格” .
^ 「PragmaDev Studio インストールマニュアル」(PDF)。
^ “ITU-T – Z.100 : 仕様および記述言語 – SDL-2010 の概要” .
^ 「SDL フォーラム協会 – SDL とは?」。
^ “ITU-T – Z.104 : 仕様および記述言語 – SDL-2010 のデータおよびアクション言語” .
^ “ITU-T – Z.109 : 仕様および記述言語 – SDL-2010 の統一モデリング言語プロファイル” .
^ ブランブリ、ミハル; ゴーダン、エマニュエル （2016-01-27)。「分散システムをテストするための自動インターリーブ」。土井: 10.13140/RG.2.1.4223.9764。
^ ブランブリ、ミハル; ゴーダン、エマニュエル （2016)。複雑なシステムの設計と管理アジア。インテリジェント システムとコンピューティングの進歩。スプリンガー、チャム。17～29ページ。土井: 10.1007/978-3-319-29643-2_2。ISBN  9783319296425。S2CID  8817726。
^ ブランブリ、ミハル; フィッシャー、ヨアヒム （2010-10-04)。ネットワーク シミュレーター用の SDL コード生成。システム分析とモデリング: モデルについて。コンピューターサイエンスの講義ノート。スプリンガー、ベルリン、ハイデルベルク。144～155ページ。土井: 10.1007/978-3-642-21652-7_9。ISBN  9783642216510。S2CID  41634778。
^ フィッシャー、ヨアヒム; フランク・キューンレンツ。アーレンス、クラウス。イブスレージ、イングマル（2009 年 12 月）。「自己組織化型緊急地震速報システムのモデルベース開発」SNE シミュレーション ノート ヨーロッパ。18 (3–4): 9–20。土井：10.11128/sne.19.on.09941。ISSN 2305-9974。S2CID 10164856。    ^ ラングラ、スビール; ゴーダン、エマニュエル （2014-02-06)。「SDL から Fiacre への変換」。土井: 10.13140/2.1.1819.1683。
^ バニャート、アレッサンドラ; インドルシアック、レアンドロ・ソアレス。クアドリ、イムラン・ラフィク。ロッシ、マッテオ （2014)。組み込みシステム設計に関する研究のハンドブック。バニャート、アレッサンドラ、1974 年-、インドルシアック、レアンドロ ソアレス、1974 年-、クアドリ、イムラン ラフィク、1981 年-、ロッシ、マッテオ、IGI グローバル。ペンシルベニア州ハーシー (701 E. Chocolate Avenue、ハーシー、ペンシルベニア、17033、米国)。ISBN  9781466661943。OCLC  892759153。 CS1 メンテナンス: 場所 (リンク) ^ 「Embedded Control Europe – 2017 イエロー ページ」(PDF)。
^ ブランブリ、ミハル; ゴーダン、エマニュエル （2016-01-27)。「分散システムをテストするための自動インターリーブ」。土井：10.13140/rg.2.1.4223.9764。
^ ゴーダン、エマニュエル; ブルネル、エリック （2013-06-26)。MSCによるプロパティ検証。SDL 2013: モデル駆動型ディペンダビリティ エンジニアリング。コンピューターサイエンスの講義ノート。スプリンガー、ベルリン、ハイデルベルク。19 ～ 35 ページ。土井: 10.1007/978-3-642-38911-5_2。ISBN  9783642389108。
^ デルトゥール、ジュリアン; フェーヴル、アラン。ゴーダン、エマニュエル。ラピトル、アルノー （2014-09-29)。モデルベースのテスト: SDL/RTDS と DIVERSITY を使用したアプローチ。システム分析とモデリング: モデルと再利用性。コンピューターサイエンスの講義ノート。スプリンガー、チャム。198–206ページ。土井: 10.1007/978-3-319-11743-0_14。ISBN  9783319117423。
^ ブランブリ、ミハル; フィッシャー、ヨアヒム （2012)。分散通信システムのシミュレーション視覚化。議事録のタイトル: 2012 Winter Simulation Conference (WSC) の議事録。1 ～ 12 ページ。CiteSeerX 10.1.1.659.8202。土井：10.1109/wsc.2012.6465021。ISBN   978-1-4673-4782-2。S2CID  8744406。
^ ブランブリ、ミハル; フィッシャー、ヨアヒム （2012-10-01)。分散通信システムのシミュレーション構成モデリング。システム分析とモデリング: 理論と実践。コンピューターサイエンスの講義ノート。スプリンガー、ベルリン、ハイデルベルク。198–211ページ。土井: 10.1007/978-3-642-36757-1_12。ISBN  9783642367564。
^ ブランブリ、ミハル; ゴーダン、エマニュエル （2016-10-03)。SDL システムのパフォーマンスの最適化。システム分析とモデリング。モデルのテクノロジー固有の側面。コンピューターサイエンスの講義ノート。スプリンガー、チャム。100–115ページ。土井: 10.1007/978-3-319-46613-2_7。ISBN  9783319466125。
^ “PragmaDev Studio の新機能” .
^ “PragmaDev : PragmaDev の変換システムの開発を行う Alcatel のプレート形式の選択 – News-Eco Informatique”。www.news-eco.com 。。
^ サマディ、S. ゴルモハマディ、A. ジャンネサリ、A. モバヘディ氏、MR。カラージ、B. ガーマガミ、S. 。IEEE802.11 メディア アクセス コントロールの新しい実装。2006 年インテリジェント信号処理と通信に関する国際シンポジウム。489–492ページ。土井: 10.1109/ISPACS.2006.364704。ISBN  978-0-7803-9732-3。S2CID  17337531。
^ エーデル、シェラット; オバー、イレアナ。ゴーダン、エマニュエル。カサス、パウ・フォンセカ i; フィン、クリストファーセン （2015-10-12)。SDL – IoT 言語(PDF)。SDL 2015: スマート シティ向けのモデル駆動型エンジニアリング。コンピューターサイエンスの講義ノート。スプリンガー、チャム。27–41ページ。土井: 10.1007/978-3-319-24912-4_3。ISBN
 9783319249117。S2CID  28115828。
^ ブランブリ、ミハル; ゴーダン、エマニュエル （2016)。複雑なシステムの設計と管理アジア。インテリジェント システムとコンピューティングの進歩。スプリンガー、チャム。17～29ページ。土井: 10.1007/978-3-319-29643-2_2。ISBN  9783319296425。S2CID  8817726。
^ “コスト効率の高いクロスレイヤープロトコルテスト: ケーススタディ | SASE 2011” . www.sase.com.ar (ヨーロッパ系スペイン語) 。。
^ ボナファス、エリック; ボニオール、フレデリック。ドーシー、フィリップ。デュマ、ザビエル（2008 年 10 月）。「効率的かつ実際のMDEプロセスの経験：ATC車載システムの設計と検証」UML と形式メソッドに関するカンファレンス。日本の北九州市。
^ ブランブリ、ミハル; ゴーダン、エマニュエル。コルティエ、アレクサンドル。ロシニョール、アラン。「システムの最適化: 宇宙ドメインでの使用例」。第 9 回組み込みリアルタイム ソフトウェアおよびシステムに関する欧州会議 (ERTS 2018)。トゥールーズ、フランス。
^ ペロタン、マキシム; 征服、エリック。デランジュ、ジュリアン。シーレ、アンドレ。ツィオドラス、タナシス （2011-07-05)。TASTE: リアルタイム ソフトウェア エンジニアリング ツール チェーンの概要、ステータス、および将来。SDL 2011: システム モデリングとソフトウェア モデリングの統合。コンピューターサイエンスの講義ノート。スプリンガー、ベルリン、ハイデルベルク。26～37ページ。土井: 10.1007/978-3-642-25264-8_4。ISBN  9783642252631。S2CID  42454301。
^ ゴーダン、エマニュエル; クアール、アラン （2015-10-12)。SDL に割り込みを導入する実験。SDL 2015: スマート シティ向けのモデル駆動型エンジニアリング。コンピューターサイエンスの講義ノート。スプリンガー、チャム。81–88ページ。土井: 10.1007/978-3-319-24912-4_7。ISBN  9783319249117。
^ フィッシャー、ヨアヒム; フランク・キューンレンツ。アーレンス、クラウス。イブスレージ、イングマール （2009)。「自己組織化型緊急地震速報システムのモデルベース開発」SNE シミュレーション ノート ヨーロッパ。18 (3–4): 9–20。土井：10.11128/sne.19.on.09941。S2CID 10164856。   ^ フィッシャー、ヨアヒム; レドリッヒ、イェンス＝ピーター。ツシャウ、ヨッヘン。ミルカライト、クラウス。ピコッツィ、マッテオ。フレミング、ケビン。ブランブリ、ミハル。リヒトブラウ、ビョルン。イブスレージ、イングマル （2012)。「早期警告のためのワイヤレスメッシュセンシングネットワーク」。ネットワークおよびコンピュータ アプリケーションのジャーナル。35 (2): 538–547。土井：10.1016/j.jnca.2011.07.016。
^ ハシン、MB; グラティ、Ｋ．ガゼル、A. コウキ、A. 。SDL-RT を使用した AIS リンク層の設計と実装。2008 年の第 2 回年次 IEEE システム会議。1 ～ 5 ページ。土井: 10.1109/SYSTEMS.2008.4518998。ISBN  978-1-4244-2149-7。S2CID  22683463。
^ アムール・ブーリファ、ラベア; カヴァリ、アナ。マーグ、ステファン。ETCS 複雑なソフトウェア制御システムを検証するための正式なテスト目標から TTCN-3 まで。ICSOFT 2019、Communications in Computer and Information Science、Vol 1250。Springer、Cham。156–178ページ。土井: 10.1007/978-3-030-52991-8_8。ISBN  978-3-030-52990-1。S2CID  220794902。
^ “PragmaDev. プロファイル” . 2014 年 3 月 30 日に取得。PragmaDev は、SDL に基づくグラフィカル ソフトウェア モデリング ツールのプロバイダーです。

参考文献
ドルディ、ローラン （2003)。「SDL を使用した通信システムの検証: SDL シミュレーションと到達可能性分析の技術」。ジョン・ワイリー・アンド・サンズ社
ハダド、セルジュ。コルドン、ファブリス。ポーテ、ローラン。ペトルッチ、ローレ （2013)。「分散システム: 設計とアルゴリズム」。ジョン・ワイリー・アンド・サンズ社
ブランブリ、ミハル （2015)。「分散通信システムのモデル駆動開発とシミュレーション」。ベルリンのフンボルト大学。
クーン、T. ゲッツハイン、R. ウェーベル、C. （2006)。「SDL によるモデル駆動開発 – プロセス、ツール、エクスペリエンス」。モデル駆動エンジニアリングの言語とシステム。コンピューターサイエンスの講義ノート。シュプリンガー、ベルリン、ハイデルベルク：83–97。

外部リンク
PragmaDev ホームページ