| Using Requirements Engineering to Track Down Medical Errors |
|
| Requirements Development in the Automotive Industry: Challenges and Opportunities |
|
| Tales of a Quantum Theorist in Aerospace Testing |
|
| Capturing Safety Intent Through Assurance Cases |
|
| A Logical Framework for the ISO26262 Safety Case |
|
| Requirements on the Physical Side of Cyber-Physical Systems |
|
| Certifiably Safe Software-Dependent Systems: Challenges and Directions |
|
| Agenda Meeting 7.pdf |
|
| What is Software Certification? |
|
| Is Certified Software Actually Correct? |
|
| Strategic vision in certifiable software: Cross-domain commonalities |
|
| Certification and Assurance Cases |
|
| SCC Scope of Work |
|
| Cost-Effective Safety Certification of Software-Intensive Systems |
|
| Objective vs. Prescriptive Standards for Certification of Software-Intensive Systems |
|
| Automotive Software Safety: Current Practice and Future Challenges & Opportunities |
|
| Security Assurance Cases |
|
| Standards-based Conformity Assessment of (Software) Products |
|
| Toward the model-based development of a GPCA reference implementation |
|
| An Overview of Regulatory and Trust Issues for the Integrated Clinical Environment |
|
| Eighth Software Certification Consortium Meeting |
|
| SCC Charter rev1 |
|
| 6th SCC Workshop Introduction |
|
| The Recent Trend to Assurance Cases – Pros and Cons |
|
| Regulatory perspectives on software for nuclear applications |
|