Experiments in automated analysis of concurrent software systems
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Automated Analysis of Concurrent Systems with the Constrained Expression Toolset
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
THE CONSTRAINED EXPRESSION FORMALISM AND ITS ASSOCIATED ANALYSIS TECH- NIQUES WERE ORIGINALLY DEVELOPED FOR DESCRIBING AND ANALYZING LOGICAL PROP- ERTIES OF CONCURRENT SYSTEM BEHAVIOR. WE HAVE RECENTLY BEGUN EXPLORING THEIR APPLICATION TO ANALYZING TIMING PROPERTIES. IN THIS PAPER WE DESCRIBE OUR INITIAL APPROACH TO CONSTRAINED EXPRESSION ANALYSIS OF REAL-TIME SYSTEMS AND REPORT THE RESULTS OF A PRELIMINARY EXPERIMENT USING THIS APPROACH. WE THEN DISCUSS THE PROSPECTS FOR EXTENDING BOTH THE CONSTRAINED EXPRESSION FORMALISM AND OUR EXISTING PROTOTYPE TOOLSET TO SUPPORT ANALYSIS OF REAL-TIME CONCURRENT SOFTWARE SYSTEMS.