Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/11/18 → 30/04/23 |
Funding
- EUROPEAN COMMISSION: £901,994.82
-
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems
Wei, R., Foster, S. D., Mei, H., Yan, F., Yang, R., Habli, I., O'Halloran, C., Tudor, N., Kelly, T. & Nemouchi, Y., 1 Jul 2024, In: Journal of Systems and Software. 213, 0164-1212, 23 p., 112034.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Systematic Situation Coverage versus Random Situation Coverage for Safety Testing in an Autonomous Car Simulation
Proma, N. M. & Alexander, R., 20 Oct 2023, LADC 2023: 12th Latin-American Symposium on Dependable and Secure Computing. ACM, p. 208-213 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Generation and Verification of Executable Assurance Case by Model-based Engineering
Yan, F., 14 Feb 2022, 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). IEEE, p. 323-326 (IEEE International Symposium on Software Reliability Engineering Workshops).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile
Activities
- 2 Academic