Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISO 26262
Project: AMASS
Updated at: 29-04-2024
Resources
5625 items found
Una aproximación para representar estándares de seguridad con una herramienta de ingeniería de requisitos basada en o...
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
Do Models Improve the Understanding of Safety Compliance Needs? - Insights from a Pilot Experiment
Project: AMASS
Updated at: 29-04-2024
Towards Efficiently Checking Compliance Against Automotive Security and Safety Standards
Project: AMASS
Updated at: 29-04-2024
Representation of Safety Standards with Semantic Technologies Used in Industrial Environments
Project: AMASS
Updated at: 29-04-2024
Safety assessment of automated vehicle functions by simulation-based fault injection
Project: AMASS
Updated at: 29-04-2024
Fault injection method for safety and controllability evaluation of automated driving
Project: AMASS
Updated at: 29-04-2024
Una aproximación basada en tecnologías semánticas para la representación de estándares de seguridad
Project: AMASS
Updated at: 29-04-2024
Early Safety Assessment of Automotive Systems Using Sabotage Simulation-Based Fault Injection Framework
Project: AMASS
Updated at: 29-04-2024
Towards Increased Efficiency and Confidence in Process Compliance
Project: AMASS
Updated at: 29-04-2024
SafeConcert: a Metamodel for a Concerted Safety Modeling of Socio-Technical Systems
Project: AMASS
Updated at: 29-04-2024
Enabling GSD Task Allocation via Cloud-based Software Processes
Project: AMASS
Updated at: 29-04-2024
Smart Systems Everywhere – how much Smartness is tolerable?
Project: AMASS
Updated at: 29-04-2024
Herramienta basada en modelos para gestión de evidencias de sistemas críticos de seguridad
Project: AMASS
Updated at: 29-04-2024
Arguing on Software-level Verification Techniques Appropriateness
Project: AMASS
Updated at: 29-04-2024
Assuring Degradation Cascades of Car Platoons via Contracts
Project: AMASS
Updated at: 29-04-2024
Lessons Learned while formalizing ISO 26262 for Compliance Checking
Project: AMASS
Updated at: 29-04-2024
Safety and Security Co-engineering and Argumentation Framework
Project: AMASS
Updated at: 29-04-2024
Enabling GSD Task Allocation via Cloud-based Software Processes
Project: AMASS
Updated at: 29-04-2024
Consistency checking in requirements analysis
Project: AMASS
Updated at: 29-04-2024
Towards Systematic Compliance Evaluation Using Safety-oriented Process Lines and Evidence Mapping
Project: AMASS
Updated at: 29-04-2024
An empirical evaluation of the use of models to improve the understanding of safety compliance needs
Project: AMASS
Updated at: 29-04-2024
A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process
Project: AMASS
Updated at: 29-04-2024
Opportunities for software reuse in an uncertain world: From past to emerging trends
Project: AMASS
Updated at: 29-04-2024
Assurance and certification of cyber–physical systems: The AMASS open source ecosystem
Project: AMASS
Updated at: 29-04-2024
Quantitative Evaluation of Tailoring within SPICE-compliant Security-informed Safety-oriented Process Lines
Project: AMASS
Updated at: 29-04-2024
A Framework for Model-Based Dependability Analysis of Cyber-Physical Systems
Project: AMASS
Updated at: 29-04-2024
A non-isolated asynchronous low power high voltage boost converter for discontinuous conduction mode and portable applic...
Project: ADMONT
Updated at: 29-04-2024
ADMONT KET Pilot Line: A success story
Project: ADMONT
Updated at: 29-04-2024