Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. (2004)
Mar. 25, 2004 to Mar. 26, 2004
Iain Bate , University of York
Neil Audsley , University of York
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 co-design 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 (eg. resource budgets including time). 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. The approach has been developed for the needs of critical systems and has already been applied to the logical design of systems.
I. Bate and N. Audsley, "Flexible Design of Complex High-Integrity Systems Using Trade Offs," Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings.(HASE), Tampa, Florida, 2004, pp. 22-31.