ASSURE 2016 – NASA

ASSURE 2016は無事終了しました。

アップデート

• 2016-07-18: クライヴ・トムセットCerner Corporation の臨床戦略家が招待基調講演を行います。
• 2016-07-18: ASSURE 2016 プログラムが発表されました。最終的なプログラムは登録次第です。まだ登録していない場合は、SAFECOMP 2016 から ASSURE 2016 に登録してください。
• 2016-06-08: ASSURE 2016は2016年9月20日火曜日に開催されます。採択された論文とプログラムは近日中にこちらに掲載されます。
• 2016-06-07: 採択された論文の著者には通知済みです。最終版と署名済みの著作権放棄書は、 2016年6月20日最終版と著作権フォームの両方を提出するための手順が掲載されました。
• 2016-05-26: 論文提出期限が過ぎました。提出は終了しました。
• 2016-05-16: ASSURE の締め切りは 2016 年 5 月 26 日まで延長されました。今すぐ論文を提出してください。
• 2016-03-28ASSURE 2016 への論文提出締め切りは 2016 年 5 月 17 日です。
• 2016-03-28ASSURE 2016 の論文募集と論文提出ガイドラインが公開されました。
• 2016-03-07: ASSURE 2016 の Web サイトが公開されました。

導入

第4回ソフトウェア集約型システムの保証事例に関する国際ワークショップ（ASSURE 2016）は、今年は セーフコンプ2016は、重要なソフトウェア集約型システムの信頼性特性が満たされていることを保証するための保証ケースの原則と技術の適用に関する高品質な貢献のための国際フォーラムを提供することを目的としています。

ワークショップの主な目標は次のとおりです。

• ソフトウェア集約型システムの保証ケースの作成と評価の手法を探る
• 重要なシステムのエンジニアリングライフサイクルにおける保証ケースの役割を調べる
• 保証ケースの開発と評価における効果的な実践の側面を特定する
• 信頼性技術と保証事例の関係を調査する
• 重要な研究課題を特定し、将来の開発のロードマップを定義する

他で公開/提出されていない、オリジナルで質の高い研究、実践、ツール、ポジションペーパーを募集しています。トピックの詳細については、論文募集の全文をご覧ください。提出期限とガイドラインもご覧ください。

08:00 – 09:00 登録

09:00 – 11:00 セッション 1. 紹介、基調講演、ライフサイクル

09:00 – 09:10 ようこそと紹介、 ASSURE 2016 主催者

09:10 – 10:00 基調講演: レトリックか厳密さか: 医療 IT における安全性ケースの開発と使用 クライヴ・トムセット、Cerner Corporation

10:00 – 10:30 アジャイルの安全性のケース、 ソー・スタールヘインとソー・マイクルバスト

10:30～11:00 安全ケースのメンテナンスの迅速化に向けて、 オマール・ジャラダットとイアン・ベイト

11:00 – 11:30 モーニングコーヒー/ティーブレイク

11:30 – 13:00 セッション 2. 正式な証拠とツールのサポート

11:30～12:00 コードレベルの境界付きモデル検査の結果を保証ケースで使用することについて、 カルメン・カーラン、ダニエル・ラティウ、ベルンハルト・シャッツ

12:00 – 12:30 構成を考慮した契約、 イルファン・シュリヴォ、バーバラ・ガリーナ、ヤン・カールソン、ハンス・ハンソン

12:30 – 13:00 環境安全に関する合意形成のための保証事例を活用したSNSツールの開発、 Yutaka Matsuno, Yang Ishigaki, Koichi Bando, Hiroyuki Kido, and Kenji Tanaka

13:00 – 14:00 昼休み

14:00 – 15:30 セッション3. アプリケーション

14:00 – 14:30 システム保証論の基礎としての6W1HモデルShuji Kinoshita and Yoshiki Kinoshita

14:30 – 15:00 保証タイムライン: 合成生物学の保証ケースの構築、 マイラ・コーエン、ジャスティン・ファイアストーン、マッシミリアーノ・ピエロボン

15:00 – 15:30 医療機器の安全性ケースとハザード分析の統合に向けて、 アンジェイ・ワルジンスキとアレクサンダー・ヤルジェンボヴィッチ

15:30 – 16:00 午後のコーヒー/ティーブレイク

