ASSURE 2018 – NASA

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

アップデート

• 新しい！ 2018-07-30: ASSURE 2018のプログラムが発表されました。最終プログラムは登録制です。まだ登録していない方は、 登録する SAFECOMP 2018 経由で ASSURE 2018 に参加します。
• 2018-06-21: ASSURE 2018は2018年9月18日火曜日に開催されます。採択された論文とプログラムは近日中にこちらに掲載されます。
• 2018-06-12: 採択された論文の著者には通知済みです。最終版と署名済みの著作権放棄書は、 2018年6月21日最終版と著作権フォームの両方を提出するための手順も掲載されています。
• 2018-05-30: 論文提出期限が過ぎました。提出は終了しました。
• 2018-05-18: ASSURE の締め切りは 1 週間延長され、2018 年 5 月 29 日までとなりました。
• 2018-04-09ASSURE 2018への論文提出締め切りは2018年5月22日です。 提出する 今すぐ論文を！
• 2018-03-28: 論文募集要項をご覧いただくか、PDF 論文募集要項をダウンロードしてください。
• 2018-03-26: ASSURE 2018 の Web サイトが公開されました。

導入

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

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

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

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

2017年9月18日 8:00～17:30

08:00 – 09:00 登録

09:00 – 11:00 セッション 1. 歓迎、紹介、基調講演、自信度評価

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

09:05 – 10:00 基調講演。保証事例：考え方、方法論、コンバージェンス、 ロビン・ブルームフィールド

10:00 – 10:30 評価のための保証事例構造における同一階層要素間の関係性の分類に関する研究、 B. 徐、M. 呂、T. 顧、D. 張

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

11:00 – 12:30 セッション 2. パターンとプロセス

11:00 – 11:30 保証レシピ: 保証パターンの促進、 J. ファイアストーンとM. コーエン

11:30～12:00 安全プロセスへの攻撃モデリングの組み込み、 A. スルコビッチ、D. ハニッチ、E. リソバ、A. コーズビッチ、K. ルンドクヴィスト、D. ヴェンスラント、J. フォーク

12:00 – 12:30 相互運用可能な医療システムに関する保証ケースの検討、 Y. チャン、B. ラーソン、J. ハトクリフ

12:30 – 13:30 昼休み

13:30 – 15:30 セッション 3. ツールと自動化

13:30 – 14:00 20年間の保証ケースツール: 調査、 M. マクシモフ、N. フォン、S. コカリ、M. チェチク

14:00 – 14:30 MMINT–A: 保証ケースにおける変更影響評価の自動化ツール、 N. ファン、S. コカリ、A. ディ サンドロ、R. サレイ、M. チェチック

14:30 – 15:00 D–ケースステップ: 保証ケースを作成するための新しい手順、 大沼 祐也、高井 哲也、越山 哲也、松野 祐也

15:00 – 15:30 継続的議論エンジニアリング: 機械学習ベースのシステムにおける不確実性への取り組み、
F. Ishikawa, and Y. Matsuno

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

16:00 – 17:20 セッション 4. パネルセッション。保証ケースツールの目的は何ですか?

17:20 – 17:30 ASSURE 2018 のまとめと総括

イベント	締め切り
ワークショップ論文締め切り	2018年5月29日
受諾通知	2018年6月11日
カメラレディコピーの期限	2018年6月21日
ASSURE 2018 ワークショップ	2018年9月18日
セーフコンプ2018	2018年9月19日～21日

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

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

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

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

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

トピック

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

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

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

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

締め切り

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

謝辞

必要に応じて、論文の最後に、あなたの研究/プロジェクトが受けた支援に対する謝辞を含めてください。

最終論文提出

最終のカメラレディ論文を以下の方法で提出してください。 EasyChair著者アカウントワークショップ議事録に収録するために、ログイン後、 議事録著者 ロールを選択すると、投稿ページに移動します。Springer は、印刷およびデジタル出版の要件を満たすために論文のフォーマットを変更する権利を留保します。したがって、論文に関連するすべてのソース ファイルを送信する必要があります。ログイン後、指示に従って 2 つのファイルをアップロードします。

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

盗作、自己盗作、複数の場所での出版は許可されません。

著作権放棄

必要事項が記入され署名された著作権譲渡フォームが受領されない限り、論文は議事録に掲載されません。

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

連絡先著者

責任著者を指名してください。その名前と電子メール アドレスは著作権リリース フォームに記載する必要があります。著作権リリース フォームを電子メールで送信する場合は、電子メールに責任著者の名前と電子メール アドレスを含めてください。この著者は、Springer が準備する論文の最終版のプレプリント プルーフを確認する責任を負います。

印刷前のチェック

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

書式設定とページ制限

論文は厳密に LNCS 論文フォーマットガイドライン。 お願いします しないでください 用紙テンプレート ファイルに関連付けられた間隔と寸法を変更します。用紙が用紙タイプのページ制限を満たしていることを確認してください。ページ制限は厳格です。

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

ワークショップチェア

• ユエン・デニー、軍曹 / NASAエイムズ、米国
• イブラヒム・ハブリ、ヨーク大学（英国）
• リチャード・ホーキンス、ヨーク大学、英国
• ガネーシュ、パイ、SGT / NASA エイムズ、米国

プログラム委員会

• サイモン・バートン、ボッシュ・リサーチ、ドイツ
• イザベル・コンウェイ、ESA/ESTEC、オランダ
• マーティン・フェザー、NASAジェット推進研究所、米国
• アルウィン・グッドロー、NASAラングレー研究センター、米国
• ジェレミー・ギオシェ、LAAS-CNRS、フランス
• ジョシュア・カイザー、米国原子力規制委員会
• ティム・ケリー、ヨーク大学（英国）
• Yoshiki Kinoshita, Kanagawa University, Japan
• アンドリュー・レイ、グリフィス大学、オーストラリア
• フィリッパ・ライアン、アデラード、英国
• マーク・アレクサンダー・スジャン、ウォーリック大学（英国）
• 田口 健二、CAVテクノロジーズ株式会社、日本
• ショーン・ホワイト、NHSデジタル、英国

過去のASSUREワークショップ

• アシュア 2017、トレント、イタリア
• アシュア 2016、ノルウェー、トロンハイム
• アシュア 2015、デルフト、オランダ
• アシュア 2014、ナポリ、イタリア
• アシュア 2013、米国サンフランシスコ

主催者へのお問い合わせ

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