The AMASS Approach for Assurance and Certification of Critical Systems
Project: AMASS
Updated at: 29-04-2024
Resources
5627 items found
Samarbete för att stärka europeisk elektronikindustri
Project: AMASS
Updated at: 29-04-2024
Why Templates on System Behavior Are Not Used in Practice Yet: A Proposal for Enhancements, Application and Formalizatio...
Project: AMASS
Updated at: 29-04-2024
Multi-concern Dependability-centered Assurance for Space Systems via ConcertoFLA.
Project: AMASS
Updated at: 29-04-2024
Enabling system artefact exchange and selection through a Linked Data layer
Project: AMASS
Updated at: 29-04-2024
A reference architecture for space systems
Project: AMASS
Updated at: 29-04-2024
Assurance Aware Contract-Based Design for Safety-Critical Systems
Project: AMASS
Updated at: 29-04-2024
In Search of Synergies in a Multi-concern Development Lifecycle: Safety and Cybersecurity
Project: AMASS
Updated at: 29-04-2024
Preventing Omission of Key Evidence Fallacy in Process-Based Argumentations
Project: AMASS
Updated at: 29-04-2024
Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation
Project: AMASS
Updated at: 29-04-2024
Towards Quantitative Evaluation of Reuse Within Safety-Oriented Process Lines
Project: AMASS
Updated at: 29-04-2024
A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence
Project: AMASS
Updated at: 29-04-2024
Safety-oriented process line engineering via seamless integration between EPF composer and BVR tool
Project: AMASS
Updated at: 29-04-2024
Towards Risk Estimation in Automated Vehicles Using Fuzzy Logic
Project: AMASS
Updated at: 29-04-2024
On-Demand Automated Traceability Maintenance and Evolution
Project: AMASS
Updated at: 29-04-2024
Model-Based Computer-Aided Monitoring for ISO26262 Compliant Systems
Project: AMASS
Updated at: 29-04-2024
Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems
Project: AMASS
Updated at: 29-04-2024
Certifying Proofs for LTL Model Checking
Project: AMASS
Updated at: 29-04-2024
Autonomous vehicles and automated driving – status, perspectives and societal impact
Project: AMASS
Updated at: 29-04-2024
Towards Shaping ISO 26262-compliant Resources for OSLC-based Safety Case Creation
Project: AMASS
Updated at: 29-04-2024
Online Enumeration of All Minimal Inductive Validity Cores
Project: AMASS
Updated at: 29-04-2024
Recursive Online Enumeration of All Minimal Unsatisfiable Subsets
Project: AMASS
Updated at: 29-04-2024
Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems
Project: AMASS
Updated at: 29-04-2024
An analysis of safety evidence management with the Structured Assurance Case Metamodel
Project: AMASS
Updated at: 29-04-2024
Finding Regressions in Projects under Version Control Systems
Project: AMASS
Updated at: 29-04-2024
Generación Automática de Editores y Repositorios de Evidencias a partir de Modelos de Estándares de Seguridad
Project: AMASS
Updated at: 29-04-2024
A Quantitative Approach for the Likelihood of Exploits of System Vulnerabilities
Project: AMASS
Updated at: 29-04-2024
Analysis of requirements quality evolution
Project: AMASS
Updated at: 29-04-2024
Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets
Project: AMASS
Updated at: 29-04-2024
An Experimental Evaluation of the Understanding of Safety Compliance Needs with Models
Project: AMASS
Updated at: 29-04-2024