可能です。
具体的には、ZIPCのメニュー[プロジェクト]-[プロジェクト設定]-[Cコード生成設定]の[STM設定]ページにて、STM一覧からSTMを選択し、[無視、不可セル関数コール]の設定をします。
無視又は不可の関数コールを設定すると、無視や不可を処理するときに、設定した関数がコールされます。
例)
v 無視関数コール書式 ign_func() //チェックをし、関数コール書式を設定
上記のように設定した場合、無視コール時にign_func関数がコールされます。
不可も同様に設定します。
無視関数と不可関数を同じ関数でコールする場合には無視or不可の設定をした後無視不可共通関数コールをチェックします。

このような場合には、実際の遷移先は、2 となります。
これは、アクションセルの処理が終わった後、トランジションセルの処理が行われ、そこで遷移先が 2 に書き換わるためです。

STMのレベル番号は親子関係を指定するものになります。
親子関係のSTMの場合、子のレベル番号は親の "番号.x" と付けます。

　　例)
			 親STM       子STM      孫STM
			 □0  ─┬─ □0.1 ── □0.1.1
					└─ □0.2
	

親子関係のSTMにするためにはルールがあります。
STM書式設定の内容で
(1) STM種別が一致している
(2)リターン型が一致している
(3)クローン数が一致している
(4)引数が一致している
という条件の場合に親子関係にすることができます。
親子関係のSTMでは生成コードが共通にまとめられます。

上記の条件に当てはまらない場合にはレベル番号の整数部分を新規に割り当てます(それぞれに親子STMを作成することは可能です)。

　　例)
		親STM　　子STM
		□0 ── □0.1　　　E型通常STM リターン型(void)

		□1 ── □1.1　　　E型通常STM リターン型(int)

		△2 ── △2.1　　　E型通常サブルーチン
	

この場合、生成コードはそれぞれ別ファイルとなりますが、異なる型のSTMを作成することができます。
事象階層化では□0から□1をコールしたり、□1.1から△1をコールすることも可能です。

なおレベル番号0のSTMは特別なSTMであり、main関数が生成されます。このレベル番号を付けられるのはE型通常STM、又はS型通常STMのみです。

STMのレベル番号を指定したとき、整数部分が一致するものがルート所属関係のSTMとなります。

　　例）
	   □0 ─┬─ □0.1 ─ □0.1.1
				└─ □0.2
	   □1 ─── □1.1
	

上記の例では□0 □0.1 □0.2 □0.1.1がルート所属関係、□1 □1.1がルート所属関係となります。
ルート所属関係の内、一番上位(親)のSTMをルートSTMと呼びます。
例では□0と□1がルートSTMとなります。
ルート所属関係のSTMは型が一致しているため(FAQ Q3を参照)生成コードが共通にまとめられます。
ジェネレータの設定で「ルート設定」とあるのはルート所属単位の設定になります。

サブルーチンSTMは、通常STMとほとんど変わりませんが、1つだけ通常STMと違う点があります。
それは、サブルーチンSTMの場合のみ状態管理をユーザ指定の引数でも行える事です。
呼ばれたサブルーチンSTMは、指定された状態でエントリーする事が出来ます。
上記の機能を使用されない限り、△と□の違いはありません。
*サブルーチンについての詳細な内容がZIPCガイド(状態遷移表手法書入門のPDFファイル)P89～に記載されています。ご参照ください。

インメイルは、同一のルート所属内のSTM間で通信を行う機能です。
したがって、他プロセスや他ルート所属のSTMへのインメイル発行は行えません。

この通りに実行する事も出来ます。
実際には、設定によってインメイルの処理タイミングを変える事が出来ます。
設定には以下の種類があります。
1) イベントがヒットした際にインメイル実行関数をコールする。
2) イベント解析後にインメイル実行関数をコールする。
設定方法は以下の手順で行います。
ZIPCのメニュー[プロジェクト]-[プロジェクト設定]-[Cコード生成設定]から表示されるダイアログの[ルートSTM設定]ページからインメイル実行関数コール箇所を選択します。

このように指定した場合の処理タイミングを以下に示します。
1) イベントがヒットした際にインメイル実行関数をコール にした場合。
具体的には、イベント解析関数(xxxif.c)内で、

  ....
	  if( e1 ) {
		  .... (イベントヒットによるアクション呼び出し生成部分)
		  /*インメイル実行関数コール部分*/
		  zt1_0_InmailExec((char*)&GetInm);
	  }
	  else if( e2 ) {
		  .... (イベントヒットによるアクション呼び出し生成部分)
		  /*インメイル実行関数コール部分*/
		  zt1_0_InmailExec((char*)&GetInm);
	  }
	  ....

のように、アクション呼び出し処理終了毎に、インメイル実行関数がコールされます。
2) イベント解析後にインメイル実行関数をコールする。
具体的には、イベント解析関数(xxxif.c)内で、

  ....
	  if( e1 ) {
		  .... (イベントヒットによるアクション呼び出し生成部分)
	  }
	  else if( e2 ) {
		  .... (イベントヒットによるアクション呼び出し生成部分)
	  }
	  ....
	  /*インメイル実行関数コール部分*/
	  zt1_0_InmailExec((char*)&GetInm);
	  ....
	

