Title :
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
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;
Conference_Titel :
VLSI '98. System Level Design. Proceedings. IEEE Computer Society Workshop on
Conference_Location :
Orlando, FL
Print_ISBN :
0-8186-8448-8
DOI :
10.1109/IWV.1998.667107
