REAR framework for emulation and analysis of embedded hard real-time systems

Design Automation for Embedded Systems

Volumn 5, Issue 3, 2000, Pages 237-250

  Petters, S ^a   Muth, A ^a   Kolloch, T ^a   Hopfner, T ^a   Fischer, F ^a   Farber G ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; C (PROGRAMMING LANGUAGE); CONSTRAINT THEORY; MATHEMATICAL MODELS; MULTIPROCESSING SYSTEMS; PROCESS ENGINEERING; PRODUCT DESIGN; PRODUCT DEVELOPMENT; RAPID PROTOTYPING; REAL TIME SYSTEMS; REQUIREMENTS ENGINEERING; THEOREM PROVING;

EMBEDDED HARD REAL-TIME SYSTEMS;

EMBEDDED SYSTEMS;

EID: 0034248163     PISSN: 09295585     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008997901162     Document Type: Article

References (16)

1. Benner, T., Ernst, R., Könenkamp, I., Schüler, P., and Schaub, H.-C. 1994. A prototyping system for verification and evaluation in hardware-software cosynthesis. Proceedings of the 6th International Workshop on Rapid System Prototyping. North Carolina.
2. Bringmann, O., Rosenstiel, W., Muth, A., Fárber, G., Slomka, F., and Hofmann, R. 1999. Mixed abstraction level hardware synthesis from SDL for rapid prototyping. Proceedings of the 10th IEEE International Workshop on Rapid Systems Prototyping (RSP'99). Clearwater, Florida, USA. pp. 114-119.
3. Burns, A., and Wellings, A. 1995. HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems. Amsterdam, The Netherlands: Elsevier Science B. V.
4. Burst, A., Wolff, M., Kühl, M., and Müller-Glaser, K. D. 1998. A rapid prototyping environment for the concurrent development of mechatronic systems. ECEC'98. Erlangen, Germany.
5. Diefenbruch, M., Heck, E., Hintelmann, J., and Müller-Clostermann, B. 1995. Performance evaluation of SDL systems adjunct by queueing models. SDL'95 With MSC in CASE, Proceedings of the Seventh SDL Forum. Oslo, Norway, pp. 231-242.
6. Fischer, F., Kolloch, T., Muth, A., and Fárber, G. 1997. A Configurable Target Architecture for rapid prototyping high performance control systems. In H. R. Arabnia et al., editors, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'97).Vol. 3. Las Vegas, Nevada, USA. pp. 1382-1390.
7. Fischer, F., Muth, A., and Fárber, G. 1998. Towards interprocess communication and interface synthesis for a heterogeneous real-time rapid prototyping environment. Proceedings of the 6th International Workshop on Hardware/Software Co-Design - Codes/CASHE '98. Seattle, Washington, USA. pp. 35-39.
8. Fárber, G., Fischer, F., Kolloch, T., and Muth, A. 1997. Improving processor utilization with a task classification model based application specific hard real-time architecture. Proceedings of the 1997 International Workshop on Real-Time Computing Systems and Applications (RTCSA'97). Academia Sinica, Taipei, Taiwan, ROC.
9. Gresser, K. 1993. An event model for deadline verification of hard real-time systems. Proc. Fifth Euromicro Workshop on Real Time Systems. Oulu, Finland, pp. 118-123.
10. Gresser, K. 1993. Schedulability Analysis for Event-Driven Real-Time Systems. No. 268 in Fortschrittsberichte VDI, volume 10. Düsseldorf: VDI-Verlag. PhD Thesis, Institute for Real-Time Computer Systems, Technische Universitát München (in german).
11. Hardt, W., and Rosenstiel, W. 1997. Prototyping of tightly coupled hardware/software-systems. Design Automation for Embedded Systems 2(3/4): 283-317.
12. ITU. 1994. ITU-T Recommendation Z.100: CCITT Specification and Description Language (SDL). ITU-T.
13. Kolloch, T., and Fárber, G. 1998. Mapping an embedded hard real-time systems SDL specification to an analyzable task network - a case study. In F. Müller, A. Bestravros, et al., editors, Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems (LCTES'98). Montreal, Canada, pp. 156-165.
14. Petters, S. M., and Fárber, G. 1999. Making worst case execution time analysis for hard real-time tasks on state of the art processors feasible. Proceedings of the 6th International Conference on Real-Time Computing Systems and Applications (RTCSA'99). Hong Kong, ROC.
15. Selic, B., Gullekson, G., and Ward, P. T. 1994. Real-Time Object-Oriented Modeling. 605 Third Avenue, New York: John Wiley & Sons, Inc.
16. Stappert, F., and Altenbernd, P. 1997. Complete worst-case execution time analysis of straight-line hard real-time programs. Technical Report 27/97, C-Lab, Fürstenallee 11, Paderborn, Germany.