JOURNAL ARTICLE

Timing coverification of concurrent embedded real-time systems

Abstract

Article Free Access Share on Timing coverification of concurrent embedded real-time systems Author: Pao-Ann Hsiung Institute of Information Science, Taipei, Taiwan Institute of Information Science, Taipei, TaiwanView Profile Authors Info & Claims CODES '99: Proceedings of the seventh international workshop on Hardware/software codesignMarch 1999Pages 110–114https://doi.org/10.1145/301177.301501Published:01 March 1999Publication History 7citation217DownloadsMetricsTotal Citations7Total Downloads217Last 12 Months9Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF

Keywords:
Computer science Embedded system

Metrics

16
Cited By
3.64
FWCI (Field Weighted Citation Impact)
19
Refs
0.92
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
Embedded Systems Design Techniques
Physical Sciences →  Computer Science →  Hardware and Architecture
Real-Time Systems Scheduling
Physical Sciences →  Computer Science →  Hardware and Architecture

Related Documents

JOURNAL ARTICLE

Timing coverification of concurrent embedded real-time systems

P.-A. Hsiung

Year: 2003 Vol: 1019 Pages: 110-114
JOURNAL ARTICLE

Hardware-software timing coverification of concurrent embedded real-time systems

Pao‐Ann Hsiung

Journal:   IEE Proceedings - Computers and Digital Techniques Year: 2000 Vol: 147 (2)Pages: 83-83
JOURNAL ARTICLE

Estimating probabilistic timing performance for real-time embedded systems

Xiaobo Sharon HuTao ZhouEdwin H.‐M. Sha

Journal:   IEEE Transactions on Very Large Scale Integration (VLSI) Systems Year: 2001 Vol: 9 (6)Pages: 833-844
DISSERTATION

Timing Predictable Execution for Heterogeneous Embedded Real-Time Systems

Björn Forsberg

University:   Repository for Publications and Research Data (ETH Zurich) Year: 2021
© 2026 ScienceGate Book Chapters — All rights reserved.