SysMLを用いたシステム開発における制約の充足可能性検証
スポンサーリンク
概要
- 論文の詳細を見る
SysML は,ハードウェア,ソフトウェア,人などを含めたシステムの包括的なモデリングに利用でき,システムの設計,解析,検証が可能になると期待されている.しかしながら,SysML の要求図やパラメトリック図などを用いて設計上の各種制約を記述することはできるが,それらの制約をどのように設計に織り込み,設計結果がそれらの制約を満たすかどうかを検証する方法については明らかにされていない.そこで,本稿では FMEA を用いて要求図で表現できる抽象的な制約を具体的にし,設計上の制約を洗い出し,さらに,SMT ソルバである Yices を用いて,それらの制約を設計が充足しているかどうかを検証する手法を提案する.
- 2012-02-24
著者
-
福田 晃
東京女子医科大学医学部消化器外科学
-
福田 晃
九州大学大学院システム情報科学研究院
-
福田 昇
東京女子医科大学消化器外科
-
久住 憲嗣
九州大学システムlsi研究センター
-
福田 晃
九州大学大学院システム情報科学府・研究院
-
福田 晃
Nara Institute Of Science And Technology
-
福田 晃
九州大学工学部情報工学科
-
福田 晃
九州大学
-
Fukuda A
Shizuoka Univ. Shizuoka‐shi Jpn
-
Fukuda A
Nara Inst. Sci. And Technol.
-
Fukuda Akira
Department Of Orthopaedic Surgery Faculty Of Medicine The University Of Tokyo
-
Fukuda Akira
The Department Of Electrical Engineering Shizuoka University
-
Fukuda A
Graduate School/faculty Of Information Science And Electrical Engineering Kyushu University
-
福田 哲志
九州大学大学院システム情報科学府
-
久住 憲嗣
九州大学大学院システム情報科学府
-
福田 晃
九州大学大学院システム情報学府・研究院
-
久住 憲嗣
九州大学システム:LSI研究センター
関連論文
- 切除不能,再発膵癌に対するTS-1による化学療法の検討
- 病理診断アトラス(20)消化器系2:膵臓
- PP204102 胆管内腫瘍栓からの胆道内出血を認めた肝細胞癌の一例
- W8-12 根治度・再発様式からみた T1 浸潤性膵管癌に対する術式の検討(第50回日本消化器外科学会総会)
- 218 膵癌の上腸間膜動脈周囲神経叢浸潤および No14a リンパ節転移の特徴とその郭清の意義(第42回日本消化器外科学会総会)
- P-1-556 肝切除術後早期に出現した多発残肝再発に対しTS-1でCRを得た肝細胞癌の一例(肝 悪性2,一般演題(ポスター),第63回日本消化器外科学会総会)
- V-1-63 全胃幽門輪温存膵頭十二指腸切除術後胃排泄遅延におけるストレート法の有用性の検討(膵1 PPPD,一般演題(ビデオ),第62回日本消化器外科学会定期学術総会)
- VW-2-1 膵頭十二指腸切除における門脈・上腸間膜静脈合併切除再建の工夫(ビデオワークショップ2 消化器外科手術における血行再建の工夫と合併症対策,第62回日本消化器外科学会定期学術総会)
- DP-171-7 膵体尾部に上皮性病変を伴った膵頭部癌に対する胃・脾温存膵全摘術(第107回日本外科学会定期学術集会)
- 3.Von Hipple Lindau病に膵非機能性内分泌腫瘍を合併した1例(研修医症例報告,第335回東京女子医科大学学会例会)
- 膵空腸吻合no stent法の適応と結果 (特集 膵頭十二指腸切除術(PD)をめぐる諸問題) -- (膵空腸吻合)
- 膵癌治療成績向上をめざした治療戦略
- S06-02 膵癌治療の現状と今後の治療戦略
- 脾臓に穿破し, 腫瘍性嚢胞との鑑別が困難であった膵仮性嚢胞の1例
- 362 膵内分泌腫瘍28例の検討(第42回日本消化器外科学会総会)
- 211 膵頭十二指腸切除術における幽門血行遮断の生体に及ぼす影響に関する検討(第42回日本消化器外科学会総会)
- 207 十二指腸温存膵頭全切除術の術後膵内外分泌機能および消化管ホルモン分泌能に関する検討(第42回日本消化器外科学会総会)
- 特集 4 膵癌に対する拡大手術の評価
- 187 膵急性仮性曩胞の治療成績(第41回日本消化器外科学会総会)
- 161 膵癌辺縁の病態,遠隔成績からみた合理的切除範囲の検討 : とくに T1, T2 膵頭部癌について(第41回日本消化器外科学会総会)
- VP1-7 十二指腸温存膵頭全切除・膵十二指腸吻合術(第41回日本消化器外科学会総会)
- CS1-4 膵頭部癌に対する R2 リンパ節・神経叢郭清, 門脈合併切除を伴う拡大膵頭十二指腸切除術(第41回日本消化器外科学会総会)
- W-6-4 確実な膵空腸吻合を目指した膵管空腸粘膜・粘膜吻合no stent法(膵切除後再建術の工夫-絶対漏れない吻合を目指して-,ワークショップ6,第61回日本消化器外科学会定期学術総会)
- PD-4-4 膵頭十二指腸切除術における閉鎖型ドレナージの有用性に関する検討(ドレーンの適正使用のあり方,パネルディスカッション,第61回日本消化器外科学会定期学術総会)
- SY-9-4 膵頭十二指腸切除術における術後早期・晩期合併症(膵頭十二指腸切除術をめぐる諸問題,シンポジウム,第61回日本消化器外科学会定期学術総会)
- PP829 膵頭部癌における組織学的進展度因子と再発様式に関する検討
- PP823 QOLからみた高度進行膵癌に対する治療法の選択
- 2.消化器病センターの緩和ケアに対する取り組み(シンポジウム 女子医大病院における緩和ケアチームの役割 : 地域へつなげていくために,緩和医療,第72回東京女子医科大学学会総会,学術情報)
- 3.消化器病センター外科より : 当科における癌性疼痛対策の現状と在宅医療の意識調査(シンポジウム 東京女子医大病院における各科の在宅医療取り組み,第27回東京女子医科大学在宅医療研究会,学術情報)
- PD-5-10 慢性膵炎手術例の長期治療成績(パネルディスカッション5 慢性膵炎治療の長期成績-保存的治療vs外科的治療-,第64回日本消化器外科学会総会)
- 膵仮性嚢胞消化管吻合 (最新 肝胆膵手術アトラス) -- (膵臓)
- VS2-7 膵頭部病変に対する膵頭部横断切除術・腹側膵切除術(第52回日本消化器外科学会総会)
- W-2-3 粘液産生膵疾患に対する手術適応と術式選択 ( 粘液産生膵疾患の取り扱い)
- W-1-3 膵癌長期生存をめざした外科治療戦略 ( 膵癌長期生存の治療戦略)
- VS-3-8 膵頭部良性疾患に対する十二指腸温存膵頭全切除・膵十二指腸吻合術 ( 膵頭切除術)
- 膵頭部領域癌に対する至適切除・郭清範囲に関する検討 (第49回日消外会総会シンポ1・消化器癌における至適切除範囲(胆・膵)
- 切除標本から見た進展度診断
- 463 膵癌長期生存例の特徴と問題点(第50回日本消化器外科学会総会)
- W6-10 重症急性膵炎の治療法の選択と成績(第49回日本消化器外科学会総会)
- VS2(1)-8 膵管空腸粘膜吻合・No-Stent法による正常膵消化管再建(第49回日本消化器外科学会総会)
- S1(1)-4 膵頭部領域癌に対する至適切除・郭清範囲に関する検討(第49回日本消化器外科学会総会)
- 示-478 全胃幽門輪温存膵頭十二指腸切除術後遠隔時の栄養状態に関する検討(第45回日本消化器外科学会総会)
- 術前画像診断によるIPMTとMCTの良悪性鑑別診断と手術適応
- 膵腸吻合におけるNo-stent法の有用性の検討
- 慢性膵炎に対する術式選択の検討 : retrospectiveおよびprosoective study両者からの検討
- 新臨床病期(new CS)を用いた膵癌手術適応の再検討と術後免疫治療の可能性について
- Prospective studyによる慢性膵炎に対する術式選択の検討
- 門脈再建部閉塞に伴う消化管出血に対してexpandable metallic stentが有効であった1例
- PP-1-294 膵癌における術後再発時期と臨床病理学的所見との対比
- PP-1-223 膵頭十二指腸切除術後膵腸吻合縫合不全に起因する腹腔内出血時の治療方針
- OP-2-137 正常膵に対する粘膜吻合法による膵管空腸吻合術
- OP-2-073 浸潤性膵管癌を併存した膵管内乳頭状粘液性腫瘍(IPMT)の1例
- 膵癌外科手術療法の変遷
- PP112073 重症急性膵炎後の遠隔時膵機能・膵病変に関する検討
- PS13-01 腫瘤形成性膵炎自験13例における鑑別診断および治療成績に関する検討
- PP1367 十二指腸温存膵頭全切除術の長期遠隔時成績
- SF25-2 膵管内乳頭腫瘍におけるMUC1ムチンの発現に関する検討
- PD1-8 膵癌に対する拡大手術の限界と治療戦略
- PP855 膵癌における癌転移関連遺伝子CO-029の検討
- PP158 出産を契機に発見された粘液産生を伴わない膵管内乳頭腺癌由来の浸潤性膵管癌の1例
- VS4-10 膵頭部癌に対するリンパ節郭清
- 4.膵癌取扱い規約の進行度分類・根治性評価の簡略化をめざして(膵癌取扱い規約をめぐって)
- 膵頭部癌に対するPpPDの適応と成績
- 250 膵頭部浸潤性膵管癌に対する拡大手術の適応と選択
- R-107 正常膵・膵管非拡張例の膵空腸吻合におけるno-stent法
- WS8-3 粘液産生膵腫瘍に対する手術適応と術式選択
- R-83 十二指腸温存膵頭全切除・膵十二指腸吻合術
- W4-8 浸潤性膵管癌長期生存例の臨床的検討
- S1-4 膵頭部癌に対するPpPDの適応と成績
- 進展・再発形式からみた膵頭部癌に対する拡大手術の評価と術中放射線療法の効果(第43回日消外会総会シンポ1(2)・再発,浸潤形式からみた消化器癌に対する治療の工夫-肝胆膵)
- 380 粘液産生膵病変における癌遺伝子産物、癌関連形質の発現に関する研究(膵臓-6(粘液産生腫瘍))
- PL-56 膵癌拡大手術後早期死亡例の検討(第43回日本消化器外科学会総会)
- S1(2)-8 進展・再発形式からみた膵頭部癌に対する拡大手術の評価と術中放射線療法の効果(第43回日本消化器外科学会総会)
- PPPD後の胃癌に対する治療経験
- IPMNの手術適応と外科治療における課題
- リンパ節郭清からみた膵頭部癌に対する全胃幽門輪温存膵頭十二指腸切除の適応について(肝・胆・膵39, 第60回日本消化器外科学会総会)
- 形態的評価からみたIPMNの手術適応と術式選択(膵管内乳頭粘液性腫瘍-診断と治療の問題点, 第60回日本消化器外科学会総会)
- WS-7-05 膵IPMN(Intraductal papillary-mucinous neoplasm)に対する診断と外科治療の適応(ワークショップ7 : 膵のIPMTの診断と手術適応)
- PD-5-02 小膵癌に対する診断と手術成績の検討(パネルディスカッション5 : 小膵癌に対する診断と治療)
- 12年前の交通外傷による腹部打撲が既往を有する後腹膜嚢胞腺腫の1例
- W4-8 膵癌切除例に対する集学的治療の評価(膵臓癌の集学的治療)
- V3-4 主膵管非拡張型びまん性慢性膵炎に対する全胃幽門輪温存膵頭十二指腸切除術(慢性膵炎の手術術式)
- 614 正常膵・膵空腸吻合における no-stent tube 7例の経験(第43回日本消化器外科学会総会)
- 膵管内乳頭粘液性腫瘍 (IPMN) における同時性, 異時性悪性腫瘍併存に関する検討(膵臓12, 第60回日本消化器外科学会総会)
- IPMNに対する縮小膵切除は低侵襲手術になりうるか?(膵臓11, 第60回日本消化器外科学会総会)
- 術前に十二指腸癌との鑑別診断を要した膵管内管状腺癌(ITC)由来の浸潤癌の1例
- 2.八千代医療センターにおける緩和ケアグループ導入の現状と課題(一般演題,第30回東京女子医科大学在宅医療研究会)
- 消化器病センターの緩和ケアに対する取り組みと大学病院としての緩和ケア(シンポジウム,緩和医療,第72回東京女子医科大学学会総会)
- 紡錘細胞型退形成性膵管癌の1切除例
- Soft pancreas に対する膵管空腸粘膜吻合 no-stent 法(第105回日本外科学会定期学術集会)
- 7年の経過後に切除した膵管内乳頭腺癌由来の浸潤癌の1例
- 胃内容排泄遅延予防におけるPPPDストレート法の有用性の検討(第105回日本外科学会定期学術集会)
- 膵頭十二指腸切除術 (この一冊で手技・排液観察をマスター! 消化器外科のドレーン管理) -- (消化器外科の術式別ドレーン管理 ひと目でわかる観察ポイント一覧表付き)
- 膵の腫瘍性疾患 膵管内乳頭腫瘍 (腫瘍外科治療の最前線) -- (腫瘍外科の最新治療指針)
- 425 膵頭部癌に対する拡大手術の合理的な適応に関する検討(第48回日本消化器外科学会総会)
- 重症急性膵炎の感染性膵壊死に対する Necrosectomy + Continuous closed lavage のタイミングと術後管理
- IPMN外科的切除術後の経過観察方針
- Twitterを用いたコンテキストと入力文字列の相関関係分析
- 許容遅延時間を考慮した省電カなセンサデータ収集方式
- 膵頭十二指腸切除術および膵全摘術後の遠隔時の栄養評価に関する検討