System level design methodology

被引：1

作者：

van der Putten, PHA ^{[1
]}

Voeten, JPM ^{[1
]}

Geilen, MCW ^{[1
]}

Stevens, MPJ ^{[1
]}

机构：

[1] Eindhoven Univ Technol, Sect Informat & Commun Syst, NL-5600 MB Eindhoven, Netherlands

来源：

IEEE COMPUTER SOCIETY WORKSHOP ON VLSI '98 - SYSTEM LEVEL DESIGN, PROCEEDINGS | 1998年

关键词：

D O I：

10.1109/IWV.1998.667107

中图分类号：

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

学科分类号：

0812 ;

摘要：

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 rewards research on system level methodology.

引用

页码：11 / 16

页数：6

共 50 条

[31] An optimized system level design methodology for an opto-electronic transceiver module
Morris, W
Langari, A
2002 INTERNATIONAL SYMPOSIUM ON MICROELECTRONICS, PROCEEDINGS, 2002, 4931 : 942 - 946
[32] Application of a system-level HW/SW co-design methodology to an industrial embedded system
Galassi, Alberto
Pomante, Luigi
Nardocci, Vitaliano
2024 13TH MEDITERRANEAN CONFERENCE ON EMBEDDED COMPUTING, MECO 2024, 2024, : 64 - 70
[33] A DESIGN METHODOLOGY FOR SYSTEM QUALITY
OPFERMAN, DC
YACOBELLIS, RH
AT&T TECHNICAL JOURNAL, 1986, 65 (03): : 60 - 72
[34] The methodology for system integrity in design
Raine, JK
Pons, D
Whybrew, K
DESIGN MANAGEMENT - PROCESS AND INFORMATION ISSUES, 2001, : 569 - 576
[35] EXPERT SYSTEM - A DESIGN METHODOLOGY
MERCHANT, AN
COMPUTERS ENVIRONMENT AND URBAN SYSTEMS, 1992, 16 (01) : 21 - 41
[36] System level modeling methodology of NoC design from UML-MARTE to VHDL
Majdi Elhaji
Pierre Boulet
Abdelkrim Zitouni
Samy Meftali
Jean-Luc Dekeyser
Rached Tourki
Design Automation for Embedded Systems, 2012, 16 : 161 - 187
[37] A Platform-Based Methodology for System-Level Mixed-Signal Design
Nuzzo, Pierluigi
Sun, Xuening
Wu, Chang-Ching
De Bernardinis, Fernando
Sangiovanni-Vincentelli, Alberto
EURASIP JOURNAL ON EMBEDDED SYSTEMS, 2010, (01)
[38] A METHODOLOGY FOR SUPPORTING SYSTEM-LEVEL DESIGN SPACE EXPLORATION AT HIGHER LEVELS OF ABSTRACTION
Dedic, Joze
Finc, Matjaz
Trost, Andrej
JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 2008, 17 (04) : 703 - 727
[39] Symbolic system-level design methodology for multi-mode reconfigurable systems
Stefan Wildermann
Felix Reimann
Daniel Ziener
Jürgen Teich
Design Automation for Embedded Systems, 2013, 17 : 343 - 375
[40] An MPEG-2 decoder case study as a driver for a system level design methodology
van der Wolf, P
Lieverse, P
Goel, M
La Hei, D
Vissers, K
PROCEEDINGS OF THE SEVENTH INTERNATIONAL WORKSHOP ON HARDWARE/SOFTWARE CODESIGN (CODES'99), 1999, : 33 - 37

← 1 2 3 4 5 →