Verifying Next Generation Electronic Systems

被引：0

作者：

Drechsler, Rolf ^{[1
]}

Grosse, Daniel ^{[2
]}

机构：

[1] Univ Bremen, Inst Comp Sci, D-28359 Bremen, Germany

[2] DFKI GmbH, Cyber Phys Syst, D-28359 Bremen, Germany

来源：

2017 INTERNATIONAL CONFERENCE ON INFOCOM TECHNOLOGIES AND UNMANNED SYSTEMS (TRENDS AND FUTURE DIRECTIONS) (ICTUS) | 2017年

关键词：

SYMBOLIC MODEL CHECKING; FUNCTIONAL COVERAGE; FORMAL VERIFICATION;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

The application domains of electronic systems range from consumer devices to safety-critical systems. Of course, for systems of the latter areas a thorough verification is required. However, due to increasing complexity, verification is still the major bottleneck. Hence, new approaches are required. In this paper the state-of-the-art on verification is reported. Furthermore, recent developments are listed and finally the most pressing challenges for industry and academia are identified.

引用

页码：6 / 10

页数：5

共 50 条

[1] Thermal challenges in next generation electronic systems
Joshi, YK
Garimella, SV
[J]. MICROELECTRONICS JOURNAL, 2003, 34 (03) : 169 - 169
[2] Thermal Challenges in Next-Generation Electronic Systems
Garimella, Suresh V.
Fleischer, Amy S.
Murthy, Jayathi Y.
Keshavarzi, Ali
Prasher, Ravi
Patel, Chandrakant
Bhavnani, Sushil H.
Venkatasubramanian, R.
Mahajan, Ravi
Joshi, Y.
Sammakia, Bahgat
Myers, Bruce A.
Chorosinski, Len
Baelmans, Martine
Sathyamurthy, Prabhu
Raad, Peter E.
[J]. IEEE TRANSACTIONS ON COMPONENTS AND PACKAGING TECHNOLOGIES, 2008, 31 (04): : 801 - 815
[3] Disrupting Electronic Health Records Systems: The Next Generation
Celi, Leo Anthony
Marshall, Jeffrey David
Lai, Yuan
Stone, David J.
[J]. JMIR MEDICAL INFORMATICS, 2015, 3 (04)
[4] Verifying Bio-Electronic Systems
Heuer, Joseline
Krenz-Baath, Rene
Obermaisser, Roman
[J]. 2023 26TH INTERNATIONAL SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS AND SYSTEMS, DDECS, 2023, : 161 - 166
[5] ARIADNE - THE NEXT-GENERATION OF ELECTRONIC DOCUMENT DELIVERY SYSTEMS
ROES, H
DIJKSTRA, J
[J]. ELECTRONIC LIBRARY, 1994, 12 (01): : 13 - 20
[6] Electronic scheduling - Next generation
Mokhtari, S
[J]. 2001 POWER ENGINEERING SOCIETY SUMMER MEETING, VOLS 1-3, CONFERENCE PROCEEDINGS, 2001, : 407 - 408
[7] Contributions from thermal challenges in next generation electronic systems (THERMES)
Garimella, SV
Joshi, YK
[J]. IEEE TRANSACTIONS ON COMPONENTS AND PACKAGING TECHNOLOGIES, 2002, 25 (04): : 567 - 568
[8] Power management: Enabling technology for next-generation electronic systems
George, B
[J]. APEC 2001: SIXTEENTH ANNUAL IEEE APPLIED POWER ELECTRONICS CONFERENCE AND EXPOSITION, VOLS 1 AND 2, 2001, : 1 - 6
[9] Thermal challenges in next generation electronic systems - Summary of panel presentations and discussions
Garimella, SV
Joshi, YK
Bar-Cohen, A
Mahajan, R
Toh, KC
Carey, VP
Baelmans, M
Lohan, J
Sammakia, B
Andros, F
[J]. IEEE TRANSACTIONS ON COMPONENTS AND PACKAGING TECHNOLOGIES, 2002, 25 (04): : 569 - 575
[10] Smart Energy Systems Based on Next-Generation Power Electronic Devices
Hinov, Nikolay
[J]. TECHNOLOGIES, 2024, 12 (06)

← 1 2 3 4 5 →