Consistent design of embedded real-time systems with UML-RT

Proceedings - 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2001

Volumn , Issue , 2001, Pages 31-40

  Kuster J ^a   Stroop, J ^a  

^a University of Paderbod C LAB   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; EMBEDDED SYSTEMS; GRAPHIC METHODS; INTERACTIVE COMPUTER SYSTEMS; SEMANTICS;

EMBEDDED REAL TIME SYSTEMS; PROCESSOR ALLOCATION; REAL TIME CONSTRAINTS; SCHEDULABILITY ANALYSIS; SEQUENCE DIAGRAMS; STATE CHART DIAGRAMS; TIMING CONSTRAINTS; WORST-CASE EXECUTION TIME ANALYSIS;

REAL TIME SYSTEMS;

EID: 80052131144     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISORC.2001.922815     Document Type: Conference Paper

References (17)

1. P. Altenbernd. CHaRy: The C-LAB Hard Real-Time System to Support Mechatronical Design. In Proceedings of ECBS'97, Monterey, CA, 1997.
2. R. Alur, K. Etessami, and M. Yannakakis. Inference of message sequence charts. In 22nd International Conference on Software Engineering, 2000.
3. G. Engels and L. Groenewegen. Object-oriented modeling: A roadmap. In A. Finkelstein, editor, Future Of Software Engineering 2000, pages 105-116. ACM, June 2000.
4. G. Engels, L. Groenewegen, and J. M. Küster. Modelling concurrent behaviour through consistent statechart views. In G. Reggio, A. Knapp, B. Rumpe, B. Selic, and R. Wieringa, editors, Proceedings of the Workshop Dynamic Behaviour in UML Models: Semantic Questions, pages 44-49. LMU München, TR-0006, Oct. 2000.
5. E. Erpenbach, F. Stappert, and J. Stroop. Timing Analysis of Statecharts Models for Embedded Systems. In The Second International Workshop on Compiler and Architecture Support for Embedded Systems (CASES'99), Washington, Oktober 1999.
6. T. Firley, M. Huhn, K. Diethers, T. Gehrke, and U. Goltz. Timed sequence diagrams and tool-based analysis A case study. In R. France and B. Rumpe, editors, UML'99 - The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28-30. 1999, Proceedings, volume 1723 of LNCS, pages 645-660. Springer, 1999.
7. D. Harel. Statecharts: A visual formulation for complex systems. Science of Computer Programming, 8(3):231-274, June 1987.
8. D. Harel and H. Kugler. Synthesizing state-based object systems from LSC specifications. Technical Report MCS99-20, Weizmann Institute of Science, Oct. 1999.
9. D. Harel and B. Rumpe. Modeling languages: Syntax, semantics and all that stuff. Technical Report MCS00-16, Weizmann Institute of Science, 2000.
10. J. M. Küster and J. Stroop. Towards consistency of dynamic models and analysis of timing constraints. 1st Workshop on Formal Design Techniques for Real-Time Systems at UML'2000, Oct. 2000.
11. X. Li and J. Lilius. Timing analysis of UML sequence diagrams. In R. France and B. Rumpe, editors, UML'99 - The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28-30. 1999, Proceedings, volume 1723 of LNCS, pages 661-674. Springer, 1999.
12. Object Modeling Group. Unified Modelling Language Specification, version 1.3, June 1999. URL: uml.shl.com:80/docs/UML1.3/99-06-08.pdf.
13. A. Peron and A. Maggiolo-Schettini. Transitions as interrupts: A new semantics for timed statecharts. Lecture Notes in Computer Science, 789:806-824, 1994.
14. M. Saksena and P. Karvelas. Designing for schedulability integrating schedulability analysis with object-oriented design. In Proceedings of the 12th Euromicro Conference on Real-Time Systems, 2000.
15. B. Selic. Using UML for modeling complex real-time systems. Lecture Notes in Computer Science, 1474:250-262, 1998.
16. B. Selic, G. Gullekson, and P. Ward. Real-Time Object Oriented Modeling. John Wiley & Sons, 1994.
17. F. Stappert and P. Altenbernd. Complete Worst-Case Execution Time Analysis of Straight-line Hard Real-Time Programs. Journal of Systems Architecture, 46(4):339-355, 2000.