参考文献

[1]Lee E,Seshia S.Introduction to embedded systems:a cyber-physical systems approach.MIT Press,2016.

[2]Bliudze S,Furic S,Sifakis J,et al.Rigorous design of cyber-physical systems—linking physicality and computation.Software&Systems Modeling,2017.

[3]Sifakis J.Understanding and changing the world—from information to knowledge and intelligence.Springer,2022.

[4]Oshana R,Kraeling M.Software engineering for embedded systems:methods,practical techniques,and applications.Newnes,USA,2013.

[5]Cobleigh J,Avrunin G,Clarke L.Breaking up is hard to do:an evaluation of automated assume-guarantee reasoning.ACM Transactions on Software Engineering and Methodology,2008,17(2).

[6]Kuncak V,Mayer M,Piskac R,et al.Software synthesis procedures.Communication of ACM,2012,55(2):103-111.

[7]Derler P,Lee E,Sangiovanni-Vincentelli A.Modeling cyber-physical systems.Proceedings of the IEEE,2012,100(1):13-28.

[8]Alsaqqa S,Sawalha S,Abdel-Nabi H.Agile software development:methodologies and trends.International Journal of Interactive Mobile Technologies,2020. uoj/6jq4ff5yrsrKJ48SouDDBW/ONiXK4UfKU7tB/x445NUeUS84IYypyMwYPrrA