Fugu-MT 論文翻訳(概要): Early Validation of High-level Requirements on Cyber-Physical Systems

論文の概要: Early Validation of High-level Requirements on Cyber-Physical Systems

arxiv url: http://arxiv.org/abs/2502.09236v1
Date: Thu, 13 Feb 2025 11:54:12 GMT
ステータス: 翻訳完了
システム内更新日: 2025-02-14 13:49:09.054224
Title: Early Validation of High-level Requirements on Cyber-Physical Systems
Title（参考訳）: サイバー物理システムにおけるハイレベル要件の早期検証
Authors: Ondřej Vašíček,
Abstract要約: 私の研究の網羅的で広範囲にわたる話題は、安全クリティカルでサイバー物理システム(CPS)開発分野の進歩です。私の研究で特に注目しているのは、CPSにおけるハイレベルな要件の早期検証です。この問題に対処するための私の現在のアプローチは、要求をEvent Calculusに変換し、その後、ASPソルバを使ってそれらを推論することです。
参考スコア（独自算出の注目度）: 0.0
License:
Abstract: The overarching, broad topic of my research are advancements in the area of safety-critical, cyber-physical systems (CPS) development with emphasis on validation and verification. The particular focus of my research is the early validation of high-level requirements on CPS. My current approach for tackling this problem is transforming the requirements into Event Calculus and subsequently reasoning about them using ASP solvers such as the grounding-free s(CASP). Below, I discuss my research, its current state, and the open issues that are still left to tackle. The first results of my work will be presented in a paper that was accepted for ICLP'24, which is my first paper in this area.
Abstract（参考訳）: 私の研究の網羅的で広範囲にわたる話題は、安全クリティカルなサイバー物理システム(CPS)開発分野の進歩であり、検証と検証に重点を置いています。私の研究で特に注目しているのは、CPSにおけるハイレベルな要件の早期検証です。この問題に対処するための私の現在のアプローチは、要求をEvent Calculusに変換し、その後、グラウンドフリーのs(CASP)のようなASPソルバを使ってそれらを推論することです。以下は、私の研究、現状、そして取り組まなければならない未解決の問題について論じます。私の研究の最初の成果は、ICLP'24で受理された論文で発表されます。

関連論文リスト

Adaptive Anomaly Detection for Identifying Attacks in Cyber-Physical Systems: A Systematic Literature Review [4.580544659826873]
本稿では,適応異常検出(Adaptive Anomaly Detection, AAD)研究の体系的文献レビュー(SLR)について述べる。 AADは、進化するサイバー攻撃を検出する最も有望な技術の一つである。本稿では,攻撃タイプ,CPSアプリケーション,学習パラダイム,データ管理,アルゴリズムを考慮した新しい分類法を提案する。我々は、研究者が最先端の技術を身につけるのを手助けし、実践者がこの分野の最近の進歩に親しむのを助けることを目的としている。
論文参考訳（メタデータ） (2024-11-21T16:32:02Z)
Using AI Alignment Theory to understand the potential pitfalls of regulatory frameworks [55.2480439325792]
本稿では、欧州連合の人工知能法(EU AI法)を批判的に検討する。人工知能における技術的アライメントの潜在的な落とし穴に焦点を当てたアライメント理論(AT)研究からの洞察を利用する。これらの概念をEU AI Actに適用すると、潜在的な脆弱性と規制を改善するための領域が明らかになる。
論文参考訳（メタデータ） (2024-10-10T17:38:38Z)
Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming [2.3968309436551474]
本稿では,サイバー物理システムにおけるハイレベル要件の早期検証のための新しい手法を提案する。本稿では,回答セットプログラミングとs(CASP)システムを用いて,医療機器の現実要求仕様を変換し,評価する。
論文参考訳（メタデータ） (2024-08-19T11:31:17Z)
UKP-SQuARE: An Interactive Tool for Teaching Question Answering [61.93372227117229]
質問応答の指数的増加(QA)は、あらゆる自然言語処理(NLP)コースにおいて必須のトピックとなっている。本稿では、QA教育のプラットフォームとしてUKP-SQuAREを紹介する。学生は様々な視点から様々なQAモデルを実行、比較、分析することができる。
論文参考訳（メタデータ） (2023-05-31T11:29:04Z)
Advances in Deep Concealed Scene Understanding [145.88351069150943]
本研究では,シーン理解の隠蔽を目的としたディープラーニング技術に関する包括的調査を行う。私たちは隠されたオブジェクトセグメンテーションのための最大かつ最新のベンチマークを提供します。オープンな問題とCSU研究の方向性について論じる。
論文参考訳（メタデータ） (2023-04-21T20:01:18Z)
A Survey on Cyber-Resilience Approaches for Cyber-Physical Systems [0.4056667956036515]
重要なインフラにおけるサイバー物理システムのレジリエンスに関する懸念が高まっている。サイバーレジリエンス(サイバーレジリエンス)は、CPSの中核機能を維持することでCPSの生存を確保することを目的としている。我々は,サイバーレジリエンスに対処する最近の文献を,CPSで使用される技術に焦点をあてて,体系的に調査する。
論文参考訳（メタデータ） (2023-02-10T18:03:20Z)
Fairness in Recommender Systems: Research Landscape and Future Directions [119.67643184567623]
本稿は,近年の地域におけるフェアネスの概念と概念について概観する。この分野での研究が現在どのように行われているのかを概観する。全体として、最近の研究成果の分析は、ある研究のギャップを示している。
論文参考訳（メタデータ） (2022-05-23T08:34:25Z)
Threat of Adversarial Attacks on Deep Learning in Computer Vision: Survey II [86.51135909513047]
ディープラーニングは、予測を操作できる敵攻撃に対して脆弱である。本稿では,ディープラーニングに対する敵対的攻撃におけるコンピュータビジョンコミュニティの貢献を概観する。この領域では、非専門家に技術的な用語の定義を提供する。
論文参考訳（メタデータ） (2021-08-01T08:54:47Z)
Deep Learning for Face Anti-Spoofing: A Survey [74.42603610773931]
対面防止(FAS)は、プレゼンテーションアタック(PA)から顔認識システムを保護する上で重要な役割を担っているため、近年注目を集めている。
論文参考訳（メタデータ） (2021-06-28T19:12:00Z)
Profiling the Cybercriminal: A Systematic Review of Research [2.66512000865131]
サイバー犯罪者のプロファイリングに関する一般的な定義がない。サイバー犯罪の主なタイプの1つはハッカーだ。この記事では、その分野の最新の特徴化について述べる。
論文参考訳（メタデータ） (2021-05-06T19:56:55Z)
A Text Classification Framework for Simple and Effective Early Depression Detection Over Social Media Streams [3.412346100956839]
ERD問題を自然に支援するテキスト分類のための教師付き学習モデルであるSS3を紹介する。 CLEFのeRiskパイロットタスクの早期抑うつ検出におけるモデルの評価を行った。
論文参考訳（メタデータ） (2019-05-18T15:46:38Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。