共 50 条
- [1] Runtime adaptation in safety-critical automotive systems PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2007, : 308 - +
- [2] Online Synthesis for Runtime Enforcement of Safety in Multiagent Systems IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 2021, 8 (02): : 621 - 632
- [5] Runtime Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems IEEE CONTROL SYSTEMS MAGAZINE, 2023, 43 (02): : 28 - 65
- [7] Models to calculate Safety and Reliability Parameters for Embedded Systems 2009 XXII INTERNATIONAL SYMPOSIUM ON INFORMATION, COMMUNICATION AND AUTOMATION TECHNOLOGIES, 2009, : 29 - 36
- [8] Safety requirements specification on open distributed systems SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, : 320 - 326
- [10] Deterministic Executable Models Verified Efficiently at Runtime An Architecture for Robotic and Embedded Systems MODELSWARD: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2017, : 29 - 40