のように、イベント解析を終了した後で、インメイル実行関数がコールされます。
なお、1)/2) 両方共に指定した場合は、イベントヒット後及びイベント解析後の両方で、インメイル処理が実行されます。
*この設定についての詳細な内容がZIPCガイドに記載されております。
・Ver.6.0をご使用の場合 → ZIPCバイブルのPDFファイルP539を
・2000をご使用の場合 → ZIPCバイブル-第14章 ジェネレータ-のPDFファイルP14-86を
ご参照ください。

インメイルの処理は一気に行われます。
インメイル処理タイミングでは、キューイングされている全てのインメイルが無くなるまで続けて処理されます。

個数、サイズ共に制約があります。
個数は、インメイルキューのサイズで管理され、最大値はshortで表せる値(32767)となります。
サイズは、インメイルのデータサイズで管理され、同じく最大値はshortで表せる値となります。
設定方法は、ZIPCのメニュー[プロジェクト]-[プロジェクト設定]-[Cコード生成設定]の[ルートSTM設定]ページから、設定するルートSTM名を選択した状態でインメイルキュー数及びインメイルデータサイズに数値を記述します。

ローカル遷移の場合、状態名称、又は状態番号を指定して遷移しますが、グローバル遷移の場合にはSTM名称 > 遷移名称または遷移番号STMレベル番号>遷移名称または遷移番号のようにSTMを指定して遷移します。
またローカル遷移や複数のグローバル遷移を混在させる場合にはそれぞれの遷移指定を "/" で区切ります。

　　例）
	   ┌──────┐　　遷移セルでの記述
	   │0/0.1>1/子>2│　　自STMを0に遷移、□0.1を１に遷移
	   └──────┘　　□子を2に遷移

	   =>2/1>2　　　　　　 処理セルでの記述
				 自STMを2に遷移、□1を2に遷移

		  また、STM記号(□、△等)を用いた記述も行えます。
	   =>2/□1>2　　　　　 処理セルでの記述
							  自STMを2に遷移、□1を2に遷移
	

階層された状態への遷移は、親状態を指定して遷移する事が出来ますが、その際、どの子状態がアクティブとなるかが、上記の3つの遷移方法で異なります。
固定遷移とは:
指定された状態の子状態は、全てデフォルト状態となります。
デフォルト状態とは、番号の若い状態または、デフォルトマークが指定されている場合は、その状態となります。
記憶遷移とは:
指定された状態の1階層下の子状態は記憶(前回アクティブだった状態)された状態がアクティブとなり、それ以降の階層についてはデフォルト状態となります。 深層記憶とは:
指定された状態の子状態は全階層において状態を記憶しており、記憶された子状態がアクティブとなります。
参考までにそれぞれのSTMは、以下の通りとなります。
■ 固定遷移の STM

■ 記憶遷移の STM

■ 深層記憶遷移の STM

詳細説明については、ZIPC2000に付属している「状態遷移表手法書入門」のP86を御参照下さい。

引数定義は、STMエディタの[書式]-[STM設定]で起動するダイアログの引数エリアに、C言語の関数宣言時の引数指定と同様の形で指定します。

　　例)　char p1, char p2
	

上記の指定によりイベント解析関数、STM操作関数、処理関数にそれぞれ引数が追加され、アクション処理で引数を参照することができます。

引数指定のSTMをコールする場合の指定方法は
□1(引数1,引数2);
のように引数を渡してコールします。

　　例)　□1(1,2);
	

□0の場合、main関数からif解析関数コール部分には引数指定された変数を渡していますが、通常は変数定義がないためエラーになります。

  main(void)
	  {
		....
		while {
		  xxxxif( a );     //引数定義で指定された引数を渡しているが
		}　　　　　　　　　//この変数の定義がないためエラーになる。
	  }
	

この場合、ユーザーが手作業でmain関数に手を加える必要があります。
手を加えた場合には再生成したときに上書きされるため、注意が必要となります(ジェネレータのルートSTMオプションでmain関数を生成しないようにすることは可能です。)。

上記の場合、手順が複雑であるため、main関数から引数を渡す方法としては下記をお勧めします。

レベル番号を0以外に変更(1～)する。レベル番号を0以外にすることでmain関数は生成されなくなります。
次にFNC設計書でmain関数を作成します(CファイルでもOKです)。

　main(int a)
	  {
		STM初期化関数();  //注１
	  while(1) {
		  //イベント取得処理
		  revent();       //注２
		  if解析関数(a);  //注１
		}
	  }
	

