論文の概要: Extending Rely-Guarantee thinking to handle Real-Time Scheduling

• arxiv url: http://arxiv.org/abs/2312.00171v1
• Date: Thu, 30 Nov 2023 20:04:30 GMT
• ステータス: 処理完了
• システム内更新日: 2023-12-04 16:39:07.640369
• Title: Extending Rely-Guarantee thinking to handle Real-Time Scheduling
• Title（参考訳）: リアルタイムスケジューリング処理を考えるRely-Guaranteeの拡張
• Authors: Cliff B. Jones and Alan Burns
• Abstract要約: リアルタイムシステムには、進捗を必要とする方法と、その進捗を時間の概念に関連付ける方法の両方が必要です。 本稿では,リアルタイムスケジューラの仕様と仮定に対処するために,信頼度保証の考え方を拡張した。
• 参考スコア（独自算出の注目度）: 1.5527108310849955
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: The reference point for developing any artefact is its specification; to develop software formally, a formal specification is required. For sequential programs, pre and post conditions (together with abstract objects) suffice; rely and guarantee conditions extend the scope of formal development approaches to tackle concurrency. In addition, real-time systems need ways of both requiring progress and relating that progress to some notion of time. This paper extends rely-guarantee ideas to cope with specifications of -- and assumptions about -- real-time schedulers. Furthermore it shows how the approach helps identify and specify fault-tolerance aspects of such schedulers by systematically challenging the assumptions.
• Abstract（参考訳）: 何らかのアーティファクトを開発するための基準ポイントは仕様であり、ソフトウェアを正式に開発するには正式な仕様が必要である。 シーケンシャルプログラムでは、事前条件と後条件(抽象オブジェクトを含む)が十分であり、コンカレンシーに取り組むための正式な開発アプローチの範囲を依存および保証する。 加えて、リアルタイムシステムは進歩を必要とし、その進歩を時間の概念に関連付ける方法が必要である。 本稿では,リアルタイムスケジューラの仕様や前提に対処すべく,信頼保証者のアイデアを拡張する。 さらに、これらのスケジューラのフォールトトレランスの側面を体系的に挑戦することで、アプローチがどのように特定し特定するかを示す。

関連論文リスト

• Future Predictive Success-or-Failure Classification for Long-Horizon Robotic Tasks [6.844121549749507]
  本稿では,将来予測型成功・失敗・失敗分類手法を提案する。 提案手法は,行動計画の実行を伴わずに成功・失敗分類を可能にするために,長期予測法を用いている。 本手法の有効性は分類とロボットマニピュレーション実験を通じて実証した。
  論文  参考訳（メタデータ） (2024-04-04T12:49:42Z)
• Towards an Enforceable GDPR Specification [49.1574468325115]
  プライバシ・バイ・デザイン(PbD)は、EUなどの現代的なプライバシー規制によって規定されている。 PbDを実現する1つの新しい技術は強制(RE)である 法律規定の正式な仕様を作成するための一連の要件と反復的な方法論を提示する。
  論文  参考訳（メタデータ） (2024-02-27T09:38:51Z)
• Defining and executing temporal constraints for evaluating engineering artifact compliance [56.08728135126139]
  プロセスコンプライアンスは、実際のエンジニアリング作業が記述されたエンジニアリングプロセスに可能な限り密接に従うことを保証することに焦点を当てます。 これらのプロセスの制約をチェックすることは、依然として大変な作業であり、多くの手作業を必要とし、プロセスの後半にエンジニアにフィードバックを提供する。 関連するエンジニアリングアーティファクト間の時間的制約を,アーティファクトの変更毎に段階的にチェックする,自動制約チェックアプローチを提案する。
  論文  参考訳（メタデータ） (2023-12-20T13:26:31Z)
• Object-Centric Conformance Alignments with Synchronization (Extended Version) [57.76661079749309]
  対象中心のペトリネットが一対多の関係を捉える能力と,その同一性に基づいたオブジェクトの比較と同期を行う識別子を持つペトリネットの能力を組み合わせた,新たな形式主義を提案する。 我々は、満足度変調理論(SMT)の符号化に基づく、そのようなネットに対する適合性チェック手法を提案する。
  論文  参考訳（メタデータ） (2023-12-13T21:53:32Z)
• Validation-Driven Development [54.50263643323]
  本稿では,形式的開発における要件の検証を優先する検証駆動開発(VDD)プロセスを紹介する。 VDDプロセスの有効性は、航空業界におけるケーススタディを通じて実証されている。
  論文  参考訳（メタデータ） (2023-08-11T09:15:26Z)
• Timed I/O Automata: It is never too late to complete your timed specification theory [3.2441713533645617]
  我々は、Timed I/O Automata を仕様形式として、リアルタイムシステムのための完全な仕様フレームワークを開発する。 我々は、洗練、整合性チェック、論理的および構造的構成、および仕様の商性のための構造を提供する。
  論文  参考訳（メタデータ） (2023-02-09T09:41:48Z)
• Uncertainty in Real-Time Semantic Segmentation on Embedded Systems [22.018605089162204]
  自動運転車や人間のコンピュータインタラクションなどの分野におけるセマンティックセグメンテーションモデルの適用には、リアルタイムの予測機能が必要である。 リアルタイムアプリケーションに対処する上での課題は、リソース制約のあるハードウェアを操作する必要性によって増幅される。 本稿では,事前学習モデルからの深い特徴抽出とベイズ回帰とモーメント伝搬を組み合わせることで,不確実性を考慮した予測を行う。
  論文  参考訳（メタデータ） (2022-12-20T07:32:12Z)
• CoreDiag: Eliminating Redundancy in Constraint Sets [68.8204255655161]
  最小コア(最小非冗長制約集合)の決定に利用できる新しいアルゴリズムを提案する。 このアルゴリズムは、冗長性の度合いが高い分散知識工学シナリオにおいて特に有用である。 本手法の適用可能性を示すために, 商業的構成知識ベースを用いた実証的研究を実施した。
  論文  参考訳（メタデータ） (2021-02-24T09:16:10Z)
• Multi-Agent Reinforcement Learning with Temporal Logic Specifications [65.79056365594654]
  本研究では,時間論理仕様を満たすための学習課題を,未知の環境下でエージェントのグループで検討する。 我々は、時間論理仕様のための最初のマルチエージェント強化学習手法を開発した。 主アルゴリズムの正確性と収束性を保証する。
  論文  参考訳（メタデータ） (2021-02-01T01:13:03Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。