From high-level specifications down to software implementations of parallel embedded real-time systems

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2000, Pages 686-691

  Rust, C ^a   Stappert, F ^a   Altenbernd, P ^a   Tacken, J ^a  

^a C LAB   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED CONTROLLER; DISTRIBUTED EMBEDDED REAL-TIME SYSTEMS; EMBEDDED REAL TIME SYSTEMS; EXECUTABLE CODES; GRAPHICAL LANGUAGES; HARD REAL-TIME SYSTEMS; HIGH LEVEL SPECIFICATION; SOFTWARE IMPLEMENTATION;

ANIMATION; DESIGN; EXHIBITIONS; HIGH LEVEL LANGUAGES; TOOLS;

REAL TIME SYSTEMS;

EID: 84893652205     PISSN: 15301591     EISSN: None     Source Type: Journal    
DOI: 10.1109/DATE.2000.840861     Document Type: Article

References (25)

1. P. Altenbernd. On the false path problem in hard real-time programs. In 8th EuromicroWorkshop on Real Time Systems (WRTS), pages 102-107, L’Aquilla, Italy, June 1996.
2. P. Altenbernd and H. Hansson. The Slack Method: A NewMethod for Static Allocation of Hard Real-Time Tasks. Kluwer Journal on Real-Time Systems, 15:103-130, 1998.
3. N. C. Audsley. Optimal Priority Assignment and Feasibility of Static Priority Tasks With Arbitrary Start Times. Report YCS164, Department of Computer Science, University of York, 1991.
4. A. Burns and A. J. Wellings. HRT-HOOD: A Structured Design Method for Hard Real-Time Systems. Journal of Real-Time Systems, 6(1):73-114, 1994.
5. J. Busquets-Mataix, J. Martin, R. Carot, and A. Wellings. Adding Instruction Cache Effect to an Exact Schedulability Analysis of Preemptive Real-time Systems. In Proceedings of the 8th Euromicro Workshop on Real-time Systems, 1996.
6. R. Chapman. Static Timing Analysis and Program Proof. PhD thesis, Computer Science Department, University of York, 1995.
7. C. Ditze and C. Böke. Supporting software synthesis of communication infrastructures for embedded real-time applications. In Proceedings of the 15th IFAC Workshop on Distributed Computer Control Systems (DCCS), 1998.
8. H. Hansson, H. Lawson, M. Strömberg, and S. Larsson. BASEMENT: a Distributed Real-Time Architecture for Vehicle Applications. Real-Time Systems, 11(3):223-244, November 1996.
9. J. L. Hennessy and D. A. Patterson. Computer Architecture: A Quantitative Approach. Morgan Kaufman Publishers, 1996.
10. J. D. II, M. Goel, C. Hylands, B. Kienhuis, E. A. Lee, J. Liu, X. Liu, L. Muliadi, S. Neuendorffer, J. Reekie, N. Smyth, J. Tsay, and Y. Xiong. Overview of the ptolemy project. ERL Technical Report M99/37, Dept. EECS, University of California, Berkeley, CA 94720, July 1999.
11. S. Kirkpatrick, C. D. Gelatt, and M. P. Vecchi. Optimisation by Simulated Annealing. Science, 220(4589):671-680, 1983.
12. B. Kleinjohann, E. Kleinjohann, and J. Tacken. The sea language for system engineering and animation. In Applications and Theory of Petri Nets, LNCS 1091, pages 307-326. Springer Verlag, 1996.
13. B. Kleinjohann, J. Tacken, and C. Tahedl. Towards a complete design method for embedded systems using predicate/transition-nets. In Proc. of the XIII IFIP WG 10.5 Conference on Computer Hardware Description Languages and Their Applictations (CHDL-97), pages 4-23, Toledo, Spain, Apr. 1997. Chapman and Hall.
14. M. C. McFarland, A. C. Parker, and R. Camposano. The High-Level Synthesis of Digital Systems. Proceedings of the IEEE, 78(2):301-318, February 1990.
15. F. Mueller. Timing Predictions for multi-level caches. In Proc. ACM SIGPLAN Workshop on Languages, Compilers and Tools for Real-Time Systems (LCT-RTS’97), pages 29-36. ACM, June 1997.
16. K. Narasimhan and K. D. Nilsen. Portable Execution Time Analysis for RISC-Processors. In ACM SIGPLANWorkshop on Language, Compiler and Tool Support for Real-Time Systems. ACM, 1994.
17. R. Ortega and G. Borriello. Communication synthesis for distributed embedded systems. In Proceedings of the International Conference on Computer Aided Design, 1998.
18. G. Ottosson and M. Sjödin. Worst-Case Execution Time Analysis for Modern Hardware Architectures. In Proc. SIGPLAN Workshop on Languages, Compilers and Tools for Real-Time Systems (LCT-RTS). ACM, June 1997.
19. K. Ramamritham. Allocation and Scheduling of Complex Periodic Tasks. In Proceedings of the 10th International Conference on Distributed Computing Systems, pages 108-115, 1990.
20. B. Selic, G. Gullekson, and P. T. Ward. ROOM - Real-Time Object-Oriented Modeling. Wiley and Sons, Inc., 1994.
21. F. Stappert and P.Altenbernd. Complete Worst-Case Execution Time Analysis of Straight-line Hard Real-Time Programs. Journal of Systems Architecture, 46:339-355, to appear 2000.
22. J. Tacken, C. Rust, and B.Kleinjohann. A method for prepartitioning of petri net models for parallel embedded real-time systems. In Proc. of the 6th Annual Australasian Conference on Parallel And Real-Time Systems (PART ’99), Melbourne, Australia, Nov. 1999.
23. K. Tindell. Holistic Schedulability Analysis for Distributed Hard Real-Time Systems. Report YCS197, Department of Computer Science, University of York, 1993.
24. K. Tindell, A. Burns, and A. Wellings. Allocating Real-Time Tasks (An NP-Hard Problem made Easy). Journal of Real-Time Systems, 4(2):145-165, 1992.
25. T.-Y. Yen and W. Wolf. Communication synthesis for distributed systems. In Proceedings of the International Conference on Computer Aided Design, 1995.