注1) STM初期化関数、if解析関数はジェネレータオプションのルートSTM設定ページで関数名称を指定すると、指定された関数名称でコールすることができます。
設定方法は、ZIPCのメニュー[プロジェクト]-[プロジェクト設定]-[Cコード生成設定]の[ルートSTM設定]ページで、ツリー上のSTMを指定した状態で、初期化関数名称エリアとコール関数名称エリアに記述します。
注2) イベントを取得する処理を記述してください。
シミュレーションフェーズでイベント名称シミュレーションを行う場合にはrevent()をコール(記述)します。

ZIPC では STM を、親－子－孫・・・と下図のように階層化することができますが、これによって、複雑で巨大なSTMを解りやすい小さなまとまりで表現することができます。

ルート(親)STM 以下に階層化されるSTMをまとめて「ルートSTM所属」と呼びますが、ルートSTM所属下では、ルートSTMで設定したクローン／引数／リターンを下位階層のSTMでも引き継がれる仕組みになっています。
すなわち、下位階層のSTMではクローン／引数／リターンの設定はルートと同様に行います。

ZIPCでは、イベントドリブンな動作をE型駆動と呼び、ステートドリブンな動作をS型駆動と呼びます。

＜E型駆動＞
イベントドリブンとは、プログラムの1ヶ所でイベントを待ちます。
待ち方はRTOSを搭載していればRTOS機構を用いてもよいし、プログラムでフラグセンス(ポーリング)で行っても構いません。
肝心なのは「1ヶ所で事象を待つ」ということで、あらゆる状態下であらゆる事象を受け付けることになります。
受け付けられた事象は、イベント解析でSTM毎に割り振られた事象Noが算出され、現在の状態Noとクロスする部分のアクションが呼び出されることになります。
この基本動作フローは以下のようになります。


＜S型駆動＞
ステートドリブン型は、それぞれの状態でイベントを受け付ける構造となります。
それぞれの状態でイベントを受けるということは、それぞれの状態にイベント解析が存在するということです。
ただし、グルーピングされた上位の状態セルはイベント解析関数をもちません。

ZIPC では STM を、親－子－孫・・・と下図のように階層化することができますが、これによって、複雑で巨大なSTMを解りやすい小さなまとまりで表現することができます。

＜E型階層化＞
E型階層化とは、上位のSTMでは概要の事象としてとらえ、上位のSTMはその事象を下位のSTMに伝達し、下位のSTMで詳細な事象としてとらえることです。
事象に関する概要から詳細という関係を構築し、解りやすい小さなSTMで複雑で巨大なシステムを構成できます。
例えば、自転車を簡単な仕様で階層化を使って作成してみると次の様になります。


これを簡単に説明すると・・・
自転車のギアの部分が階層化されています。 「ギア」イベントが発生すると、ルートSTM(レベル番号0)から階層STM(レベル番号0.1)をコールしています。
E型階層STMのコール書式は、
□レベル番号;　または　□STM名称;
となり、上記ルートSTMの場合は
□0.1;　または　□ギア;
を処理セルに記述します。
注意: セミコロンは、ジェネレータでCソースコードを生成する際に必要となります。

＜S型階層化＞
S型階層化とは、S型STMのみで使用できる機能です。
S型階層STMは状態からコールされます。
コールといっても、E型STMのようなコールではなく、状態ツリーの一部としての階層となります。
したがって、状態フレームを使用した場合と、状態階層を使用した場合も状態スケジュール方法は変わりません。
S型階層STMは、ルートSTM所属内のSTMを指定します。
他のルート所属のSTMは状態階層として指定できません。
S型階層STMの指定方法は、「■STM名称、または、■レベル番号」を状態名称の下(改行して)に記述します。

上記から状態をツリーで表現すると、次のようになります。


状態を状態ツリーで表現すると上記のような構成になります。
S型スケジュール駆動時の状態スケジュールはこの状態ツリーで管理しているため、動作も同様になります。

したがって、状態階層STMとは、状態をまとめて設計書を見やすく、まとまりのある設計書にするための機能になります。

クローンSTMは、1つのSTMから複数の状態管理が可能なSTMです。
複数の状態管理ができるということは、例えば通信プロトコルタスクが複数の相手局やチャンネルの管理を同一プロトコルで管理する場合などに便利です。

(1)ルートSTMがクローンSTMの場合
ルートSTMがクローンの場合、イベント解析の前にクローンを指定してSTMを駆動します。
STMを階層化している場合、子STMはルートSTMの管理下にあるため、子STMも同じクローンで動作します。


(2)クローンでないルートSTMから、クローンSTMをコールする場合
階層化している場合に、子STMでは親と同じ管理になります。
親にクローンが存在しない場合は子のクローンは存在しません。
このような場合、親と異なるルートSTMを作るか、サブルーチンにする方法があります。


クローン定義は、STMエディタの[書式]-[STM設定]メニューからオープンされるダイアログのSTM名称エリアに、STM名称の右横にC言語の配列と同様に "[?]" の形で指定します。
クローンSTMは、クローンの管理をRAM変数で管理しています。
このクローン管理変数は、ルートSTM所属ごとに生成されます。

unsigned short zXXXX_clone ; (XXXZRA.Cに生成される)

