| Tools, Evidence, Arguments and Standards |
|
| Proofs as Highest-Quality Evidence for Certification |
|
| Ninth Software Certification Consortium Meeting |
|
| Model-Based Assurance Challenges for Self-Driving Cars |
|
| Wassyng - Overcoming Challenges in Certification of Model-Based Design of Cyber-Physical Systems |
|
| Certification and Regulation of Software-Intensive Systems |
|
| Security as an Issue for Medical-Device Software |
|
| Systems and Software Engineering Standards for the Automotive Domain |
|
| Safety Certification in Medical Device Systems |
|
| Specifying for Certification for Automotive Safety Systems |
|
| Rationale and Architecture Principles for Medical Application Platforms |
|
| A Standard for Standards? |
|
| Certifying Real-Time Software is Not Reasonable (Today) |
|
| Systems and Software Engineering Standards for the Medical Domain |
|
| OMG Modeling “Standards” for Model-Based Engineering |
|
| Gap Assessment of IEC and IEEE Standards for Safety Assurance of Digital Systems |
|
| SCC Meeting #9 Agenda |
|
| SCC 10 Agenda.pdf |
|
| REGISTRATION FORM.docx |
|
| Tenth SCC Meeting |
|
| SCC-Foreign FDA Visitors Pass request.doc |
|
| Understanding Evidence: Lessons from the GPCA Case Study |
|
| 5 Criteria for Credibility |
|
| Evidence that the Operational and Maintenance Requirements and Constraints are Identified Correctly and Satisfied |
|
| Finally: Practical Formal Verification of Large Software Systems |
|