17 citations found. Retrieving documents...
T.B. Ismail, M. Abid, and A.A. Jerraya. COSMOS: a codesign approach for communicating systems. In Proceedings of the International Workshop on Hardware-Software Codesign, 1994.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
A Petri Net based Modeling and Verification Technique for.. - Cortes (2001)   (Correct)

....is separated from the rest of the design so that it can be optimized and reused. By focusing on efficient implementation and refinement of the communication units, SOLAR is best suited for communication driven design processes. SOLAR is the underlying model of the COSMOS design environment [Ism94]. Interacting Processes. This model consists of independent interacting sequential processes derived from CSP [Tho93] The communication is performed through channels but, unlike CSP, 17 there exist additional primitives that permit unbuffered transfer and synchronization without data. 3.1.4 ....

T. B. Ismail, M. Abid, and A. Jerraya, "COSMOS: A CoDesign Approach for Communicating Systems," in Proc. CODES/CASHE, 1994, pp. 17-24. 113


ProGram: A Grammar-Based Method for Specification and Hardware.. - Öberg (1999)   (Correct)

....of SIMS 94 Conference, pp 326 332, Stockholm, Aug. 17 19, 1994. 27] T. Lazraq, J. berg, H. Tenhunen, FPGA Basic ATM Traffic Shaper for Event Building Networks , In Proc of the 8th Annual IEEE International ASIC Conference and Exhibit (ASIC 95) pp 177 180, Austin, Texas, Sept. 18 22, 1995. [28] J. T.A. Waldemark, T. Lindblad, C. S. Lindsey, K. E. Waldemark, J. berg, M. Millberg, Pulse Coupled Neural Network implementation in FPGA , In Proc. of SPIE AreoSense 98, the Conference on Applications and Science of Computational Intelligence, Orlando, Florida USA, 13 17 April 1998. 29] M. ....

....be implemented either in hardware or in software. Interface synthesis must be performed between the partitioned tasks to enable them to communicate. Three types of communication is needed: Hw Hw communication, Hw Sw communication, and Sw Sw communication. COSMOS, presented by Ismail et al. in [28], is a method for modelling and synthesis of complex communicating systems. It takes a system description written in SDL and converts it to their internal representation, SOLAR. The system is then partitioned into DesignUnits that implements the behaviour and ChannelUnits that implements the ....

T.B. Ismail, M. Abid, A. Jerraya, "COSMOS: A CoDesign Approach for Communicating Systems", In Proc. of CODES'94, pp. 17-24, 1994.


Design of Embedded Systems: Formal Models.. - Edwards, Lavagno.. (1997)   (28 citations)  (Correct)

.... operation schedulability heuristic with look ahead Adams [103] HDL ( task profiling (SW) hand synthesis (HW) Eles [104] VHDL task profiling simulated annealing Luk [105] Ruby (HDL) operation rate matching hand hierarchy Steinhausen [106] CDFG (HDL, C) operation profiling hand Ben Ismail [107] communicating task hand processes Antoniazzi [108] FSMs task hand Chou [96] timing diagram operation time (SW) min cut area (HW) Gupta [56] 109] CDFG (HDL) operation time heuristic favors software solutions. Barros et al. 100] use a graph based fine grained representation, with each ....

....but synthesis is driven by a user defined structural description. ASIC synthesis is done with a commercial tool, while software synthesis, both for general purpose and specialized processors, is done with an existing retargetable compiler developed by Hoogerbrugge et al. 116] Ben Ismail et al. [107] and Voss et al. 117] start from a system specification described in SDL ( 118] The specification is then translated into the Solar internal representation, based on a hierarchical interconnection of communicating processes. Processes can be merged and split, and the hierarchy can be changed by ....

T.B. Ismail, M. Abid, and A.A. Jerraya, "COSMOS: a codesign approach for communicating systems," in Proc. of the Int. Workshop on HardwareSoftware Codesign, 1994.


IP-Centric Methodology And Design With The SpecC Language - .. - Gajski, Dömer, Zhu (1998)   (3 citations)  (Correct)

....19] Ptolemy models a design as a hierarchical network of heterogeneous subsystems and supports simultaneous simulation of multiple models of computation, such as for example synchronous data flow (SDF) On the other hand, several systems are mainly synthesis oriented. In this category, Cosmos [35, 18] targets at the development of multiprocessor architectures using a set of user guided transformations on the design. For the Cosyma [9, 16, 30] and the Lycos [26] system, the target architecture is an embedded micro architecture consisting of one processor with a coprocessor, e.g. an ASIC. ....

T. Ismail, M. Abid, A. Jerraya. "COSMOS: A Codesign Approach for Communicating Systems". In Proceedings of the International Workshop on Hardware- Software Codesign. IEEE CS Press, 1994.


Experimental Robotics - Wilberg, Siegberg (1998)   (Correct)