＜ライブラリ＞
ライブラリSTMは、イベント入力部を指定した関数で設計するSTMになります。
関数はイベントセルに記述しますが、STMのコール形式も、イベントセルに記述した関数でコールします。
関数記述方法は、C言語での関数宣言と同様に、リターン型、引数を定義します。

STM種別は、E型ライブラリのみ使用できます。
S型は状態下でイベントを検出するステートドリブンな動作のため、関数コールで動作するライブラリでは使用できません。

＜サブルーチン＞
サブルーチンSTMは、通常STMとほとんど変わりません。
サブルーチンのルートレベル番号は0を指定することはできません。
0以外の整数を指定します。(1～)

サブルーチンSTMは、どの種別のSTMからもコールできますが、コールできるのは、E型サブルーチンのみです。
S型通常STMで、状態階層STMをサブルーチンSTMにすることは出来ません。
状態階層STMはルート所属内のSTMしかできません。
E型サブルーチンSTMのコール方法は、『△』のSTM名称又は レベル番号で指定します。

△STMA;　　△2;

STMを階層化している場合、自STM以外のSTMの状態を遷移させたい場合があります。
この時の、他のSTMの状態を遷移させることを「グローバルトランジション」と呼びます。
それに対して、自STMの状態を遷移させることを「ローカルトランジション」と呼びます。

グローバルトランジションの記述は、

・・・と、なります。
注) 「 > 」は1バイト文字となります。
グローバルトランジション、ローカルトランジションをあわせて複数の遷移を記述する場合は、遷移と遷移を「/ 」でつないで記述します。(/は1バイト文字となります。)

[ 例 ]
0/0.1>2
この場合は、自STMを状態0へ、0.1レベルのSTMを状態2への遷移となります。
状態1/子STM>状態3
この場合は、自STMを状態1へ、子STMを状態3への遷移となります。

引数定義は、STMエディタの[ 書式 ]-[ STM設定 ]メニューからオープンされるダイアログの引数エリアに、C言語の関数宣言時の引数指定と同様の形で指定します。
ZIPCジェネレータで生成されたソースで説明すると、指定された引数はイベント解析関数に定義され、イベント解析関数からコールされるSTM操作関数、処理関数に引数が渡ります。
したがって、STMに引数を指定した場合はSTMの処理関数でも参照できる仕組みになっています。

また、引数指定のSTMをコールする場合は、C言語の関数コールと同様に「 ( ) 」で引数を指定します。
例) □0.1(引数1,引数2);

実体フレームと仮想フレームになる条件は以下のとおりです。
・状態が実体フレームとなる場合
…→親状態からの遷移がある場合。
・状態が仮想フレームとなる場合
…→親状態からの遷移がない場合。
(子供を持つ状態とは状態の矩形の中に入れ子状態が存在することを意味します。)

文字列を部分的にコピー＆ペーストする場合には、文字列を選択した状態で Ctrl+C と Ctrl+V(またはメニューのペースト)を使用して行います。

■ STMヘッダー情報について
STMを印刷しますと「STMヘッダー情報」が1ページ目に印刷されますが、これをSTMと同じページに印刷する場合は「印刷レイアウト」にて設定することで可能になります。
しかし、これはSTM情報を読み取って自動的にヘッダーとして使うわけではなく、あくまでテキストボックス内に書かれた文字を印刷するだけです。
通常の印刷で出力されるSTMヘッダー情報は自動的に設定を読み取って印刷しますが、STMと同じページにヘッダー情報を印刷しようとした場合は、STM毎に手作業でヘッダーの内容(テキスト)を作っていただくことになります。
*印刷レイアウトの使用方法につきましては、ZIPCガイドに詳しく記載されております。
Ver.6.0をご使用の場合 --> ZIPCバイブルのPDFファイルP230、
2000をご使用の場合 --> ZIPCバイブル-第9章 印刷レイアウト-のPDFファイルP9-1～
ご参照ください。
また、このSTMヘッダー情報を別頁で印刷したくない場合は、印刷したいSTMを表示させた状態で「書式(O)」→「印刷モード設定(P)」で印刷モード設定ダイアログが開きますので、ここで「先頭ページにSTMヘッダ情報を付加」のチェックを外すことでSTMヘッダー情報を別頁で印刷しなくなります。
■ フッターについて
ヘッダー情報付加の際と同様に、印刷レイアウトにてフッターとしてテキストボックスを付加する事で可能になります。

弊社 WEB より、ビューアのダウンロードが可能です。
ビューアの名称は「ZIPC Reader」です。
下記のページにてダウンロードして下さい。
http://www.zipc.com/support/

事象と状態を入れ替えるには、メニュー[表示]-[E/S変換]を選択して行ってください。
その後、編集メニュー[全セルサイズ最適化]を選択することで、表示を整えることができます。

