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

Volume

12

Issue

1

fYear

1995

Firstpage

53

Lastpage

67

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;

fLanguage

English

Journal_Title

Design & Test of Computers, IEEE

Publisher

ieee

ISSN

0740-7475

Type

jour

DOI

10.1109/54.350695

Filename

350695