EVENT-DRIVEN EXECUTION MONITOR FOR ADA TASKING PROGRAMS.

Jingde Cheng, Keijiro Araki, Kazuo Ushijima

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProceedings - IEEE Computer Society's International Computer Software & Applications Conference
PublisherIEEE
Pages381-388
Number of pages8
ISBN (Print)0818608064
Publication statusPublished - Dec 1 1987

Publication series

NameProceedings - IEEE Computer Society's International Computer Software & Applications Conference

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Science Applications

Fingerprint Dive into the research topics of 'EVENT-DRIVEN EXECUTION MONITOR FOR ADA TASKING PROGRAMS.'. Together they form a unique fingerprint.

Cite this