ZIPCメニューの[書式]-[デフォルトの書式設定]-[状態遷移表]の[表示]ページで[縦のセルを事象]のチェックを外します。
これによって、新規作成時に、最初から縦方向を状態欄にしておく事が出来ます。
*この内容が、ZIPCガイドに記載されております。
Ver.6.0をご使用の場合 --> ZIPCバイブルのPDFファイルP212、
2000をご使用の場合 --> ZIPCバイブル-第7章 状態遷移表エディタ-のPDFファイルP7-21
ご参照ください。

チェッカではSTMでコールしている関数はFNC設計書に記述されているかをチェックしています。
Cファイルで実体を定義している場合、Cファイルはチェック対象でないため上記のエラーが発生します。
このエラーはZIPCのドキュメント(FNC)内に実体が存在しないということであるため、Cに記述していることがわかっていれば無視をしても問題はありません。
このエラーを抑制したい場合には、ZIPCのメニュー
??[プロジェクト]-[プロジェクト設定]-[ドキュメントチェック設定]の
??「整合性」ページの「関数コール存在チェック」
のチェックを外してください。

チェッカでは、デフォルトで "if(***)" も関数と見なします。
Cキーワードファイルを指定することによって、Cキーワードを関数チェックから外すことができます。
Cキーワードファイルは、ZIPCインストール先ディレクトリ内の\binにある、keyword.kwd という名称のファイルです。
このファイルをZIPC環境ファイルに登録することで、エラーを出さないようにすることができます。

※ ZIPC環境ファイルの登録詳細については、ZIPCガイドに記載されています。
Ver.6.0をご使用の場合 --> ZIPCバイブルのPDFファイルP34、P41～
2000をご使用の場合 --> ZIPCバイブル-第1章 ドキュメント-のPDFファイルP1-16、
をご参照ください。

入力する文字列は1トークンの文字列となります(記号、演算子、スペース、タブ、改行の入らない文字列)。
なお、遷移先を状態番号で記述している場合は、状態名称に関するエラーは無視して構いません。この場合、状態セルには自由に名称を記述できます。

STM全体のコピー／ペーストは出来ませんが、Wordに貼り付けることはできます(STM/MSCはOLE2対応です。)。
Word上で、.stm、.msc ファイルを挿入する場合は、挿入メニューのオブジェクトを選択し、表示されたダイアログで［ ファイルから ］をクリックして参照ボタンで任意のファイルを指定します。
これによって、既存の .stmファイルを読み込みます。
なお、TCは上記機能をサポートしておりません。
TCについては、Ver.6.0にて対応予定です。

セルに文字列を入力するときと同じように、日本語入力にて変換して挿入してください。

固定型遷移の書式は、遷移先指定の後に「 (F) 」をつけます。
遷移先状態名称(F)
記憶型遷移の書式は、遷移先指定の後に「 (M) 」をつけます。
遷移先状態名称(M)
深層記憶型遷移の書式は、遷移先指定の後に「 (D) 」をつけます。
遷移先状態名称(D)
・・・というように記述します。
また、上記を明示的に指定しない場合、深層記憶型遷移となります。

■ メッセージ ： 「グローバル遷移で指定した '=' STMの実体が存在しません。」 ■
「 => 」は遷移記号です。
これは、遷移先の指定を遷移セルで行わずに処理セルで遷移を行う場合のキーワードです。
したがって、遷移セルには記述できません。
遷移セルには状態名称を記述するか、状態番号を記述してください。
キーワードの書式は、1バイト文字で「 => 」です。「 => 」の後に遷移先を記述します。

これは、ZIPC環境内に関数の実態が無いためにエラーとなります。
このエラーを無視してジェネレーションに進んでも、ターゲット環境のリンク時にユーザ作成関数として用意されれば、まったく問題ありませんが、エラー出力を抑制する方法として2つの方法があります。

1. チェッカのエラーチェック項目から当該箇所を外します。(下記「＜エラーチェック項目を外す方法＞」参照)
2. 外部関数のプロトタイプ宣言を記述した"．lib"ファイルを作成して、ZIPCのプロジェクトに登録します。

＊チェッカのZIPCドキュメント登録ツリーにあるシステム共通内に、.libを登録してください。
＜エラーチェック項目を外す方法＞
[ チェックメニュー]-[ オプション設定 ]で表示されるダイアログから、整合性タブをクリックしその中の[ 関数コール有無チェック ]と[ FNC設計書チェックのチェック ]マークを外してください。
これでこの件に関するエラーは表示されなくなります。

構文チェックとは、ZIPCの構文規則（手法通り）に記述されているかをチェックします。一つの設計書、又は、複数の設計書をまとめてチェックすることができます。
整合性チェックとは、各設計書間の記述内容に矛盾がないかをチェックします。構文チェック時にエラーが存在する場合は、エラー修正後再度チェックを実行し、最終的には整合性チェックでエラーを0にします。

設計上、特に問題なければワーニングを無視しても構いません。
＊ワーニングメッセージをダブルクリックすると設計書が開き該当箇所が表示されます。エラーメッセージについても同様です。