16:00 – 17:30 セッション4. パネルと結論

16:00 – 17:15 パネル: 安全性が重要な自律システムの保証の課題
パネリスト:
– ノルウェー、ロイド レジスターの主席コンサルタント、ホーコン オルセン氏
– ジェレミー・ギオシェ、フランス、トゥールーズ大学教授
– マリアレナ・ヴァジア、ノルウェーSINTEF研究科学者
– Ovidiu Drugan、ノルウェー、DNV GL 上級研究員

17:15 – 17:30 結論とまとめ、ASSURE 2016 主催者

イベント	締め切り
ワークショップ論文締め切り	2016年5月26日
受諾通知	2016年6月7日
カメラレディコピーの期限	2016年6月20日
ASSURE 2016 ワークショップ	2016年9月20日
セーフコンプ2016	2016年9月20日～23日

ソフトウェアは、安全性やセキュリティが重要なシステムなど、リスクの高いシステムで重要な役割を果たします。現在、いくつかの認証標準/ガイドラインでは、防衛 (英国国防省 DS-0056)、航空 (CAP 760、FAA の無人航空機システムの運用承認ガイダンス)、自動車 (ISO 26262)、ヘルスケア (FDA 輸液ポンプの全製品ライフサイクル ガイダンス) などのソフトウェア集約型システムの保証ケースの開発を推奨および/または義務付けています。そのため、ソフトウェアの保証論証の開発を対象とするモデル、手法、ツールを開発する必要があります。

2016 年ソフトウェア集約型システムの保証ケースに関するワークショップ (ASSURE 2016) の目標は次のとおりです。

• ソフトウェア集約型システムの保証ケースを作成/評価するための手法を探求する。
• 重要なシステムのエンジニアリングライフサイクルにおける保証ケースの役割を検討する。
• 保証事例の開発と評価における効果的な実践の側面を特定する。
• 信頼性技術と保証事例の関係を調査する。
• 重要な研究課題を特定し、将来の開発のロードマップを定義します。

私たちは質の高い貢献を求めています: 研究、 練習する、 ツール そして 立場表明 重要なソフトウェア集約型システムの信頼性特性が満たされていることを保証するための保証ケースの原則と手法の適用について。

論文はワークショップの目標全般に対応するよう努めるべきです。

興味のあるトピックには、以下のものが含まれますが、これらに限定されません。

• 自動運転車、無人航空機システム、複雑な医療および意思決定システムなどの適応型および自律型システムなどの新たなパラダイムにおける保証の問題。
• 標準: 業界のガイドラインや標準では、自動車標準 ISO 26262 や輸液ポンプの製品ライフサイクル全体に関する FDA ガイダンスなど、保証ケースの開発がますます求められています。
• 認証と規制: 重要なシステムの認証、および規制への準拠を示すための保証ケースの役割と使用法。
• 信頼できるアーキテクチャ: フォールト トレラント アーキテクチャと、多様性やパーティショニングなどの設計対策は、保証ケースとどのように関係しますか?
• 信頼性分析: 信頼性分析手法と保証ケースパラダイムとの関係は何ですか?
• ツール: ソフトウェア エンジニアリング ツール (テスト、形式検証、コード ジェネレーター) からの出力を保証ケースの証拠として使用する / 保証ケースのモデリング、分析、管理にツールを使用する。
• 議論を作成および分析するための形式的な手法の応用。
• リアルタイム、同時実行、分散システムの保証ケースに関連する技術の調査。
• モデリングとメタモデリング: OMG の構造化保証ケース メタモデル (SACM) などのメタモデルによる構造化された引数の表現。
• ソフトウェアの品質属性（安全性、セキュリティ、保守性など）の保証、およびトレードオフを含む一般的な信頼性、および保証ケース自体の品質の概念の調査。
• 航空宇宙、自動車、ヘルスケア、防衛、電力などの分野におけるドメイン固有の保証問題。
• 再利用とモジュール化: 保証ケース構造の再利用を改善するための契約とパターン。
• 保証ケースの目標構造化表記法と要件エンジニアリング コミュニティの目標指向の関係。

採択された論文の提出手順

あなたの論文が ASSURE 2016 プログラムに採択された場合、会議用に最終的なカメラレディ論文を準備する際には、以下の指示に従ってください。

