Model-based run-time monitoring of end-to-end deadlines

Proceedings of the 5th ACM International Conference on Embedded Software, EMSOFT 2005

Volumn , Issue , 2005, Pages 100-109

  Ahluwalia, Jaswinder ^a   Krüger, Ingolf H ^a   Phillips, Walter ^a   Meisinger, Michael ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Code Generation; Components; Quality of Service; RT CORBA; Runtime Monitoring; Service Engineering; Services

Indexed keywords

COMPONENTS; EMBEDDED SYSTEMS; QUALITY CONTROL; QUALITY OF SERVICE; STRUCTURAL ANALYSIS; SYSTEMS ANALYSIS;

CODE GENERATION; RT CORBA; RUNTIME MONITORING; SERVICE ENGINEERING; SERVICES;

NETWORK COMPONENTS;

EID: 29244477515     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1086228.1086248     Document Type: Conference Paper

References (49)

1. R. Alur and D, L. Dill, A theory of timed automata. Theor. Computer Science, 126(2):183-235, 1994.
2. AMI-C. http://www.ami-c.org/publicspecrelease.asp.
3. Automotive Software Workshop San Diego 2004. http://tharkuf.ucsd.edu/ aswsd/index.html.
4. AutoFocus. http://autofocus. informatik. tu-muenchen. de/index-e.html.
5. AutoSAR, http://www.autosar.org.
6. M. Broy. Automotive software engineering. In Proceedings of the 25th international conference on Software engineering, pages 719-720. IEEE Computer Society, 2003.
7. S. Cattani and M. Kwiatkowska. A refinement-based process algebra for timed automata. Formal Aspects of Computing, 2005.
8. EAST-EEA. http://www.east-eea.net.
9. J. Ellsberger, D. Hogrefe, and A. Sarma. SDL. Formal Object-oriented Language for Communicating Systems. Prentice Hall, 1998.
10. G. Georg, R. France, and I. Ray. Composing Aspect Models. In Proceedings of the 4th AOSD Modeling With UML Workshop, 2003.
11. Generic Modeling Environment.http://www.isis.vanderbilt.edu/projects/gme/ .
12. K. Grimm, Software technology in an automotive company: major challenges. In Proceedings of the 25th international conference on Software engineering, pages 498-503. IEEE Computer Society, 2003.
13. F. Huber and B. Schätz, Rapid Prototyping with AutoFocus. In A. Wolisz, I. Schieferdecker, and A. Rennoch, editors, Formale Beschreibungstechniken für verteilte Systeme, GI/ITG Fachgespräch, pages 343-352, GMD Verlag (St. Augustin), 1997.
14. G. Karsai, J. Sztipanovits, A. Ledeczi, and T. Bapty. Model-Integrated Development of Embedded Software. In Proceedings of IEEE January 2003, 2003.
15. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An overview of AspectJ. In J. L. Knudsen, editor, Proceedings of the 15th European Conference on Object-Oriented Programming, number 2072 in Lecture Notes in Computer Science, pages 327-353, Budapest, Hungary, June 2001. Springer Verlag.
16. R. Kirner, R. Lang, G. Freiberger, and P. Puschner. Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models. In Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS'02), pages 31-41, 2002.
17. S. Kodase, S. Wang, Z. Gu, and K. G. Shin. Improving Scalability of Task Allocation and Scheduling in Large Distributed Real-time Systems using Shared Buffers. In Proceedings of the 9th IEEE Real-time/Embedded Technology and Applications Symposium (RTAS), 2003.
18. A. S. Krishna, E. Turkay, A. Gokhale, and D. C. Schmidt. Model-Driven Techniques for Evaluating the QoS of Middleware Configurations for DRE Systems. In Proceedings of the 11th, IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'05), pages 180-189, 2005.
19. B. Kristensen and D. May. Activities: Abstractions for Collective Behavior. In ECOOP'96, volume 1098 of LNCS, pages 472-501. Springer, 1996.
20. I. Krüger. Distributed System Design with Message Sequence Charts. PhD thesis, Technische Universität München, 2000.
21. I. Krüger, R. Grosu, P. Scholz, and M. Broy. From MSCs to statecharts. In F. J. Rammig, editor, Distributed and Parallel Embedded Systems, pages 61-71. Kluwer Academic Publishers, 1999.
22. I. Krüger, D. Gupta, R. Mathew, P. Moorthy, W. Phillips, S. Rittmann, and J. Ahluwalia. Towards a Process and Tool-Chain for Service-Oriented Automotive Software Engineering. In Proceedings of the ICSE 2004 Workshop on Software Engineering for Automotive Systems (SEAS), 2004.
23. I. Krüger, E. C. Nelson, and V. Prasad. Service-based Software Development for Automotive Applications. In CONVERGENCE 2004, 2004.
24. I. H. Krüger. Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs. In M. Pezzè, editor, FASE 2003, volume 2621 of LNCS, pages 387-402. Springer, 2003.
25. I. H. Krüger. Service Specification with MSCs and Roles. In Proceedings of the IASTED International Conference on Software Engineering, 2004.
26. I. H. Krüger and R. Mathew. Systematic development and exploration of service-oriented software architectures. In Proceedings of the 4th Working IEEE/IFIP Conference on Software Architecture (WICSA), 2004.
27. H. Ma, D. Wang, F. Bastani, I.-L. Yen, and K. Cooper. A Model and Methodology for Composition QoS Analysis of Embedded Systems. In Proceedings of the 11th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'05), pages 56-65, 2005.
28. O. Müller. Generating RT-CORBA Components from Service Specifications. Master's thesis, Technische Universität München, 2004.
29. S. Neema, J. Sztipanovits, G. Karsai, and K. Butts. Constraint-Based Design-Space Exploration and Model Synthesis. In EMSOFT 2003, pages 290-305, 2003.
30. E. C. Nelson and K. V. Prasaad. Automotive Infotronics: An emerging domain for Service-Based Architecture. In I. H. Krüger, B. Schätz, M. Broy, and H. Hussmann, editors, SBSE'03 Service-Based Software Engineering, Proceedings of the FM2003 Workshop, Technical Report TUM-I0315, pages 3-14. Technische Universität München, 2003.
31. Object Management Group: Real-time CORBA specification, 2002. http: //www.omg.org/technology/documents/index.htm.
32. Object Management Group: Time Service Specification, http: //www.telelogic.com/products/tau/index.cfm.
33. OMG Model Driven Architecture, http: //www.omg.org/mda.
34. B. Paech. A framework for interaction description with roles. Technical Report TUM-I9731, Technische Universität München, 1997.
35. Parlay 3.0. http://www.parlay.org/specs/index.asp.
36. K. Pohl and A. Reuys. Considering Variabilities during Component Selection in Product Family Development. In Proceedings of the Fourth International Workshop on Product Family Engineering (PFE-4), volume 2290 of LNCS, pages 22-37. Springer, 2002.
37. Sector Abbreviations and Definitions for a Telecommunication Thesaurus Oriented Database. Definition for the term "software service" at http: //www7.itu.int/sancho/detailsdefE.idc?id=11702.
38. S. Sankar and M. Mandal. Concurrent runtime monitoring of formally specified programs. Computer, 26(3):32-41, 1993.
39. D. C. Schmidt, K. Balasubramanian, A. S. Krishna, E. Turkay, and A. Gokhale. Model Driven Development for Distributed Real-time and Embedded Systems. In S. Gerard, J. Champea, and J.-P. Babau, editors, Model Driven Development for Distributed Real-time and Embedded Systems. Hermes, 2005.
40. B. Selic, G. Gullekson, and P. T. Ward. Real-Time Object-Oriented Modeling. Wiley, 1994.
41. J. Snell, D. Tidwell, and P. Kulchenko. Programming Web Services with SOAP. O'Reilly, 2002.
42. J. Sprinkle, A. Agrawal, T. Levendovszky, F. Shi, and G. Karsai. Domain Model Translation Using Graph Transformations. In ECBS 2003, pages 159-167, 2003.
43. J. Sproston. Model checking for probabilistic timed systems. In B. C, H. B, H. Hermanns, J.-P. Katoen, M. Siegle, and F. Vaandrager, editors, Validation of Stochastic Systems: A Guide to Current Research, volume 2925 of Lecture Notes in Computer Science (Tutorial Volume), pages 189-229. Springer, 2004.
44. J. A. Stankovic, R. Zhu, R. Poornalingam, C. Lu, Z. Yu, M. Humphrey, and B. Ellis. VEST: An Aspect-based Composition Tool for Real-time Systems. In Proceedings of the IEEE Real-time Applications Symposium, 2003.
45. Systems Modeling Language (SysML). http://www.sysml.org/.
46. C. Szyperski. Component Software - Beyond Object-Oriented Programming. Addison-Wesley, 2002.
47. UML Profile for Schedulability, Performance, and Time, ptc/2003-03-02 OMG Specification.
48. UML 2.0. http://www.omg.org/uml.
49. S. Yovine. Model checking timed automata. In Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems, pages 114-152, London, UK, 1998. Springer-Verlag.