シミュレータでは起動する関数を指定することができます。
起動する関数の指定方法はRTOSを使用している場合としていない場合で異なるため別々に説明します。
RTOSを指定していない場合、[プロジェクト]-[プロジェクト設定]-[シミュレーション実行コード設定]の「その他」のページで「エントリにデフォルト名称使用」のチェックを外します。
「NonOS時のエントリ」に起動関数名称を設定します。
これで指定関数を起動時にコールします。
RTOSを指定している場合、[プロジェクト]-[プロジェクト設定]-[OS設定]-[OS資源登録]の「タスク」ページでそれぞれのタスクのエントリ関数を設定します。

ZIPCメニューの[デバック]-[テキストデバックモード]を選択して、チェックを外してください。
これで、テキストウインドウは表示されなくなります。

STMのイベントセルを追加したり内容を変更した場合、シミュレータでは自動的にイベント情報を更新しないために、イベント発行ができないことがあります。
イベントを追加/削除または変更した場合には、ZIPCメニューの[デバック]-[イベント送信/設定]の「STM」ページで変更したSTMを選択し再生成ボタンを押下する事により、情報が再生成されます。
この時注意する点はこのダイアログで情報を設定していた場合には、その情報は全て初期化されます。
初期化を行いたくない場合は、このダイアログからイベントを追加/削除または変更してください。

現在シミュレータでは、定周期に割り込みを発生させる機能はありませんが、μITRONのシステムコールを使用すれば、定周期のプログラムを動作させることができます。
この場合の説明を以下に示します。
(1)定周期に実行する関数を作成します。
関数が実行されたらイベントを発生するcyctime関数を作成します。この関数をハンドラに登録します。(周期ハンドラに登録している)
例えば、以下のように関数設計書(．fnc)を作成します。

(2)定周期監視プログラムでOSシステムコールを使用し、定周期の制御をします。
act_cyc( 定周期ハンドラNo, 0 ) ---> 定周期起動を停止
act_cyc( 定周期ハンドラNo, 1 ) ---> 定周期起動を実行
※ 定周期ハンドラNoは(5)で登録したNo）
例えば、以下のようなSTMになります。
●定周期を制御するSTM

(3)OSを登録します。
[ シミュレーション ]-[ OS設定 ]-[ OS選択 ]を選択し、μITRON2.0-customを選びます。
(4)システムコールを登録する
[ シミュレーション ]-[ OS設定 ]-[ OSカスタマイズ ]を選択し、[ システムコール ]のページを開きます。「 時間管理-周期ハンドラ 」の「 周期ハンドラ活性制御 」でシステムコールを使用するにチェックします。
(5)周期ハンドラを登録します。
[ シミュレーション ]-[ OS設定 ]-[ OS資源登録 ]を選択し「 周期ハンドラ 」のページを開きます。ここで以下の設定を行います。

このようにして定周期の設定を行います。

ステップ実行時はCの1文ごとに実行しています。関数コール時は関数の中にステップしていきます。(関数コールが1ステップとなるステップ動作はありません。)
このため、STMの作りが深い(並列で動作する)ような場合は、1つのイベントに対して並列で動作するためSTM上に表示されるまでにはかなりのステップ実行を繰り返す必要があります。

STMをシミュレーションする場合、事象を発生させる必要があります。シミュレーション時に事象を発生させなければSTMを動作させることはできません。
イベントセルが フラグ型/switch型で定義されている場合、事象を変数の変化として捕らえることによりSTMが駆動されます。したがって、シミュレーション時には事象を発生させるために、イベントセルに記述されているフラグ/switch条件が真になるように変数に値を設定しなければなりません。
これをシミュレーションするために、以下のようにして変数に値を設定します。
[ シミュレーション ]メニューの[ イベント送信/設定 ]からイベント発行/定義ダイアログ内でSTMタブをクリックします。
イベントリストの一覧に表示されている event0～n に対して、[ 変更 ]ボタンを押下してデータ定義を条件式が真になるように設定式に変更します。
例えば、event0～n に対して
data1 = 0;
data2 = 1;
のように入力して設定します。
ここで、event0、1、2...は、STMの先頭、2番目、3番目...のイベント...にそれぞれ対応しています。イベント発行/定義ダイアログ内で設定した内容を、STMビューア上のイベントセルメニューから[ イベント送信 ]もしくは イベント発行/定義ダイアログの[ 発行 ]ボタンをクリックして事象を発生させる仕組みです。

階層化STMを、イベント名称でシミュレーションする際に、親と子のイベント名称を同時に発生させないと動作しません。親子のイベント名称を同時に発生させるには、[ シミュレーション ]メニューの[ イベント送信/設定 ]から、イベント発行定義ダイアログを起動します。
STMタブをクリックし、STM名称から子STMを選択します。
イベントリストに登録されている "event0～n" に対して[ 変更 ]ボタンを押下します。
イベント名称に "親STMイベント名称:子STMイベント名称"のように入力します。(":"は1Byte文字)

