Performance estimation of distributed real-time embedded systems by discrete event simulations

EMSOFT'07: Proceedings of the Seventh ACM and IEEE International Conference on Embedded Software

Volumn , Issue , 2007, Pages 183-192

  Madl, Gabor ^a   Dutt, Nikil ^a   Abdelwahed, Sherif ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b MISSISSIPPI STATE UNIVERSITY   (United States)

Author keywords

Design; Performance; Verification

Indexed keywords

PERFORMANCE ESTIMATION; TEST VECTORS;

DISCRETE EVENT SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; REAL TIME SYSTEMS; VERIFICATION;

EMBEDDED SYSTEMS;

EID: 38849104269     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1289927.1289958     Document Type: Conference Paper

References (25)

1. R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183-235, 1994.
2. A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic, and R. de Simone. The Synchronous Languages 12 Years Later. Proceedings of the IEEE, 91:64-83, 2003.
3. M. Bozga, S. Graf, I. Ober, I. Ober, and J. Sifakis. The IF Toolset. Formal Methods for the Design of Real-Time Systems, LNCS 3185, pages 237-267, 2004.
4. R. E. Bryant. Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams. ACM Computing Surveys, 24(3):293-318, 1992.
5. C. G. Cassandras. Discrete Event Systems, Modeling and Performance Analysis. Irwin, 1993.
6. E. M. Clarke and E. A. Emerson. Design and synthesis of synchronisation skeletons using branching time temporal logic. Logic of Programs. LNCS, 131:52-71, 1981.
7. C. Ericsson, A. Wall, and W. Yi. Timed Automata as Task Models for Event-Driven Systems. In Proceedings of RTSCA, 1999.
8. T. Gerdsmeier and R. Cardell-Oliver. Analysis of Scheduling Behaviour using Generic Timed Automata. Electronic Notes in Theoretical Computer Science, 42, 2001.
9. R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter, and R. Ernst. System Level Performance Analysis - the SymTA/S Approach. IEE Proceedings Computers and Digital Techniques, 152:148-166, 2005.
10. T. A. Henzinger, B. Horowitz, and C. M. Kirsch. GIOTTO: A time-triggered language for embedded programming. Proceedings of the IEEE, 91:84-99, 2003.
11. M. H. Klein, T. Ralya, B. Pollak, and R. Obenza. A Practitioners' Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems. Kluwer Academic Publishers, 1993.
12. K. Lahiri, A. Raghunathan, and S. Dey. System-Level Performance Analysis for Designing On-Chip Communication Architectures. IEEE Transactions on Computer Aided-Design of Integrated Circuits and Systems, 20:768-783, 2001.
13. K. G. Larsen, P. Pettersson, and W. Yi. UPPAAL in a Nutshell. Int. Journal on Software Tools for Technology Transfer, 1(1-2):134-152, 1997.
14. A. Ledeczi, A. Bakay, M. Maroti, P. Volgyesi, G. Nordstrom, and J. Sprinkle. Composing Domain-Specific Design Environments. Computer, pages 44-51, 2001.
15. E. A. Lee. The Problem with Threads. IEEE Computer, 39(5), 2006.
16. E. A. Lee, C. Hylands, J. Janneck, J. D. II, J. Liu, X. Liu, S. Neuendorffer, S. S. M. Stewart, K. Vissers, and P. Whitaker. Overview of the Ptolemy Project. Technical Report UCB/ERL M01/11, EECS Department, University of California, Berkeley, 2001.
17. C. L. Liu and J. W. Layland. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment. J. ACM, 20(1):46-61, 1973.
18. G. Madl and S. Abdelwahed. Model-based Analysis of Distributed Real-time Embedded System Composition. In Proceedings of EMSOFT, pages 371-374, 2005.
19. G. Madl, S. Abdelwahed, and G. Karsai. Automatic Verification of Component-Based Real-Time CORBA Applications. In Proceedings of RTSS, pages 231-240, 2004.
20. G. Madl, S. Abdelwahed, and D. C. Schmidt. Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking. Real-Time Systems, 33:77-100, 2006.
21. G. Madl and N. Dutt. Tutorial for the Open-source DREAM Tool. In CECS Technical Report, 2006.
22. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. 1992.
23. K. Richter, M. Jersak, and R. Ernst. A Formal Approach to MpSoC Performance Verification. IEEE Computer, 36:60-67, 2003.
24. V. Subramonian, C. Gill, C. Sanchez, and H. Sipma. Reusable Models for Timing and Liveness Analysis of Middleware for Distributed Real-Time Embedded Systems. In Proceedings of EMSOFT, pages 252-261, 2006.
25. E. Wandeler, L. Thiele, M. Verhoef, and P. Lieverse. System architecture evaluation using modular performance analysis - a case study. Software Tools for Technology Transfer (STTT), 8(6):649-667, 2006.