"電子制御に搭載されている制御対象を制御するためのソフトウェアであるソースコードから、変数同士の依存関係を対応づけた変数依存関係データを抽出する変数依存関係解析手段と、前記変数依存関係データに基づいて、変数全体からなる集合を、少なくとも一つの変数で構成される変数クラスタに対応づけた変数クラスタデータを作成する変数依存関係ネットワーク解析手段と、前記変数クラスタデータに基づいて、ソースコードの部分集合であるソフトウェア部品を出力するソフトウェア部品作成手段を有するソフトウェア部品作成支援装置において、前記ソフトウェア部品作成手段は、前記変数クラスタデータに基づいて、開発者が切り出し対象とする変数クラスタデータを指定可能な変数抽出対象選択手段と、前記変数抽出対象選択手段により選択された変数クラスタデータに基づき、前記ソースコードよりソフトウェア部品を少なくとも1つ作成することを特徴とするソフトウェア部品作成支援装置。更新変数ごとにインターフェースを作成請求項1において、前記ソースコードと前記ソースコードより抽出したソフトウェア部分に対し、更新変数ごとにインターフェースを作成することを特徴とするソフトウェア部品作成支援装置。モジュール性指標を表示請求項1において、前記抽出対象選択手段は、前記変数クラスタデータに基づいて、分割されたクラスタ内の変数依存関係の数とクラスタ間の変数依存関係の数に基づいて算出するモジュール性指標を表示することを特徴とするソフトウェア部品作成支援装置。モジュール性指標を追記請求項1において、前記ソースコードより抽出される前記ソフトウェア部品に対し、モジュール性指標を追記することを特徴とするソフトウェア部品作成支援装置。インターフェースとして関数呼び出し採用請求項2において、前記インターフェースとして関数呼び出しを用いたことを特徴とするソフトウェア部品作成支援装置。エレベータへの適用請求項1に記載のソフトウェア部品作成支援装置において、前記ソフトウェアはエレベータ制御ソフトウェアであり、前記変数として少なくとも、ドアゾーンスイッチ,ファイナルリミットスイッチ,メンテナンスリミットスイッチ,方向リミットスイッチ,または終端階強制減速スイッチのいずれかの状態を示す情報を含むことを特徴とするソフトウェア部品作成支援装置。方法:請求項1対応電子制御に搭載されている制御対象を制御するためのソフトウェアであるソースコードから、変数同士の依存関係を対応づけた変数依存関係データを抽出する変数依存関係解析ステップと、前記変数依存関係データに基づいて、変数全体からなる集合を、少なくとも一つの変数で構成される変数クラスタに対応づけた変数クラスタデータを作成する変数依存関係ネットワーク解析ステップと、前記変数クラスタデータに基づいて、ソースコードの部分集合であるソフトウェア部品を出力するソフトウェア部品作成ステップを有するソフトウェア部品作成支援方法において、前記ソフトウェア部品作成ステップは、前記変数クラスタデータに基づいて、開発者が切り出し対象とする変数クラスタデータを指定可能な変数抽出対象選択ステップと、前記変数抽出対象選択ステップにより選択された変数クラスタデータに基づき、前記ソースコードからソフトウェア部品を少なくとも1つ作成するステップを備えたことを特徴とするソフトウェア部品作成支援方法。上記従来技術において、特許文献1に記載されたものは、注目する行,または注目する行に含まれる変数に関連したプログラム文を全て抽出する技術であり、同じプログラム文が重複して抽出されてしまうため、複数のソフトウェア部品を作成することが出来ない。また、特許文献2に記載されたものは、既存のソースコードから関数単位でソフトウェア部品を作成しており、既存のソースコードが関数化されていることを前提としている。そのため、構造化されていないソースコードに対してはソフトウェア部品が抽出できないといった課題がある。本発明の目的は、上記従来技術の課題を解決し、複数のソフトウェア部品を作成する場合においても、同じプログラム文が重複して抽出されることを防ぎ、また、大規模複雑化した組込みシステムの制御ソフトウェアにおいて、たとえ構造化されていないソフトウェアであっても、ソフトウェア部品を抽出することを可能とすることである。本発明は、その一面において、ソフトウェアで記述されたコンピュータシステムが組込まれた組込みシステムのソフトウェア部品作成支援装置において、前記コンピュータに記述されたソースコードを入力とし、ソースコード中の変数依存関係を基にソフトウェア構造を解析し、再利用容易なソフトウェア部品を出力することを特徴とする。本発明の望ましい実施態様においては、電子制御に搭載されている制御対象を制御するためのソフトウェアであるソースコードから、変数同士の依存関係を対応づけた変数依存関係データを抽出する変数依存関係解析手段と、前記変数依存関係データに基づいて、変数全体からなる集合を、少なくとも一つの変数で構成される変数クラスタに対応づけた変数クラスタデータを作成する変数依存関係ネットワーク解析手段と、前記変数クラスタデータに基づいて、ソースコードの部分集合であるソフトウェア部品を出力するソフトウェア部品作成手段とを有するソフトウェア部品作成支援装置において、前記ソフトウェア部品作成手段は、前記変数クラスタデータに基づいて、開発者が切り出し対象とする変数クラスタデータを指定可能な変数抽出対象選択手段と、前記変数抽出対象選択手段により選択された変数クラスタデータに基づき、前記ソースコードよりソフトウェア部品を少なくとも1つ作成することを特徴とする。本発明によれば、組込みシステムとして大規模,複雑化されたソフトウェアコンピュータプログラムであっても、変数の依存関係に基づいたソフトウェア部品を作成可能であり、作業担当者が熟練者でなくても再利用容易なソフトウェア部品を作成することができる。以下、図面を参照して本発明による一実施の形態を説明する。ソフトウェア開発,検証,保守作業において、既存のソフトウェアを再利用することで効率よく派生製品を開発する方法として、既存のソフトウェアを部品化し、部品ごとに管理することが重要視されている。しかし、特にエレベータ等の組込みシステムでは、従来、機械式で行っておいた安全装置等の電子化が進められ、ソフトウェアが大規模複雑化しており、既存のソフトウェアからソフトウェア部品を抽出するためには、膨大な作業量が必要とされている。また、大規模複雑化が進んだソフトウェアから、再利用容易なソフトウェア部品を抽出する工程は、既存のソフトウェア構造を熟知した熟練者の経験に頼る部分が大きく、初心者では極めて困難である。図1は、本発明の一実施の形態による組込みシステムのソフトウェア部品作成支援装置1の全体像を示すブロック図である。ソフトウェア部品作成支援部1は、ソースコード管理部11と、ソフトウェア部品作成部12と、構成管理DB13とを備える。ソフトウェア解析部11は、構成管理部13より既存の組込みシステムの制御ソフトウェアであるソースコードデータ131を入力とし、構文木データ132と,変数クラスタデータ133と,変数重要度データ134とを出力する。構文木データ132は、ソースコードデータ131中の変数同士の参照関係や条件文関係などの依存関係を解析し、ソースコード中における演算子とオペランドを節点と葉として表現したものである。変数クラスタデータ133は、少なくとも1つの変数で構成される変数クラスタにソースコードデータ131中の変数を分類したものである。変数重要度データ134は、変数クラスタデータ133と,ソースコードデータ131中の変数の重要度を示すものである。ソフトウェア部品作成部12は,まず、ソースコードデータ131と、ソースコード解析部11の出力結果である構文木データ132と、変数クラスタデータ133とを入力とし、構文木データ132と変数クラスタデータ133よりソースコードデータ131中の変数依存関係に基づいて、ソフトウェア部品を抽出する。次に、ソースコードデータ131の抽出部品であるソフトウェア部品データ135と、抽出されたソフトウェア部品の実行順序を管理するソフトウェア部品実行順序データ136とを出力する。ここで、ユーザ5は、ソフトウェア作成支援装置1に対し、ソフトウェア部品作成支援装置の実行環境であるコンピュータ2と、ソフトウェア部品作成支援装置1を操作するための操作端末である操作部3と、ソフトウェア部品作成支援装置1の実行状況を認識するための表示部4を用いて、ソフトウェア部品を作成することができる。図2は、ソースコード解析部11の詳細な構成を示す図である。ソースコード解析部11は、変数依存関係解析部111と、分析対象設定部112と、変数依存関係ネットワーク解析部115とを備えている。変数依存関係解析部111は、ソースコードデータ131に基づいてソフトウェア実行時の変数更新処理における変数間依存関係を分析する。変数依存関係解析部111は、変数依存関係解析部111の分析結果である変数依存関係データ114と、変数依存関係データ114と操作部3によるユーザの操作とに基づいて分析対象とする変数を選択する。変数依存関係ネットワーク解析部115は、分析対象設定部112の設定結果である分析対象変数データ115と、変数依存関係データと分析対象変数データのいずれかに基づいてソースコードデータ131における変数依存関係ネットワークを分析して変数クラスタおよび変数重要度を分析する。そして、ソースコード解析部11は、変数依存関係解析部111より構文木データ132を出力し、変数依存関係ネットワーク解析部113より変数クラスタデータ133と、変数重要度データ134を出力する。図3は、ソースコードデータ133の詳細を示す図である。ソースコードファイル1311は、関数xの処理手順と、関数yの処理手順と、関数zの処理手順とで構成されている。なお、ソースコードファイル1311で用いられている変数a,b,c,d,e,f,gはグローバル変数として定義されている。関数xにおいて、変数aを入力とし、変数bおよびcを更新する処理を行っている。関数yにおいて、変数eを入力とし、変数fおよびgを更新する処理を行っている。関数zにおいて,変数bとcを入力とし,変数dおよびeを更新する処理を行っている。図4は、ソースコードファイル1311に基づいて変数依存関係解析部111が解析した構文木データ132の構成の一部である構文木データ1321~1324を示す図である。構文木データ1321~1324は、ソースファイル1311内の演算子とオペランドを木構造で示した構成を採っている。例えば、構文木データ1322は、ソースコードファイル1311図3の2行目b=b|aに対応した木構造となっている。図5は、ソースコードファイル1311に基づいて変数依存関係解析部111が抽出した変数依存関係データ114の詳細な構成である変数依存関係リンクテーブル1141を示す図である。変数依存関係リンクテーブル1141は、リンクID,変数名始点,変数名終点で構成され、変数依存関係を示している。例えば、リンクID1は、変数名始点がa、変数名終点がbである。リンクID1は、変数bの更新時に変数aを参照して演算を行っていることを示している。これは、ソースファイル31の2行目b=b|a;に対応している。また、リンクID3は変数名始点がb、変数名終点がdであり、リンクID4は変数名始点がc、変数名終点がdである。リンクID3および4は、変数dの更新時に変数bおよび変数cを参照して演算を行っていることを示している。これは、ソースファイル1311の12行目d=bc;に対応している。図6は、ソースファイル1311に基づいて変数依存関係解析部111が抽出した変数依存関係データ114の詳細な構成の別形態である変数依存関係リンクマトリクス1142を示す図である。変数依存関係リンクマトリクス1142は、始点となる変数名と、終点となる変数名からなるリンクをマトリクス形式で表現したものである。例えば、始点をa、終点をbとする要素は1となっており、変数bの更新時に変数aを参照して演算を行っていることを示している。また、始点をa、終点をdとする要素は0となっており、変数dの更新時には変数aを参照せずに演算を行っていることを示している。なお、図6では、始点と終点が逆の要素も1とした例を示している。例えば、始点をa、終点をbとする要素は1となっており、その逆の要素である始点をb、終点をaとする要素も1としている。図7は、分析対象設定部112の設定画面1121を示す図である。本画面では、変数依存関係ネットワークにおける分析対象とする変数を、ユーザがチェックすることによって選択する。例えば、設定画面1121では、分析対象から外された変数はなく、変数a~gの全てが変数依存関係ネットワークの分析対象となっていることを示している。図8は、分析対象設定部112により選択された分析対象変数データ115の詳細な構成である分析対象変数テーブル1151を示す図である。分析対象変数テーブル1151は、分析対象設定部112において、変数a~gを分析対象とした場合の分析対象変数データである。この例では、図7のデータのうち、始点と終点が逆の要素は削除した例を示している。例えば、始点をa、終点をbとする要素がリンクID1に存在するので、その逆の要素であり、図7に存在した始点をb、終点をaとする要素は、図8には存在させていない。図9は、変数依存関係ネットワーク解析部113の詳細な構成を示す図である。変数依存関係ネットワーク解析部113は、変数依存関係データ114または分析対象変数データ115に基づいて、結合度が高く凝集度が低い変数のモジュール構成を示す変数クラスタデータ133を抽出する変数クラスタ解析部1131と、変数依存関係データ114または分析対象変数データ115に基づいて、変数の重要度を示す変数重要度データ134を抽出する変数重要度解析部1132とを備える。図10は、変数クラスタ解析部1131の詳細な実行フローを示す図である。なお、図10で示す変数クラスタ解析はリンク媒介中心性コミュニティ解析Newman法を用いた場合の実行フローであるが、固有ベクトルコミュニティ解析を用いても良い。ステップS11310から処理が開始される。ステップS11311では、あるリンクが変数間の最短経路上に存在する度数を示すリンク媒介中心性の計算を、全てのリンクに対して実行する。ステップS11312では、リンク媒介中心性が最大値を取るリンクの切断を行う。ステップS11313では、全てのリンクを切断済みか否かを判定する。全てのリンクを切断済みの場合にはステップS11314に進み、リンクが残っている場合にはステップS11311に戻る。ステップS11314では、結合度が高く凝集度が低いモジュールの性質を示すモジュール性の指標を、リンク分割パターンごとに演算し、最もモジュール性の高いリンク分割パターンを、変数クラスタとして採用する。モジュール性は、次のように計算される。変数依存関係ネットワークがk個のクラスタに分割されているとき、k×kのクラスタの関係を示す行列e=eijを作る。eijはクラスタiに分類される変数とクラスタjに分類される変数の間に張られる変数依存関係の数が、変数依存関係ネットワーク全体の依存関係に占める割合である。また、eの行和aを以下のようにとる。そして、モジュール性Qを次のように定式化する。例えば、後に分割パターンとして図12で示すクラスタ分割結果に基づいて対称行列eを求めると、eは次のようになる。このとき、モジュール性は約0.320.316と算出される。図11は、変数依存関係ネットワーク113Aを図示したものである。これは有向グラフ記法に基づいているが,無向グラフを用いても良い。変数a,b,c,d,e,f,gをノードとし、分析対象変数テーブル1151で指定されているリンク情報をノード間のリンクとして表記したものである。さらに、各リンクの上部にリンクの媒介中心性指標が記載されている。また、モジュール性指標をネットワーク図横にモジュール性=0.0と表示する。図12は、リンクが切断された変数依存関係ネットワーク113Bを図示したものである。これは有向グラフ記法に基づいており、変数a,b,c,d,e,f,gをノードとし、分析対象変数テーブル1151で指定されているリンク情報をノード間のリンクとして表記したものである。また、図11に記載された変数依存関係ネットワーク113Aにおいてもっともリンク媒介中心性が高いリンクである、d→eへのリンクが点線で図示されており、リンクが切断されたことを示している。また、モジュール性指標をネットワーク図横にモジュール性=0.32と表示する。なお、分析対象変数テーブル1151に基づくクラスタ分析では、変数依存関係ネットワーク113Bに示す分割パターンがモジュール性最大値を取るため、本分割パータンがクラスタ分割結果となる。図13は、変数クラスタデータ133の詳細な構成である変数クラスタテーブル1331を示す図である。変数クラスタテーブル1331は、クラスタ1は変数a、b、c、dで構成され、クラスタ2は変数e,f,gで構成されていることを示している。図14は、変数クラスタデータ133の詳細な構成である変数クラスタ間リンクテーブル1332を示す図である。リンクID101は、クラスタ1を始点とし、クラスタ2を終点とするリンクであり、そのリンクに対応する変数はdであることを示している。これはクラスタ分割によって、変数dはクラスタ1に、変数eはクラスタ2に分割されたことにより、分析対象変数テーブル1151におけるリンクID5におけるリンクがクラスタ間を横断するリンクとなり、かつその時の始点となる変数がdであるためである。図15は、変数重要度解析部1132の詳細な実行フローを示す図である。図15では、次数中心性に基づく重要度分析フローを示しているが、推移確率行列固有ベクトル中心性や固有ベクトル中心性を用いても良い。ステップS11320から処理が開始される。ステップS11321にて変数のIDが初期化される。ステップS11322にてリンクのIDが初期化される。ステップS11323にて分析対象リンクに分析対象変数が含まれるか否かが判定される。含まれる場合にはステップS11324にて変数の次数中心性に1が加算され、含まれない場合にはステップS11325に進む。ステップS11325では分析対象のリンクIDが最終リンクか否かを判定し、最終リンクである場合にはステップS11327に進み、最終リンクではない場合にはステップS11326に進む。ステップS11326ではリンクIDに1を加算し、次のリンクを分析対象としてステップS11323に戻る。ステップS11327では分析対象変数が最終変数か否かを判定し、最終変数である場合にはステップS11329に進み、最終変数ではない場合にはステップS11328に進む。ステップS11328では変数IDに1を加算し、次の変数を分析対象としてステップS11322に戻る。ステップS11329で処理を完了する。図16は、変数重要度データ134の詳細な構成である変数重要度テーブル1341を示す図である。変数重要度テーブル1341は、変数重要度として、図15に示した変数重要度解析部1132の詳細な実行フローに基づいて算出された次数中心性を示している。例えば、変数aは、二つの変数b、cとリンクで接続されているため、重要度は2となる。また、変数dは、3つの変数b,c,eとそれぞれリンクで接続されているため、重要度は3を示している。図17は、変数重要度データ134の詳細な構成である変数重要度テーブル1342を示す図である。変数重要度テーブル1342は、変数重要度として、推移確率行列固有ベクトル中心性を示している。図18はソフトウェア部品作成部12の構成を示すブロック図である。ソフトウェア部品作成部12は変数クラスタデータ133と操作部3を用いたユーザ5の操作内容とに基づいて抽出対象とするクラスタを選択する抽出対象選択部122と,抽出対象選択部122にてユーザ5が選択した変数とクラスタの対応関係を示す抽出対象変数クラスタデータ123と,ソースコードデータ131と構文木データ132と抽出対象選択部122でユーザ5によって選択された抽出対象変数クラスタデータ123とに基づいて,ソフトウェア部品となるプログラムをソースコードデータ131より抽出し,かつ抽出されたソースコードに関数呼び出し方法を用いたインターフェースを作成するソフトウェア部品抽出部121とを備え,ソフトウェア部品データ135とソフトウェア部品実行順序データ136を出力する。次に、本発明の大きな特徴である抽出対象設定選択部における,変数クラスタデータの選択画面の例を説明する。図19~図25は、抽出対象設定部122図1,図18において、ユーザ5が、変数クラスタデータを選択するための画面例を示している。これらの画面を見ながら、開発者は、ソフトウェア部品作成対象となる変数クラスタデータを選択する。そして、選択された変数クラスタデータに基づき、複数のソフトウェア部品を作成することができる。まず、図19~図22は、本発明の一実施の形態によるクラスタ数が1~4の場合の抽出対象設定部122における第1の表示画面例を示している。図19の抽出対象選択部の設定画面1221は、クラスタ数が1つの場合を示しており、a~gの全ての変数が1つのクラスタに分類されている。また、モジュール性は0.00である。ユーザ5は、変数のクラスタ分割に対し、本分割を選択しても良いし、次へを押してクラスタ分割を進めても良い。図20は、抽出対象選択部122のクラスタ数が2つの場合の設定画面1222を示す図である。a~dを一つのクラスタに分類し、残りのe~gをもう1つのクラスタに分類した状態である。また,モジュール性は0.32である。図21は、抽出対象選択部122のクラスタ数が3つの場合の設定画面1223を示す図である。a,cを一つのクラスタに分類し、b,dを他のもう一つのクラスタに分類し、残りのe~gを最後のクラスタに分類した状態である。また,モジュール性は0.24である。図22は、抽出対象選択部122のクラスタ数が4つの場合の設定画面1224を示す図である。a,cを一つのクラスタに分類し、b,dを他のもう一つのクラスタに分類し、e,gをさらに別のクラスタに分類し、fを最後のクラスタに分類した状態である。また,モジュール性は0.13である。以上の表示画面を有することで、ユーザ5は変数クラスタのクラスタ数や、クラスタ内の変数グループ内容とモジュール性を基に、抽出すべきソフトウェア部品を容易に判断することが可能である。図23~図24は、他の実施の形態による抽出対象選択部122の設定画面を示す図で、横軸にクラスタ数、縦軸にモジュール性を示す座標を用いることで、図19~図22の画面と異なり、クラスタ数に対するモジュール性の変化を容易に読み取ることができる。図24は、図23で示した設定画面1225に対し、モジュール性最大をとるクラスタ数における点を強調表示するとともに、その点のモジュール性の値を示したものである。これにより、ユーザ5は、より容易にモジュール性最大のクラスタ数を知ることが可能となる。図25は、さらに他の抽出対象選択部122の設定画面1227を示す図である。クラスタ数とモジュール性の表示に、テーブル表記を用いることで、ユーザ5の認識容易性をサポートしている。図26は、抽出対象選択部122においてユーザ5に選択された結果である抽出対象変数クラスタデータ123を示す抽出対象変数クラスタテーブル1231を示す図である。ここでは、抽出対象選択部122にて、ユーザ5がクラスタ数2,モジュール性0.32を選択した場合である。クラスタID101は、変数a~dが分類されていることを表わしている。同様に、クラスタID102は、変数e~gが分類されていることを示している。図27は、ソフトウェア抽出部121の処理を示すフローチャートであり、ステップS12100から処理が開始される。ステップS12101にて、クラスタのIDが初期化される。ステップS12102にて、変数IDが初期化される。ステップS12103にて、変数を更新しているソースコード行番号を、構文木データより取得する。ステップS12104にて、行番号に基づいて、変数を更新しているソースコードを抽出する。ステップS12105にて、ソースコード抽出場所に、ステップS12104にて抽出したソースコードを呼び出す関数を作成する。ステップS12106にて、変数が最終変数かどうか確認する。変数が最終変数であった場合YESはステップS12108に進み、そうでない場合NOはステップS12107に進む。ステップS12107にて、変数IDをインクリメントして処理を続ける。ステップS12108にて、抽出したソースコードを結合し、ソフトウェア部品を作成する。ステップS12109にて、クラスタが最終クラスタかどうか確認する。クラスタが最終クラスタであった場合YESは、ステップS12111に進み、そうでない場合NOはステップS12110に進む。ステップS12110にて、クラスタIDをインクリメントして処理を続ける。ステップS12111にて、ソースコード抽出元であるソースコードを、ソフトウェア部品実行順序情報として登録する。ステップS12112にて処理を終了する。図28は、ソフトウェア部品抽出部121により抽出されたソフトウェア部品1351,1352,およびソフトウェア部品実行順序情報1361を示す図である。この図においては、これまでの実例と同じく、抽出対象選択部122にてユーザ5がクラスタ数2,モジュール性0.32の値を指定した場合に得られるソフトウェア部品データ135とソフトウェア部品実行順序データ136を示している。ソフトウェア部品実行順序1361とソフトウェア部品1351,1352は、呼び出し関数にて接続関係にある。このような構造を持つことによって、ソフトウェア部品抽出前のソースコード1311と、変数の更新順序を同じくすることが可能である。また、ソフトウェア部品1351,1352と、ソフトウェア部品実行順序1361に対してモジュール性を表記することで、ユーザ5が変数クラスタ設定部122で設定した変数クラスタ情報を反映していることを容易に確認することができる。図29は、本発明を適用して好適なエレベータシステム10000の構成を示す図である。エレベータシステム10000は、エレベータ制御装置6と、エレベータかご7と、複数のエレベータの協調動作を制御する群管理制御装置81と、他のエレベータかごを制御するエレベータ制御装置82を備えている。また、行き先階ボタンが押されたことを検知する行き先階ボタンセンサ91、ドアへの挟み込みを検知するドア安全センサ92、ドアの開閉をおこなうドア駆動モータ93、および、かごを昇降駆動するモータ94を備えている。さらに、エレベータ制御装置6、群管理制御装置81、およびエレベータ制御装置82の間の通信を行う通信回線95とで構成される。ソフトウェア部品作成支援装置1にて作成されたソフトウェア部品データ135およびソフトウェア部品実行順序データ136は、メモリ61へと記憶される。マイクロプロセッサ62は、メモリ61に記憶されたソフトウェアに基づいて、入出力デバイスである行き先階ボタンが押されたことを検知する行き先階ボタンセンサ91と、ドアへの挟み込みを検知するドア安全センサ92と、ドアの開閉をおこなうドア駆動モータ93と、かごの上下動をおこなうかご駆動モータ94とを操作し、エレベータかご7の昇降制御を行う。以上述べたように、本実施の形態を用いることにより、大規模複雑化したソースコードであっても、変数の代入参照関係を分析し、変数の依存関係に基づいたクラスタ毎にソフトウェア部品を抽出することが可能である。また、変数の依存関係を用いているため、熟練者の経験に依らず容易にソフトウェア部品を作成することができる。また、組込みシステムをエレベータとした場合、ある特定の機能単位に依らないソフトウェア部分集合であるクラスタは、変数として少なくとも、ドアゾーンスイッチ,ファイナルリミットスイッチ,メンテナンスリミットスイッチ,方向リミットスイッチ,または終端階強制還俗スイッチのいずれかの状態を示す情報を含むことが望ましい。つまり、昇降路内に必要とされる定位置として決定することが好適であり、国際安全規格への対応,エレベータの構成部品の機械部品から電子部品への置き換えに依る高性能化,低コスト化を行う電子安全化への対応,安全性の説明責任,並びに遠隔アップデート等の点で望ましい。なお、メンテナンスリミットスイッチとは、保守員が安全に作業を実施するための頂部隙間を確保する位置を明示するスイッチであり、方向リミットスイッチとは、乗りかごが終端階に到達したことを検出するスイッチであり、終端階強制減速スイッチとは、乗りかごが何らかの原因で過速状態になったときに定格速度以下まで強制減速させてバッファに衝突させるための位置を検出するスイッチである。"