エラーとなった原因は、同一のハンドラ 又は タスク内から外部のタスクの管理変数を参照したためです。変数を参照できるのは、同一タスクもしくは同一ハンドラ内で定義されている変数のみです。
この現象を回避する方法として以下の方法があります。
STMの種別をサブルーチンとすると、ZIPCの状態管理変数をユーザ管理として変数設計書(.ram)に定義することが可能となります。(状態変数名称は自由に定義できます。)
これによって変数設計書で定義した変数はグローバル変数となりますので、ハンドラや他タスクからのアクセスが可能となるシステム共通にこの変数設計書を登録すれば、他タスクやハンドラからでも変数の参照が可能になります。

考えられる問題として、シミュレータとSTMの通信が行われていない可能性があります。このような場合、シミュレータからSTMを起動して通信を行います。
* スタートメニューから単独でSTMエディタを起動しないでください。
下記手順にてシミュレーションを行ってください。
1. シミュレータを起動します。
2. ファイルメニュー[ シミュレータ環境を開く ]で.zpfファイルを開きます。
3. 表示メニュー[ STMビューア ]-[ 起動 ]でSTMを起動します。
* 環境ファイルを開いた時にSTMが起動されていれば行う必要はありません。
1. シミュレーションメニュー[ コード生成 ]を実行します。
2. シミュレーションメニュー[ 実行 ]を選択します。
3. ビューア表示されたSTM内でイベントセルからマウスの右ボタンをクリックしポップアップメニューから「 イベント送信 」を選択します。(イベント番号0 から順に行います)
これで正常にシミュレーションが行われます。

以下の場合には、状態セルは残モードにならない仕様となっております。
1. E型STMに状態アクティビティが登録されている場合。
2. E型STMに並列状態が存在する場合。
3. E型STMにディスパッチアクティビティが登録されている場合。
4. S型STMの場合。ただし、イベント受信時には該当する状態セルが光ります。

考えられる原因としてツール間(シミュレータとVIP)でリンクが取れていない可能性があります。下記手順にてミュレーションを行ってください。
1. シミュレータを起動します。
2. ファイルメニュー［ シミュレータ環境を開く ］で.zpf を開きます。
3. ツールメニュー［ VIP ］でVIPを起動します。
＊メニューにチェックマーク付いていれば行う必要はありません。
4. VIP内のメニュー［ ファイル ］－［ 開く ］で、.vip を開きます。
5. VIPメニュー［ 環境設定 ］－［ 外観図起動 ］で、.exe を指定します。
6. シミュレーションメニュー［ コード生成 ］を実行します。
7. シミュレーションメニュー［ 実行 ］を選択します。
これで正常にシミュレーションが行われます。

シミュレータのコード生成は以下の3つの流れで実行されます。
1)チェッカの実行
登録されたドキュメント情報をチェッカに渡し、静的チェックを行います。エラーはメッセージウインドウに表示されます。そのエラーをダブルクリックするとエラー箇所にジャンプします。
例えば、STMに関してのエラーであればSTMが起動し、対象のファイルがオープンしエラーの箇所が表示されます。
2)ジェネレータの実行
登録されたドキュメントをジェネレータに渡し、Cソースコードを生成します。シミュレータで生成するCソースコードはジェネレータが生成するコードと基本的には同じですが、シミュレータで生成するコードには、シミュレータ用の関数が付加されています。
3)コンパイルの実行
ジェネレータが生成したCソースコードをシミュレータが理解できるようにコンパイルします。コンパイル結果でエラーが0の場合、シミュレーションが可能となります。エラーがある場合、エラーはメッセージウインドウに表示されます。そのエラーをダブルクリックするとCソースコードのエラー箇所にジャンプすることができます。
設計書から自動生成されたCソースコードのエラーについては、Cソースではなく設計書の方を修正してください。CソースコードをZIPCドキュメント登録ツリーに登録している場合は、直接Cソースコードを修正してください。
＊この設計書は、メニュー[ファイル]-[ドキュメントの設定]で表示されるZIPCドキュメント登録ツリーから選択します。
最終的に、シミュレータのコンパイルがエラー0であればシミュレーションの実行が可能になります。

ログファイルからTCへコンバートする手順は下記の通りです。
1. ATVを起動します。
2. ATVのメニュー［ ATV ］－［ ATV実行モード選択 ］を選択してください。
3. 表示されたATV実行モードダイアログで［ ログファイルよりTC情報を生成 ］ボタンをチェックして［ OK ］ボタンを押下します。
4. 表示されたログ->TC生成環境ダイアログで［ ログファイル選択 ］ボタンを押下して.logファイルを選択します。ログファイルを選択すると、実行環境ファイル一覧に内容が表示されます。生成されるファイル名称を変更したい場合は、［ 名称変更 ］ボタンを押下して行います。
5. また、［ 生成オプション ］ボタンを押下して時間単位や必要な変数のみを生成したりすることができます。
6. ［ 実行 ］ボタンを押下します。
これで、TCが生成されます。なお、ログからMSCについての生成も行えます。

ZIPC が生成する C コードは、ANSI C に準拠したコードです。
特にコンパイラを意識していません。

