Zobrazeno 1 - 10
of 25
pro vyhledávání: '"Jiexiang Kang"'
Publikováno v:
International Journal of Aerospace Engineering, Vol 2020 (2020)
When performing a search and rescue mission, unmanned aerial vehicles (UAVs) should continuously search targets above the mission area. In order to transfer the search and rescue information quickly and efficiently, two types of UAVs, the ferrying UA
Externí odkaz:
https://doaj.org/article/fc1933ddc75040d788e1fecb34c37843
Publikováno v:
International Journal of Software Engineering and Knowledge Engineering. 31:1761-1781
Model checking is a verification technique that explores all possible system states in a brute-force manner. However, the state space can be extremely large for many practical systems and the verification time grows exponentially with the size of sys
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6e8a9c42e5186244857a1dd6e70ab8e1
https://doi.org/10.1142/s0218194021400210
https://doi.org/10.1142/s0218194021400210
Publikováno v:
2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::937ae86f6ec2037b38fd2b08f6c937e7
https://doi.org/10.1109/qrs57517.2022.00046
https://doi.org/10.1109/qrs57517.2022.00046
Publikováno v:
Lecture Notes in Electrical Engineering ISBN: 9789811903854
Lecture Notes in Electrical Engineering ISBN: 9789811903892
Lecture Notes in Electrical Engineering ISBN: 9789811903892
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3de54ff0280ef8a5dc2422a3b3c96aa9
https://doi.org/10.1007/978-981-19-0386-1_38
https://doi.org/10.1007/978-981-19-0386-1_38
Autor:
Runhao Wang, Jiexiang Kang, Wei Yin, Hui Wang, Haiying Sun, Xiaohong Chen, Zhongjie Gao, Shuning Wang, Jing Liu
Publikováno v:
2021 IEEE 20th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a09cae77f5e74b665f085693fdb45e03
https://doi.org/10.1109/trustcom53373.2021.00042
https://doi.org/10.1109/trustcom53373.2021.00042
Publikováno v:
COMPSAC
Cyber-physical System (CPS) represents a system that tightly integrates computation, communication, and physical processes. As an effective modeling language, AADL is often applied for real-time and embedded systems. However, AADL has limitations in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::20fb84c3cd412c76a3c20e00526f82de
https://doi.org/10.1109/compsac51774.2021.00120
https://doi.org/10.1109/compsac51774.2021.00120
Publikováno v:
ISPA/BDCloud/SocialCom/SustainCom
Code Smell refers to suboptimal or harmful structures in the source code that may impede the maintainability of software. It serves as an effective way to detect refactoring opportunities. As the most prevailing smell, Feature Envy and its detection
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d3306d889ed8e8cca39bebd53e1b411e
https://doi.org/10.1109/ispa-bdcloud-socialcom-sustaincom51426.2020.00082
https://doi.org/10.1109/ispa-bdcloud-socialcom-sustaincom51426.2020.00082
Publikováno v:
QRS
Combining spatial and temporal primitives together is quite useful to specify dynamic behaviors of cyber-physical systems. The ability to represent spatiotemporal properties by means of formulas in spatiotemporal logics has recently found important a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7ead05377385fe26bc0e61115ca642b1
https://doi.org/10.1109/qrs51102.2020.00048
https://doi.org/10.1109/qrs51102.2020.00048
Publikováno v:
APSEC
We study the use of Multiform Logical Time, as embodied in Esterel/SyncCharts and Clock Constraint Specification Language (CCSL), for the specification of assume-guarantee constraints providing safe driving rules related to time and space, in the con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c98be63cd644e2c29d2231558707d8a4
https://doi.org/10.1109/apsec51365.2020.00050
https://doi.org/10.1109/apsec51365.2020.00050
Publikováno v:
APSEC
Analysis of spatial behaviors of safety-critical systems attracts more and more attention in the filed of cyber physical systems and image processing. The major problem is expressiveness and verifiability for modeling and analysis of spatial behavior
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7a5303fee97e5c953b013b9d8d1b8c30
https://doi.org/10.1109/apsec51365.2020.00025
https://doi.org/10.1109/apsec51365.2020.00025