Single Source Design Environment for Embedded Systems Based on SystemC

Calculating the maximum execution time of real-time programs

Peter Puschner, C. Koza · Real-Time Systems · 1989 · 582 citations

Computing, Computer Engineering, Computer Science +14

Design of embedded systems: formal models, validation, and synthesis

Stephen A. Edwards, Luciano Lavagno, Edward A. Lee et al. · Proceedings of the IEEE · 1997 · 525 citations

Engineering, Computer Engineering, Computer Science +12

Platform-based design and software design methodology for embedded systems

Alberto Sangiovanni‐Vincentelli, Grant Martín · IEEE Design & Test of Computers · 2001 · 385 citations

Engineering, Computer Science, Systems Engineering +15

2001 technology roadmap for semiconductors

AJ Allan, D. Edenfeld, William H. Joyner et al. · Computer · 2002 · 259 citations

Management, Electrical Engineering, Technology Management +15

What's ahead for embedded software?

Edward A. Lee · Computer · 2000 · 234 citations

Engineering, Computer Science, Systems Engineering +17