TY - GEN
T1 - Design synthesis and optimization for automotive embedded systems
AU - Zhu, Qi
AU - Deng, Peng
PY - 2014
Y1 - 2014
N2 - Embedded software and electronics are major contributors of values in vehicles, and play a dominant role in vehicle innovations. The design of automotive embedded systems has become more and more challenging, with the rapid increase of system complexity and more requirements on various design objectives. Methodologies such as model-based design are being adopted to improve design quality and productivity through the usage of functional models. However, there is still a significant lack of design automation tools, in particular synthesis and optimization tools, that can turn complex functional specifications to correct and optimal software implementations on distributed embedded platforms. In this paper, we discuss some of the major technical challenges and the problems to be solved in automotive embedded systems design, especially for the synthesis and optimization of embedded software.
AB - Embedded software and electronics are major contributors of values in vehicles, and play a dominant role in vehicle innovations. The design of automotive embedded systems has become more and more challenging, with the rapid increase of system complexity and more requirements on various design objectives. Methodologies such as model-based design are being adopted to improve design quality and productivity through the usage of functional models. However, there is still a significant lack of design automation tools, in particular synthesis and optimization tools, that can turn complex functional specifications to correct and optimal software implementations on distributed embedded platforms. In this paper, we discuss some of the major technical challenges and the problems to be solved in automotive embedded systems design, especially for the synthesis and optimization of embedded software.
KW - Automotive embedded systems
KW - Design automation
KW - Software synthesis and optimization
UR - http://www.scopus.com/inward/record.url?scp=84899701407&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84899701407&partnerID=8YFLogxK
U2 - 10.1145/2560519.2565873
DO - 10.1145/2560519.2565873
M3 - Conference contribution
AN - SCOPUS:84899701407
SN - 9781450325929
T3 - Proceedings of the International Symposium on Physical Design
SP - 141
EP - 148
BT - ISPD 2014 - Proceedings of the 2014 ACM International Symposium on Physical Design
PB - Association for Computing Machinery
T2 - 2014 ACM International Symposium on Physical Design, ISPD 2014
Y2 - 30 March 2014 through 2 April 2014
ER -