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