FM2024

FM 2024 は、独立した協会であるフォーマル メソッド ヨーロッパ (FME) が主催する形式手法に関する第 26 回国際シンポジウムです。ソフトウェア開発における形式的手法の使用と研究を促進することを目的としています。 FM シンポジウムでは、研究者と産業界のユーザーが、原著論文、ワークショップ、チュートリアル、ツール レポート、プロジェクト、研究と産業界での経験に関する進行中の博士研究を中心にうまく結集します。 FM 2024 は祝賀の機会であると同時に、さまざまな背景を持つ情熱的な研究者や実践者がアイデアを交換し、経験を共有するためのプラットフォームでもあります。

FM 2024 は、信頼できる人工知能、ソフトウェア、コンピューターベースのシステム、システムオブシステムズ、サイバー物理システム、セキュリティ、ヒューマンコンピューターインタラクション、製造、持続可能性など、幅広い分野における形式的手法の開発と応用に焦点を当てます。 、エネルギー、交通、スマートシティ、ヘルスケア、生物学。特に、学際的な環境におけるテクニック、ツール、経験に関する論文を歓迎します。また、産業現場で形式手法を適用した経験や形式手法ツールの設計と検証に関する論文も歓迎します。

FM 2024 のトピックには以下が含まれますが、これらに限定されません。

学際的な形式手法:学際的な環境で正式な手法を使用する際のテクニック、ツール、経験を実証します。実際の形式手法には、形式手法の産業応用、産業形式手法の経験、ツール使用レポート、困難な問題に関する実験が含まれます。著者は、形式的手法がどのように問題を克服し、設計を改善し、または新しい洞察を提供するかを説明することが奨励されます。

フォーマルメソッドツール:自動検証、モデルのチェックと形式的メソッドのテスト、ツールの統合、形式的メソッド環境、ツールの実験的検証の進歩。著者は、新しいツールや環境が最先端技術を進歩させることを経験的に実証することが奨励されています。
ソフトウェアおよびシステム エンジニアリングにおける形式的手法: 形式的手法を使用した開発プロセス、その使用に関するガイダンス、および手法の統合。著者は、質的または量的改善の観点からプロセス革新を評価することが奨励されています。実証研究や評価も募集しています。

形式的手法の理論的基礎:仕様、検証、改良、静的および動的分析に関連する理論のすべての側面。著者は、自分の結果が形式的な方法やツールを使用して実際の問題の解決にどのように貢献するかを説明することが推奨されます。

組み込みシステムのトピック: FM 2024 は、ACM SIGBED と協力して組み込みシステムに関する特別トピックを企画します。このコースでは、本質的に形式的なもので、組み込みシステム、リアルタイム システム、サイバーフィジカル システムに適用される理論、方法、ツールに焦点を当てます。