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 |
|