1. 締め切り

最終論文と署名済みの著作権フォームの提出期限は 2016年6月20日これは議事録作成の厳密な期限です。

2. 著作権の放棄

• 著者はSpringerの「出版同意書」に記入し署名する必要があります。 著作権放棄フォーム 以下の情報を使用します。
  • 書籍または会議名のタイトル: コンピュータの安全性、信頼性、セキュリティ – SAFECOMP 2016 ワークショップ – ASSURE、CYBERSUP、DECSoS、SASSUR、TIPS
  • 巻編集者: アムンド・スカヴハウグ、ジェレミー・ギオシェ、エルヴィン・ショイッチュ、フリーデマン・ビッチ
• 1 人の著者がすべての著者を代表して署名することができます。
• 残念ながら、Springerはデジタル署名を受け付けていません。フォームに署名し、スキャンしてPDFまたは許容される画像形式でメールしてください。 SAFECOMP 2016 出版委員長 上記の期限までに。
• または、署名済みの記入済みフォームをアップロードしてください。 イージーチェア 著者アカウントを使用します。

3. 連絡先著者

責任著者を指名してください。著作権放棄フォームを記載したメールに、責任著者の名前とメールアドレスを記載してください。この著者は、Springer が準備する論文のプレプリント校正をチェックする責任を負います。

4. 印刷前のチェック

出版社は最近、追加の管理ループを導入しました。データ処理が完了すると、出版社はすべての著者に連絡し、論文を確認するよう依頼します。これは、議事録の印刷の直前に行われると予想されます。その際には、Springer-Verlag との迅速なやり取りをお願いいたします。

5. 書式とページ制限

用紙テンプレート ファイルに関連付けられている間隔と寸法を変更しないでください。用紙が用紙タイプのページ制限を満たしていることを確認してください。

• 通常の研究/実践論文: 図、参考文献、付録を含めて 12 ページ。
• ツール論文: 図、参考文献、付録を含む 10 ページ。
• 立場表明書: 図、参考文献、付録を含めて 4 ～ 6 ページ。

6. 最終論文の提出

提出する EasyChair の著者アカウントを使用して、カメラレディな論文をワークショップ議事録に組み入れます。ログインしたら、上部パネルの「議事録」タブに進みます。

Springer は、印刷およびデジタル出版の要件を満たすために論文のフォーマットを変更する権利を留保します。したがって、論文に関連するすべてのソース ファイルを提出する必要があります。ログイン後、2 つのファイルをアップロードするための指示に従ってください。

1. すべてのLaTeXソースを含む圧縮ファイルまたはRTF形式のWordファイルのいずれか、および
2. カメラレディ論文の PDF バージョン。

以下の内容を厳守してください LNCS 論文フォーマットガイドライン 最終版を準備する際に。

ワークショップチェア

• ユエン・デニー、SGT / NASAエイムズ、米国
• イブラヒム・ハブリ、ヨーク大学、英国
• ガネーシュ・パイ、SGT / NASAエイムズ、米国

プログラム委員会（ログイン）

• Ersin Ancel、NASA ラングレー研究センター、米国
• ロビン・ブルームフィールド、シティ大学、英国
• リース・クロシエ、RMIT、オーストラリア
• マーティン・フェザー、NASAジェット推進研究所、米国
• ジェレミー・ギオシェ、LAAS-CNRS、フランス
• リチャード・ホーキンス、ヨーク大学（英国）
• ティム・ケリー、ヨーク大学（英国）
• Yoshiki Kinoshita, Kanagawa University, Japan
• ジョン・ナイト、バージニア大学、米国
• ヘレン・モンクハウス、プロティアン・エレクトリック社、英国
• アンドリュー・レイ、グリフィス大学、オーストラリア
• ロジャー・リベット、ジャガー・ランドローバー、英国
• ジョン・ラシュビー、SRI、米国
• マーク・アレクサンダー・スジャン、ウォーリック大学（英国）
• Kenji Taguchi, AIST, Japan
• アラン・ワシン、マクマスター大学、カナダ
• ショーン・ホワイト、英国保健社会福祉情報センター

論文テーマ、投稿、ASSURE 2016全般に関するご質問は、 ワークショップ主催者。