DocumentCode :
1671182
Title :
Optimisation of timing properties in a platform independent manner
Author :
Sengupta, Biswa
Author_Institution :
Dept. of Comput. Sci., York Univ., UK
Volume :
3
fYear :
2004
Firstpage :
1183
Abstract :
Large-scale complex embedded systems pose unique problems. To reduce overall development times, there is a need to develop the system in a concurrent fashion, involving the development and verification of software at the same time as designing, building and verifying the hardware. This requires a two-phase trade-off analysis approach to the hardware software codesign problem. The first phase is platform independent: it allows system requirements to be met and also supports other important objectives, e.g. scalability, upgradeability. The results of the first phase include deriving requirements and design constraints placed on the platform dependent phase. The second, platform dependent phase, chooses the actual software and hardware implementation that satisfies the requirements derived in phase 1. This paper addresses the first part of the problem through trade-off analysis. This establishes the design decisions in a traceable manner whilst capturing the rationale and assumptions made. It then searches the design space for the solution that best meets the system´s objectives.
Keywords :
embedded systems; formal verification; hardware-software codesign; large-scale systems; optimisation; robust control; scheduling; deriving requirements; design methodologies; hardware software codesign; large-scale complex embedded systems; optimisation; scalability; scheduling algorithms; scheduling analysis; software verification; temporal robustness; timing properties; two-phase trade-off analysis; upgradeability; Buildings; Computer science; Costs; Embedded system; Hardware; Real time systems; Robustness; Scalability; Scheduling algorithm; Timing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Electrotechnical Conference, 2004. MELECON 2004. Proceedings of the 12th IEEE Mediterranean
Print_ISBN :
0-7803-8271-4
Type :
conf
DOI :
10.1109/MELCON.2004.1348276
Filename :
1348276
Link To Document :
بازگشت