Multi-level communication synthesis of heterogeneous multilanguage specification

被引：0

作者：

Hessel, F ^{[1
]}

Coste, P ^{[1
]}

Nicolescu, G ^{[1
]}

LeMarrec, P ^{[1
]}

Zergainoh, N ^{[1
]}

Jerraya, A ^{[1
]}

机构：

[1] TIMA Lab, F-38031 Grenoble, France

来源：

2000 IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS & PROCESSORS, PROCEEDINGS | 2000年

关键词：

D O I：

10.1109/ICCD.2000.878332

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

The complexity of modern embedded systems requires the cooperation of several reams belonging to different cultures and using different languages as well as the reuse of software, hardware and communication IP modules at the early design steps. The key issue for the design of such systems is the overall system validation and the synthesis of the communication between the different subsystems. In this paper, we focus on the problem of multi-level communication synthesis and show the results of the application of this methodology on an example. Designers get feedback at all design steps via the cosimulation engine that permits fast evaluation.

引用

页码：525 / 530

页数：6

共 50 条

[1] VFP - AN ENVIRONMENT FOR THE MULTI-LEVEL SPECIFICATION, ANALYSIS, AND SYNTHESIS OF HARDWARE ALGORITHMS
PATEL, D
SCHLAG, M
ERCEGOVAC, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 201 : 238 - 255
[2] Specification and Management of Methods - A Case for Multi-level Modelling
Frank, Ulrich
[J]. ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, 2019, 352 : 311 - 325
[3] Serialisable multi-level transaction control: A specification and verification
Borger, Egon
Schewe, Klaus-Dieter
Wang, Qing
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2016, 131 : 42 - 58
[4] Quality model for multi-level course specification and delivery
Garner, B
[J]. QUALITY EDUCATION (AT) A DISTANCE, 2003, 131 : 53 - 60
[5] Multi-level lines of communication extraction
Zavaljevski, A
Dhawan, AP
Sarwal, A
Kelch, DJ
Riddell, J
[J]. HYPERSPECTRAL REMOTE SENSING AND APPLICATIONS, 1996, 2821 : 244 - 255
[6] MLCCA - Multi-Level Composability Check Architecture for Dependable Communication over Heterogeneous Networks
Schulze, Michael
Lukas, Georg
[J]. 2009 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (EFTA 2009), 2009,
[7] A multi-level synthesis of dyslexia
Phoenix, Chris
[J]. UNIFYING THEMES IN COMPLEX SYSTEMS IV, 2008, : 100 - 112
[8] Multi-level modelling of heterogeneous micro materials
Kouznetsova, V
Brekelmans, WAM
Geers, MGD
Baaijens, FPT
[J]. MICRO MATERIALS, PROCEEDINGS, 2000, : 550 - 553
[9] A multi-level TCP model with heterogeneous RTTs
Lassila, P
Mandjes, M
[J]. NETWORKING 2004: NETWORKING TECHNOLOGIES, SERVICES, AND PROTOCOLS; PERFORMANCE OF COMPUTER AND COMMUNICATION NETWORKS; MOBILE AND WIRELESS COMMUNICATIONS, 2004, 3042 : 52 - 63
[10] Communication interface synthesis for multilanguage specifications
Hessel, F
Coste, P
LeMarrec, P
Zergainoh, N
Daveau, JM
Jerraya, AA
[J]. TENTH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEMS PROTOTYPING, PROCEEDINGS, 1999, : 15 - 20

← 1 2 3 4 5 →