Task graphs for mobile code-an introduction to ITGS

Abstract

We present ITGS, the Integrated Task Graph System. ITGS is a combined specification and analysis system for the design of complex real-time system, in particular those involving mobile code. ITGS data structures and analysis algorithms will be used throughout a systems design cycle. In addition, ITGS will either contain or interface with CASE tools and a run-time system or systems in order to provide "cradle-to-grave" support based upon the task-graph model.