PARTS swMATH ID: 3123 Software Authors: Buy, U.; Sloan, R.H. Description: Automatic real-time analysis of reactive systems with the PARTS toolset Real-time systems are becoming increasingly widespread, often in safety-critical applications. It is therefore crucial that these systems be correct; however, there are few automated tools for analyzing concurrency and timing properties of these systems. The PARTS toolset uses a Petri-net-based reachability analysis to analyze program specifications written in an Ada-83 subset. Our simple time Petri nets are specifically aimed at facilitating real-time analysis. In order to control the state-explosion problem, PARTS employs several optimization techniques aimed at state-space reduction. In this paper we discuss our approach and we report on extensive experiments with several examples of real-time specifications based on Ada 83. When possible, we also compare our experimental results with results obtained by other approaches to real-time analysis. Homepage: http://www.springerlink.com/content/x354416j33j6l475/fulltext.pdf Keywords: real-time systems; simple time Petri nets Related Software: Matlab; HyTech; Ada95 Cited in: 2 Publications Cited by 4 Authors 1 Antsaklis, Panos J. 1 Buy, Ugo 1 Iordache, Marian V. 1 Sloan, Robert H. Cited in 2 Serials 1 1 Systems & Control: Foundations & Applications Cited in 2 Fields 2 Computer science (68-XX) 1 Systems theory; control (93-XX) Citations by Year