Event model interfaces for heterogeneous system analysis
- 25 June 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 506-513
- https://doi.org/10.1109/date.2002.998348
Abstract
Complex embedded systems consist of hardware and software components from different domains, such as control and signal processing, many of them supplied by different IP vendors. The embedded system designer faces the challenge to integrate, optimize and verify the resulting heterogeneous systems. While format verification is available for some subproblems, the analysis of the whole system is currently limited to simulation or emulation. In this paper we tackle the analysis of global resource sharing, scheduling, and buffer sizing in heterogeneous embedded systems. For many practically used preemptive and non-preemptive hardware and software scheduling algorithms of processors and busses, semi-formal analysis techniques are known. However they cannot be used in system level analysis due to incompatibilities of their underlying event models. This paper presents a technique to couple the analysis of local scheduling strategies via an event interface model. We derive transformation rules between the most important event models and provide proofs where necessary. We use expressive examples to illustrate their application.Keywords
This publication has 14 references indexed in Scilit:
- Intervals in software execution cost analysisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Bus access optimization for distributed embedded systems based on schedulability analysisPublished by Association for Computing Machinery (ACM) ,2000
- Performance Analysis of Real-Time Embedded SoftwarePublished by Springer Nature ,1999
- Performance estimation for real-time distributed embedded systemsIEEE Transactions on Parallel and Distributed Systems, 1998
- An extendible approach for analyzing fixed priority hard real-time tasksReal-Time Systems, 1994
- An Event Model for Deadline Verification of Hard Real-Time SystemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1993
- Fixed priority scheduling of periodic task sets with arbitrary deadlinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990
- Aperiodic task scheduling for Hard-Real-Time systemsReal-Time Systems, 1989
- Static Scheduling of Synchronous Data Flow Programs for Digital Signal ProcessingIEEE Transactions on Computers, 1987
- Scheduling Algorithms for Multiprogramming in a Hard-Real-Time EnvironmentJournal of the ACM, 1973