Assurance Aware Contract-Based Design for Safety-Critical Systems
Project: AMASS
Updated at: 29-04-2024
Resources
5625 items found
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
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
Towards Risk Estimation in Automated Vehicles Using Fuzzy Logic
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
A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence
Project: AMASS
Updated at: 29-04-2024
On-Demand Automated Traceability Maintenance and Evolution
Project: AMASS
Updated at: 29-04-2024
Certifying Proofs for LTL Model Checking
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
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
Towards Shaping ISO 26262-compliant Resources for OSLC-based Safety Case Creation
Project: AMASS
Updated at: 29-04-2024
Autonomous vehicles and automated driving – status, perspectives and societal impact
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
An analysis of safety evidence management with the Structured Assurance Case Metamodel
Project: AMASS
Updated at: 29-04-2024
Online Enumeration of All Minimal Inductive Validity Cores
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
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
Finding Regressions in Projects under Version Control Systems
Project: AMASS
Updated at: 29-04-2024
Recursive Online Enumeration of All 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
Recent Advances towards the Industrial Application of Model-Driven Engineering for Assurance of Safety-Critical Systems
Project: AMASS
Updated at: 29-04-2024
Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISO 26262
Project: AMASS
Updated at: 29-04-2024
Herramienta para la gestión universal de trazabilidad entre artefactos de sistemas
Project: AMASS
Updated at: 29-04-2024
Localizing Faults in Simulink/Stateflow Models with STL
Project: AMASS
Updated at: 29-04-2024
Cost-aware Scheduling of Software Processes Execution in the Cloud
Project: AMASS
Updated at: 29-04-2024