System level design methodology

Author

van der Putten, P.H.A. ; Voeten, J.P.M. ; Geilen, M.C.W. ; Stevens, M.P.J.

Author_Institution

Sect. of Inf. & Commun. Syst., Eindhoven Univ. of Technol., Netherlands

fYear

1998

fDate

16-17 Apr 1998

Firstpage

11

Lastpage

16

Abstract

There are many fundamental problems in the design of object-oriented methods that support the development of formal executable models on a system level, and that are suitable for hardware/software co-specification. System level description formalisms should combine concepts expressive enough to model the essentials of a system on the right level of abstraction. This paper reports experiences in developing a specification and design method SHE (Software/Hardware Engineering) which is based on a formal language POOSL (Parallel Object-Oriented Specification Language). The method offers a path from an informal specification to a unified formal model that enables evaluation of system properties. This paper describes concrete new results as well as an approach towards research on system level methodology

Keywords

formal specification; high level synthesis; object-oriented methods; parallel languages; software engineering; POOSL; Parallel Object-Oriented Specification Language; SHE; formal language; hardware/software co-specification; object-oriented methods; system level methodology; Concrete; Consumer products; Design engineering; Design methodology; Identity-based encryption; Object oriented modeling; Specification languages; Switches; System-level design; Very large scale integration;

fLanguage

English

Publisher

ieee

Conference_Titel

VLSI '98. System Level Design. Proceedings. IEEE Computer Society Workshop on

Conference_Location

Orlando, FL

Print_ISBN

0-8186-8448-8

Type

conf

DOI

10.1109/IWV.1998.667107

Filename

667107