Assurance Evidence for Continuously-Evolving Real-Time Systems Workgroup ASERTW
Abstract
Motivation: Improve certification of continuously evolving real-time systems. Increase the certainty of correct operation. Reduce the time to achieve certification for each evolution
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 09, 2022
- Accession Number
- AD1187386
Entities
People
- Dionisio de Niz
Organizations
- Carnegie Mellon University