Localizing Faults in Simulink/Stateflow Models with STL
Project: AMASS
Updated at: 29-04-2024
Resources
5625 items found
Pioneering the Creation of ISO 26262-Compliant OSLC-Based Safety Cases
Project: AMASS
Updated at: 29-04-2024
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
Towards Efficiently Checking Compliance Against Automotive Security and Safety Standards
Project: AMASS
Updated at: 29-04-2024
Towards generating ECSS-compliant fault tree analysis results via ConcertoFLA
Project: AMASS
Updated at: 29-04-2024
Towards Increased Efficiency and Confidence in Process Compliance
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
Herramienta basada en modelos para gestión de evidencias de sistemas críticos 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
Enabling GSD Task Allocation via Cloud-based Software Processes
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
Representation of Safety Standards with Semantic Technologies Used in Industrial Environments
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
Smart Systems Everywhere – how much Smartness is tolerable?
Project: AMASS
Updated at: 29-04-2024
Safety and Security Co-engineering and Argumentation Framework
Project: AMASS
Updated at: 29-04-2024
Assuring Degradation Cascades of Car Platoons via Contracts
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
Arguing on Software-level Verification Techniques Appropriateness
Project: AMASS
Updated at: 29-04-2024
Lessons Learned while formalizing ISO 26262 for Compliance Checking
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
Opportunities for software reuse in an uncertain world: From past to emerging trends
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
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
Assurance and certification of cyber–physical systems: The AMASS open source ecosystem
Project: AMASS
Updated at: 29-04-2024
ADMONT KET Pilot Line: A success story
Project: ADMONT
Updated at: 29-04-2024
A novel current-mode actuator driver for enhanced piezoelectric reliability
Project: ADMONT
Updated at: 29-04-2024