Title :
Specification and design of embedded hardware-software systems
Author :
Gajski, Daniel D. ; Vahid, Frank
Author_Institution :
Dept. of Comput. Sci., California Univ., Irvine, CA, USA
Abstract :
Embedded-system specification and design consists of describing a system´s desired functionality and mapping that functionality for implementation by a set of system components such as processors, ASICs, memories, and buses. This paper discusses the key problems of system specification and design, including specification capture, design exploration, hierarchical modeling, software and hardware synthesis, and cosimulation. The authors highlight existing tools and methods for solving those problems and describe a “specify-explore-refine” methodology for meeting today´s embedded-system product development requirements
Keywords :
application specific integrated circuits; formal specification; real-time systems; ASICs; buses; cosimulation; design exploration; embedded hardware-software systems specification; functionality; hierarchical modeling; mapping; memories; processors; specification capture; specify-explore-refine methodology; system components; Aircraft; Communication system control; Control systems; Embedded system; Fuels; Medical control systems; Software systems; System-level design; TV; Video on demand;
Journal_Title :
Design & Test of Computers, IEEE
