The design of the OpenSTARS adaptive analyzer for real-time distributed systems

This paper describes the design of the OpenSTARS real-time analysis tool. The paper focuses on criteria for a good analysis tool including correctness, performance/scalability, flexibility, and extensibility. Several leading real-time analysis tools are surveyed and several problems with the tools under these criteria are identified. The paper then presents the basic components and operation of OpenSTARS and how its design addresses these problems.