....design exploration, software generation, retargetable code generation, and top down system refinement. System design The development of agent networks is a complex task. It is successfully only if modern design technology is used. This requires tools for interface specification and cosimulation [28]. Ideally, much of this network software will be generated from visual development tools. Design patterns facilitate this type of automatic software generation. Tools for quantitative analysis of complex systems are used to tailor the system structure. A specific problem with autonomous agents is ....

....in modern design automation is codesign of hardware and software. One of the most prominent examples in this context is Ptolemy [8] It aims at integrating heterogenous simulation environments into a common so called universe. Combining cosimulation and interface synthesis is done in Cosmos [28]. Attempts of integrating performance analysis into the design tools is done in the UC Irvine environment [14] So far most case studies have focused on high volume markets like telecommunication or automotive systems [80] An example of applying modern design automation to the design of service ....

T. B. Ismail, M. Abid, and A. Jerraya. COSMOS: A codesign approach for communicating systems. In 3rd Int. Workshop on Hardware/Software Codesign, pages 17--24, Sept. 22-24, Grenoble, September 1994.


Efficient Exploration of the SoC Communication.. - Lahiri, Raghunathan, Dey (2000)   (12 citations)  (Correct)

....thus underlining its usefulness as part of any system design flow. B. Related Work There is a large body of work on system level synthesis of application specific architectures through HW SW partitioning and mapping of the application tasks onto pre designed cores and application specifichardware[1,2,3,4,5,6,7,8]. Whilemost C5 C1 C3 C2 C4 C6 C7 C8 (a) Example system of communicating components Bus2 I F Bridge Bus1 I F Bus1 I F C3 C2 Bus1 I F C4 Bus1 I F Bus1 I F C1 Bus2 I F C6 Bus2 I F C7 C5 Bus2 I F C8 Bus2 I F Bus 1 Bus 2 Bus2 I F Bridge Bus1 I F Bus1 I F C3 C2 Bus1 ....

T. B. Ismail, M. Abid, and M. Jerraya, "COSMOS:A codesign approach for a communicating system ," in Proc. IEEE International Workshop on Hardware /Software Codesign, pp. 17--24, 1994.


Embedded System Architectures - Ernst (1998)   (2 citations)  (Correct)

....and data flow optimization would be a worthwhile topic which goes beyond the work in data dominated systems which has been mentioned above. Related to this problem are communication channel selection and communication optimization. Component interface synthesis is already an active research topic [54, 55, 19]. Specialization for power minimization would clearly be another topic of interest. All problems should be approached under flexibility requirements. On the other hand, the classification of specialization techniques could be applied to support component selection and component reuse. In this ....

Ismail, T.D., Abid, M., Jerraya, A. (1994) COSMOS: A Codesign approach for communicating systems. Proc. Workshop on Hardware/Software Codesign (Codes) 94, 17-24.


Design of Embedded Systems: Formal Models.. - Edwards, Lavagno.. (1997)   (28 citations)  (Correct)

....schedulability heuristic with look ahead Adams [AST93] HDL ( task profiling (SW) hand synthesis (HW) Eles [EPD94] VHDL task profiling sim. anneal. Luk [LW94] Ruby (HDL) operation rate matching hand hierarchy Steinhausen [SCG 93] CDFG (HDL, C) operation profiling hand Ben Ismail [IAJ94] communicating task hand processes Antoniazzi [ABFS94] FSMs task hand Chou [CWB94] timing diagram operation time (SW) area (HW) min cut Gupta [GJM94] CDFG (HDL) operation time heuristic Table 3: A comparison of partitioning methods. 42 or hardware. Uncommitted blocks are assigned to ....

....is driven by a user defined structural description. ASIC synthesis is done with a commercial tool, while software synthesis, both for general purpose and specialized processors, is done with an existing retargetable compiler developed by Hoogerbrugge 44 et al. HC94] Ben Ismail et al. IAJ94] and Voss et al. VIJK94] start from a system specification described in SDL ( SSR89] The specification is then translated into the Solar internal representation, based on a hierarchical interconnection of communicating processes. Processes can be merged and split, and the hierarchy can be ....

T.B. Ismail, M. Abid, and A.A. Jerraya. COSMOS: a codesign approach for communicating systems. In Proceedings of the International Workshop on Hardware-Software Codesign, 1994.


Incremental Hardware Estimation during Hardware/Software.. - Frank Vahid (1995)   (10 citations)  (Correct)

....parameters needed by a hardware size estimator. As we shall see, we were able to do this by assuming that the granularity at which we partition the specification is at the procedural level (sometimes called the process or task level) as is the case in many new functional partitioning techniques [7, 8, 10, 11, 12, 13, 14, 15]. Our contribution is the development of this incremental hardware size estimation method, consisting of a new data structure and algorithm, that achieves the advantages of both classes of previous approaches, namely accuracy and speed. This paper is organized as follows. In Section 2, we describe ....

T. Ismail, M. Abid, and A. Jerraya, "COSMOS: A codesign approach for communicating systems," in International Workshop on Hardware-Software Co-Design, pp. 17--24, 1994.


A Synchronous Object Oriented Design Flow for Embedded.. - Plöger, Budde, Sylla   (Correct)

