[1] |
FRANK ALLGÖWER, JOÃO BORGES DE SOUSA, JAMES KAPINSKI, et al. Position paper on the challenges posed by modern applications to cyber-physical systems theory[J]. Nonlinear Analysis:Hybrid Systems, 2019, 34: 147-165. doi: 10.1016/j.nahs.2019.05.007
|
[2] |
HUANG X, DONG J. Reliable control policy of cyber-physical systems against a class of frequency-constrained sensor and actuator attacks[J]. IEEE Transactions on Cybernetics, 2018, 48(12): 3432-3439. doi: 10.1109/TCYB.2018.2815758
|
[3] |
NAKAJIMA S, TALPIN J P, TOYOSHIMA M, et al. Cyber-Physical System Design from an Architecture Analysis Viewpoint[M]. UK: Springer Singapore, 2017.
|
[4] |
ABDELHAKIM B, OTMANE AIT M, DJAMAL B, et al. Safety analysis of train control system based on model-driven design methodology[J]. Journal of Computers in Industry, 2019, 105: 1-16. doi: 10.1016/j.compind.2018.10.007
|
[5] |
TEKINERDOGAN B, AKSIT M. Introducing the concept of synthesis in the software architecture design process[J]. Journal of Integrated Design & Process Science, 2006, 10(1): 45-56.
|
[6] |
DU D H, HUANG P, JIANG K Q, et al. pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in cyber physical systems[J]. Science of Computer Programming, 2018, 166: 71-88. doi: 10.1016/j.scico.2018.05.005
|
[7] |
BRUGALI D. Modeling and analysis of safety requirements in robot navigation with an extension of UML MARTE[C]//2018 IEEE International Conference on Real-time Computing and Robotics(RCAR). Maldives: IEEE, 2018: 439-444.
|
[8] |
WEI X, DONG Y, XIAO M. Safety-based software reconfiguration method for integrated modular avionics systems in AADL model[C]//2018 IEEE International Conference on Software Quality, Reliability and Security Companion(RQS). Lisbon, Portugal: IEEE, 2018: 450-455.
|
[9] |
SZMUC W, SZMUC T. Towards embedded systems formal verification translation from SysML into Petri nets[C]//25th International Conference on Mixed Design of Integrated Circuits and System. Gdynia, Poland: IEEE, 2018: 420 - 423.
|
[10] |
BALI R S, KUMAR N. Learning automata-assisted predictive clustering approach for vehicular cyber-physical system[J]. Journal of Computers and Electrical Engineering, 2016, 52(C): 82-97.
|
[11] |
NUNO C, JOSE M, FIOMENA S, et al. Simulation of cyber physical systems behavior using timed plant models[J]. Journal of Mechatronics, 2018, 54: 175-185. doi: 10.1016/j.mechatronics.2017.10.009
|
[12] |
LIU X, ZHANG J, ZHU P. Modeling cyber-physical attacks based on probabilistic colored Petri nets and mixed-strategy game theory[J]. International Journal of Critical Infrastructure Protection, 2017, 16(3): 13-25.
|
[13] |
JIA W, FEI Y, LIU J. Effectiveness proving and control of platoon-based vehicular cyber-physical systems[J]. IEEE Access, 2018, 6: 21140-21151. doi: 10.1109/ACCESS.2018.2800404
|
[14] |
BERNARDESCHI C, DOMENICI A, MASCI P. A PVS-Simulink integrated environment for model-based analysis of cyber-physical systems[J]. IEEE Transactions on Software Engineering, 2018, 44(6): 512-533. doi: 10.1109/TSE.2017.2694423
|
[15] |
LALROPUIA K C, VANDANA G. Modeling cyber-physical attacks based on stochastic game and Markov processes[J]. Journal of Reliability Engineering and System Safety, 2019, 181: 28-37. doi: 10.1016/j.ress.2018.08.014
|
[16] |
HE X D, YU H Q, SHI T J, et al. Formally specifying and analyzing software architectural specifications using SAM[J]. Journal of Systems and Software, 2004, 71(1/2): 11-29.
|
[17] |
KICZALES G, LAMPING J, MENDHEKAR A, et al. Aspect-oriented programming[C]//European Conference on Object-Oriented Programming (ECOOP). UK: Springer- Verlag, 1997: 220-242.
|
[18] |
XIANG F, NAZARAF S, NANDOR V, et al. CPS data streams analytics based on machine learning for cloud and fog computing: A survey[J]. Journal of Future Generation Computer Systems, 2019, 90: 435-450. doi: 10.1016/j.future.2018.06.042
|