STMのイベント属性を[SWITCH条件]にすることで対応可能です。
STMエディタのイベント欄のポップアップメニューから、[イベント属性]-[SWITCH条件]を選択して行います。
詳細な内容は、ZIPC2000のガイド 状態遷移表手法書入門のP38を参照してください。

階層化STMコールを記述した場合、V4では自動的に ";" を付加していましたが、V5では ";" は付加しない仕様になっております。
理由は、V5よりSTMがリターン値を返すことが可能な仕様になったからです。
例えば、セル内に以下の記述をすることも可能になりました。
　if(□0.1==TRUE)
上記の場合、セミコロンの付加はコードレベルでも必要ありません。したがって、STMコールの方法によってセミコロンの必要／不要をユーザ様に判断していただくことになります。

ジェネレータの[ 全体設定 ]タブをクリックしてその中の[ ヘッダ挿入 ]ボタンを押下します。
表示されたダイアログのソースリストから任意のソースを選択し、ヘッダ挿入文字列入力領域にヘッダ情報を入力します。
また、ジェネレータの[ ルートSTM設定 ]タブをクリックしてヘッダ挿入を行えます。
挿入方法は、[ 全体設定 ]と同様ですが[全体設定]で指定した情報の方が上に生成されます。

zipcom.h ファイルは複数のタスクをZIPCで作成した場合に、それぞれが共通にincludeするものです。
したがいまして、タスクディレクトリの一つ上のディレクトリに生成しております。
また、このファイルは常に全く同じ内容のファイルを生成いたします。
このファイルを設定等で自動的にタスクディレクトリの中に生成することはできません。

パソコン1台に ZIPC をインストールし、そのパソコンを複数のユーザで使用するのは問題ありません(この場合、論理的に、同時に1人しか使用していないはずです)。
ただし、1台のパソコンに ZIPC をインストールし、ネットワーク経由で複数のユーザで使用することはできません(許していません)。
つまり、ユーザ数分ライセンスの取得が必要になります。

サポートしております。詳細は以下までお問い合わせください。
ZIPCお問い合わせ窓口

導入に当たっての各種セミナーやコンサルティング・サービスをご用意致しております。
ご安心下さい。

上位バージョンへの互換性を保障しております。

ZIPCは、μITRON 2.0 カスタムの RTOS エンジンを搭載しております。
この RTOS エンジンに対して、システム・コールをカスタマイズ 又は ラッピングすることで、対応外 RTOS でも使用できます。

制限はございません。
自動生成されるCソースは「ANSI C 準拠」で、ライセンス・フリーとなっております。
自動生成後に各デバイス用のコンパイラにかけて頂ければ、そのデバイス向けのコードが出来あがります。

STD⇔STM の双方向コンバートに対応しております。

「無視」とは、システム上有り得る「状態」と「事象」の組合せですが、設計者の意図や仕様で無効の時に無視に設定します。
「不可」とは、システム上有り得ない「状態」と「事象」の組合せです。
例：電話の受話器が切られているのに相手の声が聞こえる。

ご安心下さい。
事例では、同等～約1.3倍以内で収まっております。
事例の詳細が「ZIPC WATCHERS」に掲載されておりますので是非ご覧下さい。
下記のページにて、必要情報を入力して頂くことにより、PDF ファイルをダウンロード可能です。
「ZIPC WATCHERS」

ZIPC が自動生成したCソースからリバースする事は出来ますが、お客様がお持ちの既存ソースをリバースする事は出来ません。

できます。
下記のパターンを用意しております。
それぞれ、長所・短所があります。
標準型
(長)処理速度が一定で速い。
(短)テーブルsizeが大きくなる。
処理抜粋型
(長)テーブルsizeは小さい。
(短)処理のオーバーヘッドがかかる。
オフセット型
(長)処理速度が一定で速く標準型よりテーブルsizeは小さい。
(短)テーブルに制限がある(定義がcharの時、登録関数はMAX254まで)。
ノンテーブル型
(長)テーブルを生成しない。
(短)コードが増える。

デバッガ上のターゲット・プログラムの実行状況を取得し、STM上に表示することが出来、STM上からブレイクポイントを張ることができます。
また、ターゲット・プログラムの実行結果をトレースし、ログを生成することが出来ます。

基本的な Visual Basic の機能を理解をしていれば特別な知識は必要ではありませんので、比較的簡単にプロトタイプの作成が可能です。

ございます。詳細は以下までお問い合わせください
ZIPCお問い合わせ窓口

ZIPC では「拡張化」と「階層化」の手法を用いることで表の面積、セル数の増大を防止しております。
ある事例では、Excelで作成した STM を ZIPC で設計し直したところ、セル数が 83% も削減された実績があります。

「 ZIPCガイド 」がございます。 ZIPCガイドは、ZIPCの手法・チュートリアル・各ツールの詳細な説明等が記述されている資料です。ZIPCをお使いいただく際の参考資料として、是非ご活用ください。上記資料は、ZIPCインストールフォルダ内の「Guide」にございます。