Automatic synthesis of multi-tasking implementations from real-time object-oriented models

Proceedings - 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2000

Volumn , Issue , 2000, Pages 360-367

  Saksena, M ^a   Karvelas, P ^a   Wang, Y ^a  

^a Gina Cody School of Engineering and Computer Science   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURE; DESIGN; DISTRIBUTED COMPUTER SYSTEMS; MAPPING; SYSTEMS ANALYSIS;

AUTOMATIC CODE GENERATIONS; AUTOMATIC SYNTHESIS; FUNCTIONAL REQUIREMENT; IMPLEMENTATION ARCHITECTURE; IMPLEMENTATION MODELS; OBJECT ORIENTED MODEL; OBJECT-ORIENTED DESIGN MODELS; TIMING REQUIREMENTS;

AUTOMATIC PROGRAMMING;

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

References (22)

1. M. Awad, J. kuusela, and J. Ziegler. Object-Oriented Technology for Real-Time Systems: A Practical Approach using OMT and Fusion. Prentice Hall, 1996.
2. R. Bell. Code generation from object models. Embedded Systems Programming, 11(3), March 1998.
3. A. Burns and A. J. Wellings. HRT-HOOD: A Design Method for Hard Real-Time. Real-Time Systems, 6(1):73-114, 1994.
4. R. Gerber, S. Hong, and M. Saksena. Guaranteeing Real-Time Requirements with Resource-based Calibration of Periodic Processes. IEEE Transactions on Software Engineering, 21:579-592, July 1995.
5. S. Goddard and K. Jeffay. Analyzing the real-time properties of a dataflow execution paradigm using a synthetic aperture radar application. In Proceedings, IEEE Real-Time Technology and Applications Symposium, June 1997.
6. H. Gomaa. Software Design Methods for Concurrent and Real-Time Systems. Addison-Wesley Publishing Company, 1993.
7. M. Harbour, M. Klein, and J. Lehoczky. Fixed Priority Scheduling of Periodic Tasks with Varying Execution Priority. In Proceedings, IEEE Real-Time Systems Symposium, pages 116-128, December 1991.
8. D.-I. Kang, R. Gerber, and M. Saksena. Parametric Design Synthesis of Distributed Embedded Systems. IEEE Transactions on Computers. Accepted for Publication, October 1998.
9. K. H. Kim. Object structures for real-time systems and simulators. IEEE Computer, pages 62-70, August 1997.
10. M. H. Klein, T. Ralya, B. Pollak, R. Obenza, and M. G. Harbour. A Practitioner's Handbook for Real-Time Analysis. Kluwer Academic Publishers, 1993.
11. J. Lehoczky. Fixed priority scheduling of periodic task sets with arbitrary deadlines. In Proceedings of IEEE Real-Time Systems Symposium, pages 201-209. IEEE Computer Society Press, dec 1990.
12. M. Ryu, S. Hong, and M. Saksena. Streamlining Real-Time Controller Design - From Performance Specifications to End-to-End Timing Constraints. In Proceedings IEEE Real-Time Technology and Applications Symposium, June 1997.
13. M. Saksena, P. Freedman, and P. Rodziewicz. Guidelines for Automated Implementation of Executable Object Oriented Models for Real-Time Embedded Contol Systems. In Proceedings, IEEE Real-Time Systems Symposium, pages 240-251, December 1997.
14. M. Saksena and S. Hong. Resource conscious design of distributed real-time systems: An end-to-end approach. In Proceedings, IEEE International Conference on Engineering of Complex Computer Systems, October 1996.
15. M. Saksena and P. Karvelas. Designing for schedulability: Integrating schedulability analsysis with object-oriented design. Submitted for Publication.
16. M. Saksena, A. Ptak, P. Freedman, and P. Rodziewicz. Schedulability Analysis for Automated Implementations of Real-Time Object-Oriented Models. In Proceedings, IEEE Real-Time Systems Symposium, December 1998.
17. B. Selic, G. Gullekson, and P. T. Ward. Real-Time Object-Oriented Modeling. John Wiley and Sons, 1994.
18. B. Selic and J. Rumbaugh. Using UML for Modeling Complex Real-Time Systems. White Paper, Published by Objec-Time, and available from www.objectime.com, March 1998.
19. D. Seto, J. P. Lehoczky, L. Sha, and K. G. Shin. On task schedulability in real-time control systems. In Proceedings of IEEE Real-Time Systems Symposium, pages 13-21. IEEE Computer Society Press, Dec. 1996.
20. L. Sha, R. Rajkumar, and J. Lehoczky. Priority inheritance protocols: An approach to real-time synchronization. IEEE Transactions on Computers, 39:1175-1185, Sept. 1990.
21. S. Shlaer and S. Mellor. The Shlaer-Mellor Method. Technical Paper, Project Technology, Inc. 1996. Available from http://www.projtech.com.
22. Y. Wang and M. Saksena. Fixed priority scheduling with preemption threshold. In Proceedings, IEEE International Conference on Real-Time Computing Systems and Applications, December 1999.