Recent Advances towards the Industrial Application of Model-Driven Engineering for Assurance of Safety-Critical Systems
Project: AMASS
Updated at: 29-04-2024
Resources
5627 items found
Cost-aware Scheduling of Software Processes Execution in the Cloud
Project: AMASS
Updated at: 29-04-2024
Localizing Faults in Simulink/Stateflow Models with STL
Project: AMASS
Updated at: 29-04-2024
Pioneering the Creation of ISO 26262-Compliant OSLC-Based Safety Cases
Project: AMASS
Updated at: 29-04-2024
Towards generating ECSS-compliant fault tree analysis results via ConcertoFLA
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
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