Temporal analysis for adapting concurrent applications to embedded systems

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 2008, Pages 71-82

  Mohan, Sibin ^a   Helander, Johannes ^b  

^a North Carolina State University   (United States)

^b Microsoft Innovation Center Europe   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CHLORINE COMPOUNDS; CONCURRENCY CONTROL; EMBEDDED SYSTEMS; GRAPH THEORY; INTEGRATED CIRCUITS; MATHEMATICAL TRANSFORMATIONS; SCHEDULING;

ANALYSIS MODELS; ANALYSIS TECHNIQUES; COLORED GRAPHS; CONCURRENT APPLICATIONS; EMBEDDED PLATFORMS; EMBEDDED SERVICES; GRAPH TRANSFORMATIONS; HOT SPOTTING; MULTI-CORE PROCESSORS; OF GRAPHS; PARTIAL ORDERS; REAL-TIME APPLICATIONS; REAL-TIME SCHEDULING; REAL-WORLD; SERIALIZABILITY; SPECIFIC HARDWARE; TEMPORAL ANALYSIS; TEMPORAL BEHAVIORS; TEST APPLICATIONS;

REAL TIME SYSTEMS;

EID: 52049093420     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECRTS.2008.38     Document Type: Conference Paper

References (25)

1. G. Agrawal, A. Acharya, and J. Saltz. An interprocedural framework for placement of asynchronous I/O operations. In Proceedings of the 10th ACM International Conference on Supercomputing, pages 358-365, Philadelphia, PA, 1996. ACM Press.
2. J. Andersson. Modeling the temporal behavior of complex embedded systems - a reverse engineering approach. Licentiate thesis, June 2005.
3. G. Cugola and C. Ghezzi. CJava: Introducing concurrent objects in java. In Object Oriented Information Systems, pages 504-514, 1997.
4. A. Dunkels, O. Schmidt, T. Voigt, and M. Ali. Protothreads: simplifying event-driven programming of memory-constrained embedded systems. In SenSys '06: Proceedings of the 4th international conference on Embedded networked sensor systems, pages 29-42, New York, NY, USA, 2006. ACM.
5. J. Engblom. Processor Pipelines and Static Worst-Case Execution Time Analysis. PhD thesis, Dept. of Information Technology, Uppsala University, 2002.
6. A. Forin. Futures, in Advanced Language Implementation, Peter Lee editor. MIT Press, Cambridge MA, 1990.
7. A. Forin, B. Neekzad, and N. L. Lynch. Giano: The two-headed system simulator. Technical report vol. msr-tr-2006-130, Microsoft Research, One Microsoft Way, Redmond, WA 98052, 2006.
8. D. Friedman and D. Wise. CONS should not evaluate its parameters. In Michaelson and Milner (editors), Automata, Languages, and Programming, pages 257-284. Edinburgh University Press, 1976.
9. D. Gay, P. Levis, R. von Behren, M. Welsh, E. Brewer, and D. Culler. The NesC language: A holistic approach to networked embedded systems. In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI-03), pages 1-11, June 9-11 2003.
10. J. B. Goodenough and L. Sha. The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks. In Proceedings of the 2nd International Workshop on Real-Time Ada Issues, May 1988.
11. R. Halstead. MULTILISP: a language for concurrent symbolic computation. ACM Trans. Program. Lang. Syst., 7(4):501-538, 1985.
12. C. A. Healy, R. D. Arnold, F. Mueller, D. Whalley, and M. G. Harmon. Bounding pipeline and instruction cache performance. IEEE Transactions on Computers, 48(1):53-70, Jan. 1999.
13. J. Helander. Deeply embedded XML communication: Towards an interoperable and seamless world. In 5th ACM Conference on Embedded Software', September 2005.
14. J. Helander and A. Forin. MMLite: A highly componentized system architecture. In Proceedings of the ACM SIGOPS European Workshop on Support for Composing Distributed Applications, 1998.
15. J. Helander, R. Serg, M. Veanes, and P. Roy. Adapting futures: Scalability for real-world computing. In Real-Time Systems Symposium, December 2007.
16. T. Henzinger, C. Kirsch, and S. Matic. Schedule carrying code. In Third International Conference on Embedded Software (EMSOFT), January 2003.
17. J. Jacky, M. Veanes, C. Campbell, and W. Schulte. Model-based software testing and analysis with c#. In Cmbridge Univeristy Press, 2007.
18. S. Mohan and F. Mueller. Hybrid timing analysis of modern processor pipelines via hardware/software interactions. In IEEE Real-Time Embedded Technology and Applications Symposium, page (accepted), 2008.
19. S. Mohan, F. Mueller, W. Hawkins, M. Root, C. Healy, and D. Whalley. Parascale: Expoliting parametric timing analysis for real-time schedulers and dynamic voltage scaling. In IEEE Real-Time Systems Symposium, pages 233-242, Dec. 2005.
20. L. Motus, R. Kinksaar, T. Naks, and M. Pall. Enhancing object modelling technique with timing analysis capabilities. iceccs, 00:298, 1995.
21. L. Motus and M. G. Rodd. Timing Analysis of Real-Time Software: A Practical Approach to the Specification and Design of Real-Time. Elsevier Science Inc., New York, NY, USA, 1994.
22. F. Mueller. Timing analysis for instruction caches. Real-Time Systems, 18(2/3):209-239, May 2000.
23. L. Nachmanson, G. Robertson, and B. Lee. Drawing graphs with GLEE. In 15th International Symposium on Graph Drawing, September 2007.
24. J. Preden and J. Helander. Auto-adapation driven by observed context histories. In International Workshop on Exploiting Context Histories in Smart Environments, September 2006.
25. J. Wegener and F. Mueller. A comparison of static analysis and evolutionary testing for the verification of timing constraints. Real-Time Systems, 21(3):241-268, Nov. 2001.