....is possible. The implementation under real time constraints is an aspect usually not directly supported in OO systems. This problem has been tackled by a number of researchers, though. Systems like Adept[KAJW96] Cathedral[VLM96] Castle[Str94] Chinook[COB95] Polis[BHJ 96] Cosmos[JAB94] Cosyma[EHB93] Lycos[MGK 97] or Vulcan[GdM96] all allow specification of timing bounds to generate complete hardware and software implementations from the input specification. They focus on HW SW co design with its typical questions of partitioning, HW selection or production, SW and ....

A. Jerraya, M. Abid, and T. B.Ismail. Cosmos: A codesign approach for communicating systems. In Third International Workshop on Hardware/Software Codesign, pages 17--24, Grenoble, France, 1994. IEEE Computer Society Press.


VLIW Processor Codesign for Video Processing - Wilberg, Camposano (1997)   (7 citations)  (Correct)

....power and the chip complexity are the main design topics. Table 1. Some references on different fields of ES design. The references are grouped according their main focus of interest. Topics References Specification, Verification ASAR [6] A.Benveniste, G. Berry [9] Codes [12] Cosmos [42] [49] Simulation Insulin [105] Ptolemy [13] 53] J.A. Rowson [93] B. Kerridge [56] Code Generation Capsys [5] Chess [58] CodeSyn [64] C. Monahan, F. Brewster [70] MOVE [36] Oscar [57] PEAS 1 [2] Analysis ADAM [48] X. Hu [37] J. Gong, et al. 29] Partitioning Cosyma [21] 34] A. ....

T. B. Ismail, M. Abid, and A. Jerraya. COSMOS: A codesign approach for communicating systems. In 3rd Int. Workshop on Hardware/Software Codesign, pages 17--24, Sept. 22-24, Grenoble, September 1994.


Codesign for Real-Time Video Applications - Wilberg (1996)   (1 citation)  (Correct)

....within these specifications. Typically synchronous languages [ 18] 70] like Lustre [ 71] Esterel [ 24] and StateChart [ 73] or synchronous subsets of existing HDLs (e.g. VHDL in [ 15] can be used. Some design tools use this specification paradigm. Examples include ASAR [ 11] Cosmos [ 93] [ 102] Codes [ 25] ASAR defines a framework for codesign. The specification is written in Signal, Lustre, etc. A hardware software partitioning is performed. Structural VHDL is generated for the hardware part and C code is generated for the software part. Cosmos translates specifications, ....

T. B. Ismail, M. Abid, and A. Jerraya. COSMOS: A codesign approach for communicating systems. In 3rd Int. Workshop on Hardware/Software Codesign, pages 17--24, Sept. 22-24, Grenoble, September 1994. 178 CODESIGN FOR REAL-TIME VIDEO APPLICATIONS


LYCOS: the Lyngby Co-Synthesis System - Madsen, Grode, Knudsen, Petersen, .. (1997)   (12 citations)  (Correct)

....and software needed for inter process communication which is a difficult task as the different components may not initially fit very well together. Research in distributed system co synthesis has recently recieved a lot of attention, for instance by Wolf and Ti Yen [49] 50] and by Jerraya et al. [29]. From the discussion on related work it becomes evident that there are two major directions for hardware software partitioning methods; Automatic partitioning which in almost all cases means a restricted target architecture, i.e. one CPU and one or maybe a few ASICs, and manual partitioning ....

T.B. Ismail, M. Abid, and A. Jerraya. COSMOS: A codesign approach for communicating systems. In Third International Workshop on Hardware/Software Codesign, pages 17--24. IEEE Computer Society Press, 1994. 43


Embedded System Co-Design: Synthesis And Verification - Luciano Lavagno Dipartimento (1995)   (5 citations)  (Correct)

No context found.

T.B. Ismail, M. Abid, and A.A. Jerraya. COSMOS: a codesign approach for communicating systems. In Proceedings of the International Workshop on Hardware-Software Codesign, 1994.


System-Level Performance Analysis for Designing On-Chip.. - Lahiri, Raghunathan (2001)   (19 citations)  (Correct)

No context found.

T. B. Ismail, M. Abid, and M. Jerraya, "COSMOS: A codesign approach for a communicating system," Proc. IEEE Int. Workshop Hardware/Software Codesign, pp. 17--24, Sept. 1994.


Codesign of Embedded Systems: Status and Trends - Ernst (1998)   (26 citations)  (Correct)

No context found.

T.D. Ismail, M. Abid, and A. Jerraya, "COSMOS: A Codesign Approach for Communicating Systems," Proc. Int'l Work. Hardware-Software Codesign, IEEE CS Press, 1994, pp. 17-24.


A Design Example Using CASTLE - Plöger, Wilberg   (Correct)

No context found.

T. B. Ismail, M. Abid, A. Jerraya: "COSMOS: A CoDesign Approach for Communicating Systems", 3rd Int. Workshop on Hardware/Software Codesign, Sept. 22-24, Grenoble, pp. 17-24, 1994.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC