论文信息 - A Unified Approach for Predictability Analysis of Real-Time Systems using UML-based Control Flow Information

A Unified Approach for Predictability Analysis of Real-Time Systems using UML-based Control Flow Information

A Unified Approach for Predictability Analysis of Real-Time Systems using UML-based Control Flow Information Vahid Garousi, Lionel C. Briand and Yvan Labiche ‡ Carleton University Department of Systems and Computer Engineering Software Quality Engineering Laboratory 1125 Colonel By Drive Ottawa, ON K1S5B6, Canada {vahid, briand, labiche}@sce.carleton.ca § Simula Research Laboratory Department of Software Engineering Martin Linges v 17, Fornebu P.O.Box 134, 1325 Lysaker, Norway briand@simula.no

[1] Ali R. Hurson,et al. Scheduling and Load Balancing in Parallel and Distributed Systems , 1995 .

[2] Jeffrey J. P. Tsai,et al. Distributed Real-Time Systems: Monitoring, Visualization, Debugging, and Analysis , 1996 .

[3] Steven S. Muchnick,et al. Advanced Compiler Design and Implementation , 1997 .

[4] Steve Vestal,et al. Improving Predictability in Embedded Real-Time Systems , 2000 .

[5] Stephen S. Yau,et al. Schedulability in model-based software development for distributed real-time systems , 2002, Proceedings of the Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. (WORDS 2002).

[6] Matthew B. Dwyer,et al. Cadena: an integrated development, analysis, and verification environment for component-based systems , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[7] Vahid Garousi,et al. Control Flow Analysis of UML 2.0 Sequence Diagrams , 2005, ECMDA-FA.

[8] David Cachera,et al. Certified Memory Usage Analysis , 2005, FM.

[9] Vahid Garousi,et al. Traffic-aware stress testing of distributed systems based on UML models , 2006, ICSE.