andyxieyong的博客

2022年11月22日，《中国汽车基础软件信息安全研究报告1.0》在 “2022智能汽车安全守护者大会”正式发布。中国汽车工业协会软件分会理事长单位、AUTOSEMO轮值主席单位、中汽创智信息安全首席技术官胡红星博士代表AUTOSEMO发布了《中国汽车基础软件信息安全研究报告1.0》。

2018年的最新资料“Challenges towards new software platform for automated driving and high computational ECU's-18”，关于丰田汽车电子E/E架构、汽车电子软件、ECU集成化等方面的最新发展趋势。

Series: Lecture Notes in Computer Science Subseries: Theoretical Computer Science and General Issues , Vol. 5000 Grumberg, Orna; Veith, Helmut (Eds.) 2008, VII, 231 p., Softcover ISBN: 978-3-540-69849-4 About this book Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems. This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, includes a collection of 11 invited papers based on talks at the symposium "25 Years of Model Checking", 25MC, which was part of the 18th International Conference on Computer Aided Verification (CAV 2006), which in turn was part of the Federated Logic Conference (FLoC 2006) held in Seattle, WA, USA, in August 2006. Model checking is currently attracting considerable attention beyond the core technical community, and the ACM Turing Award 2007 was given in recognition of the paradigm-shifting work on this topic initiated a quarter century ago. Here we honor that achievement with the inclusion of facsimile reprints of the visionary papers on model checking by Edmund Clarke and Allen Emerson, and by Jean-Pierre Queille and Joseph Sifakis.

Embedded Systems Dictionary by Jack Ganssle and Michael Barr ISBN:1578201209 CMP Books © 2003 (291 pages) This dictionary defines the meaning and usage of 2,800 of the most-used terms in embedded systems in a way that serves technical and non-technical audiences alike.