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

Fingerprint

Monitoring
Communication
Testing

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Science Applications

Cite this

Cheng, J., Araki, K., & Ushijima, K. (1987). EVENT-DRIVEN EXECUTION MONITOR FOR ADA TASKING PROGRAMS. In Proceedings - IEEE Computer Society's International Computer Software & Applications Conference (pp. 381-388). (Proceedings - IEEE Computer Society's International Computer Software & Applications Conference). IEEE.

EVENT-DRIVEN EXECUTION MONITOR FOR ADA TASKING PROGRAMS. / Cheng, Jingde; Araki, Keijiro; Ushijima, Kazuo.

Proceedings - IEEE Computer Society's International Computer Software & Applications Conference. IEEE, 1987. p. 381-388 (Proceedings - IEEE Computer Society's International Computer Software & Applications Conference).

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

Cheng, J, Araki, K & Ushijima, K 1987, EVENT-DRIVEN EXECUTION MONITOR FOR ADA TASKING PROGRAMS. in Proceedings - IEEE Computer Society's International Computer Software & Applications Conference. Proceedings - IEEE Computer Society's International Computer Software & Applications Conference, IEEE, pp. 381-388.
Cheng J, Araki K, Ushijima K. EVENT-DRIVEN EXECUTION MONITOR FOR ADA TASKING PROGRAMS. In Proceedings - IEEE Computer Society's International Computer Software & Applications Conference. IEEE. 1987. p. 381-388. (Proceedings - IEEE Computer Society's International Computer Software & Applications Conference).
Cheng, Jingde ; Araki, Keijiro ; Ushijima, Kazuo. / EVENT-DRIVEN EXECUTION MONITOR FOR ADA TASKING PROGRAMS. Proceedings - IEEE Computer Society's International Computer Software & Applications Conference. IEEE, 1987. pp. 381-388 (Proceedings - IEEE Computer Society's International Computer Software & Applications Conference).
@inproceedings{f05f8d49fcae4bdd934bf972c63df6a3,
title = "EVENT-DRIVEN EXECUTION MONITOR FOR ADA TASKING PROGRAMS.",
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.",
author = "Jingde Cheng and Keijiro Araki and Kazuo Ushijima",
year = "1987",
month = "12",
day = "1",
language = "English",
isbn = "0818608064",
series = "Proceedings - IEEE Computer Society's International Computer Software & Applications Conference",
publisher = "IEEE",
pages = "381--388",
booktitle = "Proceedings - IEEE Computer Society's International Computer Software & Applications Conference",

}

TY - GEN

T1 - EVENT-DRIVEN EXECUTION MONITOR FOR ADA TASKING PROGRAMS.

AU - Cheng, Jingde

AU - Araki, Keijiro

AU - Ushijima, Kazuo

PY - 1987/12/1

Y1 - 1987/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0023538030&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0023538030&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0023538030

SN - 0818608064

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

SP - 381

EP - 388

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

PB - IEEE

ER -