CyPhyAssure: Compositional Safety Assurance for Cyber-Physical Systems

FOSTER, SIMON DAVID (Principal investigator)

Computer Science

Project: Research project (funded) › Research

Short title	CyPhyAssure
Acronym	CyPhyAssure
Status	Finished
Effective start/end date	1/06/18 → 31/07/21

Funding

EPSRC: £562,548.80

4 Conference contribution
2 Chapter (peer-reviewed)
2 Article
1 Poster

Formally verified animation for RoboChart using interaction trees
Ye, K., Woodcock, J. & Foster, S. D., 1 Feb 2024, In: Journal of Logical and Algebraic Methods in Programming. 137, 36 p., 100940.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Formally Verified Animation for RoboChart Using Interaction Trees
Ye, K., Foster, S. & Woodcock, J., 10 Oct 2022, Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Proceedings. Riesco, A. & Zhang, M. (eds.). Springer, p. 404-420 17 p. (Lecture Notes in Computer Science ; vol. 13478).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Probabilistic modelling and verification, and Animation in RoboChart
Ye, K., 11 Oct 2022.
Research output: Contribution to conference › Poster

Open Access
File

CyPhyAssure Spring School
Woodcock, J. (Participant)
19 Mar 2019 → 22 Mar 2019
Activity: Participating in or organising an event › Seminar/workshop/course
Huawei European Research Symposium
Woodcock, J. (Advisor)
16 Jan 2019 → 17 Jan 2019
Activity: Participating in or organising an event › Symposium

File