Code-level timing analysis of embedded software

Proceedings of the tenth ACM international conference on Embedded software - EMSOFT '12 ◽

10.1145/2380356.2380386 ◽

2012 ◽

Author(s):

Heiko Falk ◽

Kevin Hammond ◽

Kim G. Larsen ◽

Björn Lisper ◽

Stefan M. Petters

Keyword(s):

Timing Analysis ◽

Embedded Software

Get full-text (via PubEx)

Automated source code annotation for timing analysis of embedded software

2012 18th International Conference on Advanced Computing and Communications (ADCOM) ◽

10.1109/adcom.2012.6563578 ◽

2012 ◽

Cited By ~ 4

Author(s):

Mabel Mary Joy ◽

Markus Becker ◽

Wolfgang Mueller ◽

Emi Mathews

Keyword(s):

Timing Analysis ◽

Source Code ◽

Embedded Software

Get full-text (via PubEx)

Static timing analysis of embedded software on advanced processor architectures

Proceedings of the conference on Design, automation and test in Europe - DATE '00 ◽

10.1145/343647.343846 ◽

2000 ◽

Cited By ~ 9

Author(s):

A. Hergenhan ◽

W. Rosenstiel

Keyword(s):

Timing Analysis ◽

Embedded Software ◽

Static Timing Analysis ◽

Static Timing ◽

Processor Architectures

Get full-text (via PubEx)

Static Timing Analysis Of Embedded Software

Proceedings of the 34th Design Automation Conference ◽

10.1109/dac.1997.597134 ◽

2005 ◽

Cited By ~ 33

Author(s):

S. Malik ◽

M. Martonosi ◽

Yau-Tsun Steven Li

Keyword(s):

Timing Analysis ◽

Embedded Software ◽

Static Timing Analysis ◽

Static Timing

Get full-text (via PubEx)

A software tool for the timing analysis of embedded software

2000 10th Mediterranean Electrotechnical Conference. Information Technology and Electrotechnology for the Mediterranean Countries. Proceedings. MeleCon 2000 (Cat. No.00CH37099) ◽

10.1109/melcon.2000.880043 ◽

2005 ◽

Cited By ~ 2

Author(s):

G. Luculli ◽

A. Sangiovanni-Vincentelli

Keyword(s):

Timing Analysis ◽

Software Tool ◽

Embedded Software

Get full-text (via PubEx)

Timing analysis of embedded software for speculative processors

15th International Symposium on System Synthesis, 2002. ◽

10.1145/581199.581229 ◽

2002 ◽

Cited By ~ 9

Author(s):

Tulika Mitra ◽

Abhik Roychoudhury ◽

Xianfeng Li

Keyword(s):

Timing Analysis ◽

Embedded Software

Get full-text (via PubEx)

Related Work in Timing Analysis for Embedded Software

Performance Analysis of Real-Time Embedded Software ◽

10.1007/978-1-4615-5131-7_2 ◽

1999 ◽

pp. 11-22

Author(s):

Yau-Tsun Steven Li ◽

Sharad Malik

Keyword(s):

Timing Analysis ◽

Embedded Software

Get full-text (via PubEx)

Static timing analysis of embedded software on advanced processor architectures

Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537) ◽

10.1109/date.2000.840840 ◽

2002 ◽

Cited By ~ 10

Author(s):

A. Hergenhan ◽

W. Rosenstiel

Keyword(s):

Timing Analysis ◽

Embedded Software ◽

Static Timing Analysis ◽

Static Timing ◽

Processor Architectures

Get full-text (via PubEx)

Static timing analysis of embedded software

Proceedings of the 34th annual conference on Design automation conference - DAC '97 ◽

10.1145/266021.266052 ◽

1997 ◽

Cited By ~ 18

Author(s):

Sharad Malik ◽

Margaret Martonosi ◽

Yau-Tsun Steven Li

Keyword(s):

Timing Analysis ◽

Embedded Software ◽

Static Timing Analysis ◽

Static Timing

Get full-text (via PubEx)

Translating timing requirements of Embedded Software systems modeled in Simulink to a timing analysis model

2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA) ◽

10.1109/etfa.2016.7733662 ◽

2016 ◽

Cited By ~ 1

Author(s):

Padma Iyenghar ◽

Arne Noyer ◽

Joachim Engelhardt ◽

Elke Pulvermueller

Keyword(s):

Timing Analysis ◽

Embedded Software ◽

Software Systems ◽

Analysis Model

Get full-text (via PubEx)

Component-based Timing Analysis for Embedded Software Components in Cyber-Physical Systems

2020 9th Mediterranean Conference on Embedded Computing (MECO) ◽

10.1109/meco49872.2020.9134177 ◽

2020 ◽

Author(s):

Haoxuan Li ◽

Ken Vanherpen ◽

Peter Hellinckx ◽

Siegfried Mercelis ◽

Paul de Meulenaere

Keyword(s):

Timing Analysis ◽

Embedded Software ◽

Cyber Physical Systems ◽

Software Components ◽

Physical Systems

Get full-text (via PubEx)