COSMOS: a codesign approach for communicating systems

Author

Ismail, T.B. ; Abid, Mohamed ; Jerraya, Ahmed

Author_Institution

TIMA, Inst. Nat. Polytech. de Grenoble

fYear

1994

fDate

22-24 Sep 1994

Firstpage

17

Lastpage

24

Abstract

This paper presents COSMOS, a method for modeling and synthesis of complex communicating systems. COSMOS starts from a system-level specification based on an extended finite state machine model allowing for the specification of complex protocols. System-level synthesis is composed of three tasks: partitioning systems into inter-dependent sub-systems, inter-sub-system communication synthesis and architecture generation. The output is a flexible architecture model which includes both hardware and software components. The paper concerns a set of parallel processors communicating through well defined protocols

Keywords

formal specification; multiprocessor interconnection networks; parallel architectures; protocols; systems analysis; COSMOS; architecture generation; codesign approach; communicating systems; complex communicating systems; complex protocols; extended finite state machine model; flexible architecture model; hardware; inter-dependent subsystems; inter-subsystem communication synthesis; modeling; parallel processors; partitioning systems; software; specification; synthesis; system-level specification; system-level synthesis; well defined protocols; Application specific integrated circuits; Computer architecture; Delay; Design methodology; Distributed computing; Hardware; Laboratories; Process design; Protocols; Software design;

fLanguage

English

Publisher

ieee

Conference_Titel

Hardware/Software Codesign, 1994., Proceedings of the Third International Workshop on

Conference_Location

Grenoble

Print_ISBN

0-8186-6315-4

Type

conf

DOI

10.1109/HSC.1994.336727

Filename

336727