Constructing product-line safety cases from contract-based specifications
Project: AMASS
Updated at: 29-04-2024
Resources
5625 items found
Towards tool-based security-informed safety oriented process line engineering
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
Towards an ISO 26262-compliant OSLC-based Tool Chain Enabling Continuous Self-Assessment
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
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
Advances in Component Fault Trees
Project: AMASS
Updated at: 29-04-2024
Reuse in (re)certification of systems
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
Lessons Learned while Formalizing ISO 26262 for Compliance Checking
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
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
Facilitating Automated Compliance Checking of Processes against Safety Standards
Project: AMASS
Updated at: 29-04-2024
Enabling Automated Compliance Checking of Processes against Safety Standards
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
Systematic Refinement of CPS Requirements using SysML, Template Language and Contracts
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
A reference architecture for space systems
Project: AMASS
Updated at: 29-04-2024
Enabling system artefact exchange and selection through a Linked Data layer
Project: AMASS
Updated at: 29-04-2024
The AMASS Approach for Assurance and Certification of Critical Systems
Project: AMASS
Updated at: 29-04-2024
Assessment of the Quality of Safety Cases: A Research Preview
Project: AMASS
Updated at: 29-04-2024
Assurance Aware Contract-Based Design for Safety-Critical Systems
Project: AMASS
Updated at: 29-04-2024
Multi-concern Dependability-centered Assurance for Space Systems via ConcertoFLA.
Project: AMASS
Updated at: 29-04-2024
Facilitating the Adoption of Standards through Model-Based Representation
Project: AMASS
Updated at: 29-04-2024