EVENT-DRIVEN EXECUTION MONITOR FOR ADA TASKING PROGRAMS.

Jingde Cheng, Keijiro Araki, Kazuo Ushijima

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

1 被引用数 (Scopus)

抄録

An event-driven execution monitor named EDEN for Ada tasking programs is presented. EDEN reports tasking behavior of the monitored program and detects tasking communication deadlocks in the program at runtime. The authors use it as a testing and/or debugging tool in developing Ada tasking programs at the Ada source code level. They tried to make EDEN transparent for any monitored Ada program with respect to the partial order of tasking events of the program. The authors discuss their monitoring method and describe the design and implementation of EDEN.

本文言語英語
ホスト出版物のタイトルProceedings - IEEE Computer Society's International Computer Software & Applications Conference
出版社IEEE
ページ381-388
ページ数8
ISBN(印刷版)0818608064
出版ステータス出版済み - 12 1 1987

出版物シリーズ

名前Proceedings - IEEE Computer Society's International Computer Software & Applications Conference

All Science Journal Classification (ASJC) codes

  • ソフトウェア
  • コンピュータ サイエンスの応用

フィンガープリント

「EVENT-DRIVEN EXECUTION MONITOR FOR ADA TASKING PROGRAMS.」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル