If you made any changes in Pure, your changes will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the expert's scholarly documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 20 Similar Profiles
Real time systems Engineering & Materials Science
Scheduling Engineering & Materials Science
Real-time Mathematics
Communication Engineering & Materials Science
Avionics Engineering & Materials Science
Embedded systems Engineering & Materials Science
Real time control Engineering & Materials Science
Control systems Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1983 2020

A framework for supporting the development of verifiably safe medical best practice guideline systems

Guo, C., Fu, Z., Zhang, Z., Ren, S. & Sha, L., Mar 2020, In : Journal of Systems Architecture. 104, 101693.

Research output: Contribution to journalArticle

Codes (standards)
Identification (control systems)
Formal verification

A Container-based DoS Attack-Resilient Control Framework for Real-Time UAV Systems

Chen, J., Feng, Z., Wen, J. Y., Liu, B. & Sha, L. R., May 14 2019, Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019. Institute of Electrical and Electronics Engineers Inc., p. 1222-1227 6 p. 8714888. (Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Denial of Service
Unmanned aerial vehicles (UAV)
Container
Containers
Attack

Decision-driven scheduling

Kim, J. E., Abdelzaher, T., Sha, L., Bar-Noy, A., Hobbs, R. L. & Dron, W., Jul 15 2019, In : Real-Time Systems. 55, 3, p. 514-551 38 p.

Research output: Contribution to journalArticle

Event-driven
Scheduling
Sensor
Periodic Tasks
Sensors

Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts

Guo, C., Fu, Z., Zhang, Z., Ren, S. & Sha, L., Aug 2019, In : IEEE Internet of Things Journal. 6, 4, p. 6276-6284 9 p., 8521661.

Research output: Contribution to journalArticle

Communication
Semantics
Laser surgery
Rapid prototyping
Cyber Physical System

A cyber-physical system framework for early detection of paroxysmal diseases

Gu, Z., Jiang, Y., Zhou, M., Gu, M., Song, X. & Sha, L., Jun 23 2018, In : IEEE Access. 6, p. 34834-34845 12 p.

Research output: Contribution to journalArticle

Medicine
Cyber Physical System