Limitation and Improvement of STPA-Sec for Safety and Security Co-analysis
Project: AMASS
Updated at: 29-04-2024
Resources
5627 items found
Deriving verification-related means of compliance for a model-based testing process
Project: AMASS
Updated at: 29-04-2024
Software Development in the Post-PC Era: Towards Software Development as a Service
Project: AMASS
Updated at: 29-04-2024
Extracción de la Información Presente en Diagramas en Formato Imagen
Project: AMASS
Updated at: 29-04-2024
Building multiple-viewpoint assurance cases using assumption/guarantee contracts
Project: AMASS
Updated at: 29-04-2024
Constructing product-line safety cases from contract-based specifications
Project: AMASS
Updated at: 29-04-2024
Towards an ISO 26262-compliant OSLC-based Tool Chain Enabling Continuous Self-Assessment
Project: AMASS
Updated at: 29-04-2024
Patrones en la industria: creación de una librerÃa para el procesamiento del lenguaje natural de requisitos safety bas...
Project: AMASS
Updated at: 29-04-2024
Estudio de los beneficios de una herramienta industrial para la evaluación basada en ontologÃas de la calidad de requi...
Project: AMASS
Updated at: 29-04-2024
Towards tool-based security-informed safety oriented process line engineering
Project: AMASS
Updated at: 29-04-2024
Configuration-aware Contracts
Project: AMASS
Updated at: 29-04-2024
Tunable Online MUS/MSS Enumeration
Project: AMASS
Updated at: 29-04-2024
Promoting MBA in the rail sector by deriving process-related evidence via MDSafeCer
Project: AMASS
Updated at: 29-04-2024
CHESS: an open source methodology and toolset for the development of critical systems
Project: AMASS
Updated at: 29-04-2024
Evaluación de la calidad de 'safety cases' con una herramienta de ingenierÃa de requisitos basada en ontologÃas
Project: AMASS
Updated at: 29-04-2024
Reuse in (re)certification of systems
Project: AMASS
Updated at: 29-04-2024
Advances in Component Fault Trees
Project: AMASS
Updated at: 29-04-2024
Compliance of agilized (software) development processes with safety standards - a vision
Project: AMASS
Updated at: 29-04-2024
FLA2FT: Automatic Generation of Fault Tree from ConcertoFLA Results
Project: AMASS
Updated at: 29-04-2024
Meet the new Eclipse-based tools for Assurance and Certification of Cyber-Physical Systems
Project: AMASS
Updated at: 29-04-2024
Enabling Automated Compliance Checking of Processes against Safety Standards
Project: AMASS
Updated at: 29-04-2024
Lessons Learned while Formalizing ISO 26262 for Compliance Checking
Project: AMASS
Updated at: 29-04-2024
Towards variant management and change impact analysis in safety-oriented process-product lines
Project: AMASS
Updated at: 29-04-2024
Design and Safety assessment of on-board software applications using the AMASS platform
Project: AMASS
Updated at: 29-04-2024
Systematic Refinement of CPS Requirements using SysML, Template Language and Contracts
Project: AMASS
Updated at: 29-04-2024
Facilitating Automated Compliance Checking of Processes against Safety Standards
Project: AMASS
Updated at: 29-04-2024
Facilitating the Adoption of Standards through Model-Based Representation
Project: AMASS
Updated at: 29-04-2024
Assessment of the Quality of Safety Cases: A Research Preview
Project: AMASS
Updated at: 29-04-2024
Transforming SPEM 2.0-Compatible Process Models into Models Checkable for Compliance
Project: AMASS
Updated at: 29-04-2024
Enabling Compliance Checking Against Safety Standards from SPEM 2.0 Process Models
Project: AMASS
Updated at: 29-04-2024