Skip to main content

Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems

Deliverables

Standardization Roadmap and Report

This document describes the AMASS standardization activities and results, and provides a systematic roadmap for the follow-up of AMASS. It also contains recommendations of the Advisory Board for improving the AMASS adoption in specific standardization bodies.

Baseline and requirements for seamless interoperability

This deliverable is the output of task 5.1. This deliverable reports on the baseline for seamless interoperability and on the identified gaps with current approaches and technological solutions, as well as on the requirements for seamless interoperability in the AMASS tool platform.

Design of the AMASS tools and methods for architecture-driven assurance (b)

This deliverable is the output of task 3.2. It will report the design of the architecture-driven assurance prototype, including its conceptual aspects and tool intrastructure in the form of CACM models, iteration (b).

Standardization Plan

This document identifies possible applicable AMASS standardization targets. It also contains a preliminary roadmap how and when to approach the standardization committees or harmonize existing and upcoming standardization activities if required. It contains a report on standardization activities as well.

AMASS reference architecture (c)

This deliverable (incremental version c) provides the AMASS architecture specification from different points of view: logical, interaction and physical/deployment. It contains the specifications to get a coherent integration beween the various AMASS building blocks.

AMASS solution benchmarking

This deliverable reports the assessment of the development methodology and runtime implementation of the case studies over the AMASS platform. It results from the benchmarking exercise. It also compares results achieved thanks to AMASS with former state of the art for reference case studies.

AMASS user guidance and methodological framework

This deliverable will supply the entire project with the overall methodology for AMASS, including the steps of the proposed process and the interfaces between the steps. It will also include guidance for AMASS platform users and developers.

Design of the AMASS tools and methods for multiconcern assurance (b)

This deliverable is the output of task 4.2. In this deliverable, we will present the conceptual approach for multi-concern assurance, in the form of CACM models and vocabulary for the relevant assurance concerns with respect to the target domains and case studies and a revised compositional framework to support multiple viewpoints and trade-offs. This deliverable will be developed incrementally, with revisions to the approach made after validation from the implementation.

Standardization Survey

This document identifies involvement of AMASS partners in standardization activities, including active standardization contributions, status as followers or users as well. It contains a report on existing standardization activities and outcomes as well.

Dissemination and Training Progress (c)

This deliverable reports progress on dissemination and training activities.

Design of the AMASS tools and methods for seamless interoperability (b)

This deliverable is the output of task 5.2. This deliverable reports on the design of the seamless interoperability tool support. It will contain metamodel(s) such as contributions for CACM, interfaces, format specifications, and the tool architect. This deliverable will be developed incrementally, with revisions to the approach made after validation from the implementation.

Methodological guide for architecture-driven assurance (b)

This deliverable is the output of task 3.4. It will report on the progress of the guidelines for applying the system architecture-driven assurance approach, iteration (b).

Dissemination and Training Progress (a)

This deliverable reports progress on dissemination and training activities.

Design of the AMASS tools and methods for cross/intra-domain reuse (b)

This deliverable is the output of task 6.2. This deliverable reports on the design of the reuse-enabler prototype. It will especially contain metamodel(s), model-transformations, ontologies. This deliverable will be developed incrementally, with revisions to the approach made after validation from the implementation.

Exploitation Results and Final Market Megatrends Analysis

An updated version of D8.2 including detailed SWOT analysis for each domain. Each partner will provide results and progress against initial exploitation plans, and future plans beyond the life of the project.

Methodological guide for cross/intra-domain reuse (b)

This deliverable is the output of task 6.4. This deliverable will provide detailed information about how to use the reuse-enabler tool support and how to apply the underlying approach.

AMASS open source platform project proposal

The first step of the Eclipse Development Process is to create and publish a project proposal for review by the community at large. This deliverable will be the first step to create the AMASS open source platform, and will define and explain the scope of the project to the worldwide Eclipse community.

Business cases and high-level requirements

This deliverable will summarize business cases and all collected customer needs for using the AMASS solutions. It will also describe the high-level technical requirements for the AMASS technical work packages. This document will evolve during the project life as requirements are adjusted, refined, and assessed.

AMASS platform validation

This report will provide information about the results of the AMASS tool platform testing and the accomplishment of AMASS high-level requirements.

Exploitation Plans and Initial Market Megatrends Analysis (a)

A set of exploitation plans, with contributions per partner (adapted as needed for industrial vs academic needs). This deliverable provides first draft of overall market analysis with respect to CPS products. It shall include preliminary information concerning domain specific mega trends and market turbulences.

Evaluation framework and quality metrics

It reports the guidelines that will be used by different evaluators to carry out a harmonized assessment of the AMASS methodology and platform. In addition the deliverable will define the quality metrics to measurement the achievement of AMASS project regarding the propose objectives.

External advisory board and industrial adoption program roadmap

This deliverable will define the plan for task T7.1 and T7.2.

Dissemination and Training Plan

This deliverable lists planned activities for dissemination of project results, identifies needs for project internal training as well as internal/external training related to concepts and technologies developed within the project.

Baseline and requirements for cross/intra-domain reuse

This deliverable is the output of task 6.1. This deliverable reports on the baseline for enabling cross and intra domain reuse, the identified gaps with current approaches and technological solutions as well as on the requirements for the AMASS prototype.

AMASS open source platform marketing and outreach plan

AMASS open source platform marketing and outreach plan (report) This deliverable will define a plan for promoting the AMASS open source platform in task T7.3.

Baseline and requirements for architecture-driven assurance

This deliverable is the output of task 3.1. It will set the baseline from the system architecture-driven assurance will be developed and will specify the requirements that it has to meet.

Exploitation Plans and Initial Market Megatrends Analysis (b)

A set of exploitation plans, with contributions per partner (adapted as needed for industrial vs academic needs). Second version of the deliverable includes refined domain specific market analysis. Market entry strategies for every partner. Expected barriers to market entry. Expected commercial advantages for every partner (through revenue generation, increased productivity, increased value proposition etc.).

Baseline and requirements for multiconcern assurance

This deliverable is the output of task 4.1. This deliverable will present the results of the state-of-the-art survey of multi-concern assurance. It will focus on the identification of relevant assurance concerns for inclusion in the AMASS framework, and on the identification of areas where the “mapping” technology developed in OPENCOSS can most effectively be deployed in AMASS.

Methodological guide for multiconcern assurance (b)

This deliverable is the output of task 4.4. It will report on the progress of the guidelines for applying the system architecture-driven assurance approach. This report will present guidance on the use of the conceptual approach and prototype tool, aimed at users argument developers and project engineers. Two iterations of this deliverable will be produced. This second iteration, at the end of the project, is to assist in wider technology transfer after AMASS.

External advisory board and industrial adoption program report

At the end of the project, this report will document the actions taken and their results to coordinate the external advisory board in task T7.1 and to improve industrial adoption of AMASS in task T7.2.

Case studies description and business impact

Specification of the industrial case studies as required for covering the different aspects of the project and that are required to measure the AMASS platform improvements and to demonstrate them. Analysis of the case studies to harmonize common and specific requirements from the different application domains.

Methodological guide for seamless interoperability (b)

This deliverable is the output of task 5.4. This deliverable will provide detailed information about how to use the seamless interoperability tool support and how to apply the underlying approach.

Dissemination and Training Progress (b)

This deliverable reports progress on dissemination and training activities.

AMASS demonstrators (c)

This deliverable will demonstrate the AMASS solutions in the different application domains. These demonstrators include the full development of the three prototype iterations. This is iteration (c).

Integrated AMASS platform (b)

This prototype will be incrementally released in three iterations, as result of the validation tasks. It represents the whole AMASS tool platform, iteration (b).

Prototype for multiconcern assurance (c)

This deliverable is the output of the task 4.3. The third iteration implements incrementally the AMASS-specific building blocks according to the high-level requirements specification and implementation roadmap defined in WP2 (T2.1).

AMASS open source platform provisioning and website (c)

This deliverable of task T7.3 will be coordinated with D2.4 and coordinate all the non-software artefacts of the AMASS open source platform including the project website. As with D2.4 this deliverable will be produced in three different iterations.

Prototype for architecture-driven assurance (b)

This deliverable is the output of the task 3.3. The second iteration implements incrementally the AMASS-specific building blocks according to the high-level requirements specification and implementation roadmap defined in WP2 (T2.1).

Prototype for architecture-driven assurance (c)

This deliverable is the output of the task 3.3. The third iteration implements incrementally the AMASS-specific building blocks according to the high-level requirements specification and implementation roadmap defined in WP2 (T2.1).

Prototype for seamless interoperability (c)

This deliverable is the output of the task 5.3. Three prototype iterations are planned. The third iteration implements incrementally the AMASS-specific building blocks according to the high-level requirements specification and implementation roadmap defined in WP2 (T2.1).

Prototype for cross/intra-domain reuse (c)

This deliverable is the output of the task 6.3. This deliverable represents the tools for reuse-enabler prototype. Three prototype iterations are planned. The third iteration implements incrementally the AMASS-specific building blocks according to the high-level requirements specification and implementation roadmap defined in WP2 (T2.1).

Integrated AMASS platform (a)

This prototype will be incrementally released in three iterations, as result of the validation tasks. It represents the whole AMASS tool platform, iteration (a).

Prototype for multiconcern assurance (b)

This deliverable is the output of the task 4.3. The first second iteration implements incrementally the AMASS-specific building blocks according to the high-level requirements specification and implementation roadmap defined in WP2 (T2.1).

Prototype for cross/intra-domain reuse (b)

This deliverable is the output of the task 6.3. This deliverable represents the tools for reuse-enabler prototype. Three prototype iterations are planned. The second iteration implements incrementally the AMASS-specific building blocks according to the high-level requirements specification and implementation roadmap defined in WP2 (T2.1).

Integrated AMASS platform (c)

This prototype will be incrementally released in three iterations, as result of the validation tasks. It represents the whole AMASS tool platform, iteration (c).

AMASS open source platform provisioning and website (a)

This deliverable of task T7.3 will be coordinated with D2.4 and coordinate all the non-software artefacts of the AMASS open source platform including the project website. As with D2.4 this deliverable will be produced in three different iterations.

Prototype for architecture-driven assurance (a)

This deliverable is the output of the task 3.3. The first iteration will release the basic building blocks (Prototype: Core) as a consolidation/integration of previous projects.

AMASS demonstrators (a)

This deliverable will demonstrate the AMASS solutions in the different application domains. These demonstrators include the full development of the three prototype iterations (at the end of each relevant milestone M2-M4) as described in Section 1.3.6. This is iteration (a) of the prototype.

AMASS open source platform provisioning and website (b)

This deliverable of task T7.3 will be coordinated with D2.4 and coordinate all the non-software artefacts of the AMASS open source platform including the project website. As with D2.4 this deliverable will be produced in three different iterations.

Prototype for multiconcern assurance (a)

This deliverable is the output of the task 4.3. The first iteration will release the basic building blocks (Prototype: Core) as a consolidation/integration of previous projects.

Prototype for seamless interoperability (b)

This deliverable is the output of the task 5.3. Three prototype iterations are planned. The second iteration implements incrementally the AMASS-specific building blocks according to the high-level requirements specification and implementation roadmap defined in WP2 (T2.1).

Prototype for cross/intra-domain reuse (a)

This deliverable is the output of the task 6.3. This deliverable represents the tools for reuse-enabler prototype. Three prototype iterations are planned. The first iteration will release the basic building blocks (Prototype: Core) as a consolidation/integration of previous projects.

AMASS demonstrators (b)

This deliverable will demonstrate the AMASS solutions in the different application domains. These demonstrators include the full development of the three prototype iterations. This is iteration (b).

Prototype for seamless interoperability (a)

This deliverable is the output of the task 5.3. Three prototype iterations are planned. The first iteration will release the basic building blocks (Prototype: Core) as a consolidation/integration of previous projects.

Publications

Safety and Security Co-engineering and Argumentation Framework

Author(s): H. Martin, R. Bramberger, C. Schmittner, Z. Ma, T. Gruber, A. Ruiz, G. Macher
Published in: 6th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2017), Issue LNCS 10489, 2017, Page(s) 286-297
DOI: 10.1007/978-3-319-66284-8_24

Assuring Degradation Cascades of Car Platoons via Contracts

Author(s): Irfan Sljivo, Barbara Gallina, Bernhard Kaiser
Published in: 6th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2017), Issue LNCS 10489, 2017, Page(s) 317-329
DOI: 10.1007/978-3-319-66284-8_27

Arguing on Software-level Verification Techniques Appropriateness

Author(s): Carmen Cârlan, Barbara Gallina, Severin Kacianka, Ruth Breu
Published in: 36th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2017), Issue LNCS 10488, 2017, Page(s) 39-54
DOI: 10.1007/978-3-319-66266-4_3

Enabling GSD Task Allocation via Cloud-based Software Processes

Author(s): Sami Alajrami, Barbara Gallina, Alexander Romanovsky
Published in: 15th International Conference on Software Engineering Research, Management and Applications (SERA 2017), 2017, Page(s) 179-192
DOI: 10.1007/978-3-319-61388-8_11

Consistency checking in requirements analysis

Author(s): Jaroslav Bendík
Published in: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2017, 2017, Page(s) 408-411
DOI: 10.1145/3092703.3098239

Fault injection method for safety and controllability evaluation of automated driving

Author(s): Garazi Juez Uriagereka, Ray Lattarulo, Joshue Perez Rastelli, Estibaliz Amparan Calonge, Alejandra Ruiz Lopez, Huascar Espinoza Ortiz
Published in: 2017 IEEE Intelligent Vehicles Symposium (IV), 2017, Page(s) 1867-1872
DOI: 10.1109/ivs.2017.7995977

Safety assessment of automated vehicle functions by simulation-based fault injection

Author(s): Garazi Juez, Estibaliz Amparan, Ray Lattarulo, Joshue Perez Rastelli, Alejandra Ruiz, Huascar Espinoza
Published in: 2017 IEEE International Conference on Vehicular Electronics and Safety (ICVES), 2017, Page(s) 214-219
DOI: 10.1109/icves.2017.7991928

Representation of Safety Standards with Semantic Technologies Used in Industrial Environments

Author(s): Jose Luis de la Vara, Álvaro Gómez, Elena Gallego, Gonzalo Génova, Anabel Fraga
Published in: 6th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2017), Issue LNCS 10489, 2017, Page(s) 265-272
DOI: 10.1007/978-3-319-66284-8_22

SafeConcert: a Metamodel for a Concerted Safety Modeling of Socio-Technical Systems

Author(s): Leonardo Montecchi, Barbara Gallina
Published in: 5th International Symposium on Model-Based Safety and Assessment (IMBSA 2017), Issue LNCS 10437, 2017, Page(s) 129-144
DOI: 10.1007/978-3-319-64119-5_9

Early Safety Assessment of Automotive Systems Using Sabotage Simulation-Based Fault Injection Framework

Author(s): Garazi Juez, Estíbaliz Amparan, Ray Lattarulo, Alejandra Ruíz, Joshué Pérez, Huáscar Espinoza
Published in: 36th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2017), Issue LNCS 10488, 2017, Page(s) 255-269
DOI: 10.1007/978-3-319-66266-4_17

Smart Systems Everywhere – how much Smartness is tolerable?

Author(s): Schoitsch Erwin
Published in: Interdisciplinary Information Management Talks, 2017
DOI: 10.5281/zenodo.1043959

An Experimental Evaluation of the Understanding of Safety Compliance Needs with Models

Author(s): Jose Luis de la Vara, Beatriz Marín, Clara Ayora, Giovanni Giachetti
Published in: Conceptual Modeling - 36th International Conference, ER 2017, Issue LNCS 10650, 2017, Page(s) 239-247
DOI: 10.1007/978-3-319-69904-2_20

Recent Advances towards the Industrial Application of Model-Driven Engineering for Assurance of Safety-Critical Systems

Author(s): Jose Luis de la Vara, Alejandra Ruiz, Huáscar Espinoza
Published in: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018, Page(s) 632-641
DOI: 10.5220/0006733906320641

Localizing Faults in Simulink/Stateflow Models with STL

Author(s): Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath, Dejan Ničković
Published in: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18, 2018, Page(s) 197-206
DOI: 10.1145/3178126.3178131

Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISO 26262

Author(s): J.P. Castellanos Ardila, B. Gallina
Published in: 1st Workshop on Technologies for Regulatory Compliance (TeReCom), 2017

Cost-aware Scheduling of Software Processes Execution in the Cloud

Author(s): Sami Alajrami, Alexander Romanovsky, Barbara Gallina
Published in: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018, Page(s) 203-212
DOI: 10.5220/0006607902030212

Towards generating ECSS-compliant fault tree analysis results via ConcertoFLA

Author(s): B. Gallina, Z. Haider, A. Carlsson
Published in: 2nd International Conference on Reliability Engineering (ICRE 2017), 2017

Pioneering the Creation of ISO 26262-Compliant OSLC-Based Safety Cases

Author(s): Barbara Gallina, Mattias Nyberg
Published in: 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2017, Page(s) 325-330
DOI: 10.1109/issrew.2017.41

Towards Efficiently Checking Compliance Against Automotive Security and Safety Standards

Author(s): Julieth Patricia Castellanos Ardila, Barbara Gallina
Published in: 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2017, Page(s) 317-324
DOI: 10.1109/issrew.2017.33

Do Models Improve the Understanding of Safety Compliance Needs? - Insights from a Pilot Experiment

Author(s): Jose Luis de la Vara, Beatriz Marin, Giovanni Giachetti, Clara Ayora
Published in: Proceedings of the 10th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement - ESEM '16, 2016, Page(s) 1-6
DOI: 10.1145/2961111.2962621

Towards Shaping ISO 26262-compliant Resources for OSLC-based Safety Case Creation




Autonomous vehicles and automated driving – status, perspectives and societal impact

Author(s): Erwin Schoitsch
Published in: IDIMT 2016: 24th Interdisciplinary Information Management Talks, Issue Schriftenreihe Informatik 45, 2016, Page(s) 405-423
DOI: 10.5281/zenodo.180258

Finding Regressions in Projects under Version Control Systems

Author(s): Jaroslav Bendík, Nikola Beneš, Ivana Černá
Published in: Proceedings of the 13th International Conference on Software Technologies, 2018, Page(s) 186-197
DOI: 10.5220/0006864401860197

Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets

Author(s): Jaroslav Bendík, Ivana Cerna
Published in: EPiC Series in Computing volume 57, 2018, Page(s) 131-118
DOI: 10.29007/sxzb

Analysis of requirements quality evolution

Author(s): Eugenio Parra, Jose Luis de la Vara, Luis Alonso
Published in: Proceedings of the 40th International Conference on Software Engineering Companion Proceeedings - ICSE '18, 2018, Page(s) 199-200
DOI: 10.1145/3183440.3195095

Model-Based Computer-Aided Monitoring for ISO26262 Compliant Systems

Author(s): Morayo Adedjouma, Asma Smaoui
Published in: 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2018, Page(s) 349-352
DOI: 10.1109/issrew.2018.00029

A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence

Author(s): Lucas Paiva Bressan, Andre L. de Oliveira, Leonardo Montecchi, Barbara Gallina
Published in: 2018 14th European Dependable Computing Conference (EDCC), 2018, Page(s) 49-56
DOI: 10.1109/edcc.2018.00019

Safety-oriented process line engineering via seamless integration between EPF composer and BVR tool

Author(s): Muhammad Atif Javed, Barbara Gallina
Published in: Proceeedings of the 22nd International Conference on Systems and Software Product Line - SPLC '18 - Volume 2, 2018, Page(s) 23-28
DOI: 10.1145/3236405.3236406

Preventing Omission of Key Evidence Fallacy in Process-Based Argumentations

Author(s): Faiz UL Muram, Barbara Gallina, Laura Gomez Rodriguez
Published in: 2018 11th International Conference on the Quality of Information and Communications Technology (QUATIC), 2018, Page(s) 65-73
DOI: 10.1109/quatic.2018.00019

Certifying Proofs for LTL Model Checking

Author(s): Alberto Griggio, Marco Roveri, Stefano Tonetta
Published in: 2018 Formal Methods in Computer Aided Design (FMCAD), 2018, Page(s) 1-9
DOI: 10.23919/fmcad.2018.8603022

Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems

Author(s): Aiman Gannous, Anneliese Andrews, Barbara Gallina
Published in: 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2018, Page(s) 329-336
DOI: 10.1109/issrew.2018.00026

Enabling Compliance Checking Against Safety Standards from SPEM 2.0 Process Models

Author(s): Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram
Published in: 2018 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2018, Page(s) 45-49
DOI: 10.1109/seaa.2018.00017

A reference architecture for space systems

Author(s): Elena Alaña, Javier Herrero, Santiago Urueña, Krystyna Macioszek, Daniel Silveira
Published in: Proceedings of the 12th European Conference on Software Architecture Companion Proceedings - ECSA '18, 2018, Page(s) 1-2
DOI: 10.1145/3241403.3241416

Facilitating the Adoption of Standards through Model-Based Representation

Author(s): Morayo Adedjouma, Gabriel Pedroza, Asma Smaoui, Trung Kien Dang
Published in: 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), 2018, Page(s) 213-216
DOI: 10.1109/iceccs2018.2018.00035

The AMASS Approach for Assurance and Certification of Critical Systems

Author(s): de la Vara, J.L., Ruiz, A., Gallina, B., Blondelle, G., Alaña, E., Herrero, J., Warg, F., Skoglung, M., Bramberger, R.
Published in: embedded world Conference 2019, 2019

Multi-concern Dependability-centered Assurance for Space Systems via ConcertoFLA.

Author(s): Gallina B., Haider, Z., Carlsson, A., Mazzini, S., Puri, S.
Published in: 23rd International Conference on Reliable Software Technologies (Ada-Europe 2018, 2018

Compliance of agilized (software) development processes with safety standards - a vision

Author(s): Barbara Gallina, Faiz Ul Muram, Julieth Patricia Castellanos Ardila
Published in: Proceedings of the 19th International Conference on Agile Software Development Companion - XP '18, 2018, Page(s) 1-6
DOI: 10.1145/3234152.3234175

Advances in Component Fault Trees




Reuse in (re)certification of systems

Author(s): Gallina, B., Martinez, J.
Published in: 17th International Conference on Software Reuse (ICSR 2018), 2018

Lessons Learned while Formalizing ISO 26262 for Compliance Checking

Author(s): Castellanos Ardila, J.P., Gallina, B., Governatori, G.
Published in: 2nd Workshop on Technologies for Regulatory Compliance (TeReCom 2018), 2018

Enabling Automated Compliance Checking of Processes against Safety Standards

Author(s): Castellanos Ardila, J.P.
Published in: 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), 2018

Systematic Refinement of CPS Requirements using SysML, Template Language and Contracts

Author(s): Grabowski, M.
Published in: Modellierung 2018, 2018

Design and Safety assessment of on-board software applications using the AMASS platform

Author(s): Alaña, E., Herrero. J.
Published in: EUROSPACE - DASIA 2018, 2018

FLA2FT: Automatic Generation of Fault Tree from ConcertoFLA Results

Author(s): Haider, Z., Gallina, B., Zornoza Moreno, E.
Published in: 3rd International Conference on System Reliability and Safety (ICSRS 2018), 2018

Towards variant management and change impact analysis in safety-oriented process-product lines

Author(s): Muhammad Atif Javed, Barbara Gallina, Anna Carlsson
Published in: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing - SAC '19, 2019, Page(s) 2372-2375
DOI: 10.1145/3297280.3297634

Constructing product-line safety cases from contract-based specifications

Author(s): Damir Nešić, Mattias Nyberg, Barbara Gallina
Published in: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing - SAC '19, 2019, Page(s) 2022-2031
DOI: 10.1145/3297280.3297479

Building multiple-viewpoint assurance cases using assumption/guarantee contracts

Author(s): Irfan Sljivo, Barbara Gallina
Published in: Proccedings of the 10th European Conference on Software Architecture Workshops - ECSAW '16, 2016, Page(s) 1-7
DOI: 10.1145/2993412.3007555

Towards tool-based security-informed safety oriented process line engineering

Author(s): Inmaculada Ayala, Barbara Gallina
Published in: Proccedings of the 10th European Conference on Software Architecture Workshops - ECSAW '16, 2016, Page(s) 1-7
DOI: 10.1145/2993412.3007554

CHESS: an open source methodology and toolset for the development of critical systems

Author(s): Silvia Mazzini, John Favaro, Stefano Puri, Laura Baracchi
Published in: OSS4MDE workshop at Models 2016, 2016

Configuration-aware Contracts

Author(s): Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
Published in: Computer Safety, Reliability, and Security, Issue LNCS 9943, 2016, Page(s) 43-54
DOI: 10.1007/978-3-319-45480-1_4

Tunable Online MUS/MSS Enumeration

Author(s): Jaroslav Bendík, Nikola Benes, Ivana Cerná, Jiri Barnat
Published in: Foundations of Software Technology and Theoretical Computer Science - 36th International Conference, 2016, ISSN 1868-8969
DOI: 10.4230/LIPIcs.FSTTCS.2016.50

Towards an ISO 26262-compliant OSLC-based Tool Chain Enabling Continuous Self-Assessment

Author(s): Barbara Gallina, Kathyayani Padira, Mattias Nyberg
Published in: 2016 10th International Conference on the Quality of Information and Communications Technology (QUATIC), 2016, Page(s) 199-204
DOI: 10.1109/QUATIC.2016.050

Deriving verification-related means of compliance for a model-based testing process

Author(s): Barbara Gallina, Anneliese Andrews
Published in: 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC), 2016, Page(s) 1-6
DOI: 10.1109/DASC.2016.7778046

Software Development in the Post-PC Era: Towards Software Development as a Service

Author(s): Sami Alajrami, Alexander Romanovsky, Barbara Gallina
Published in: 17th International Conference on Product-Focused Software Process Improvement (PROFES), 2016, Page(s) 662-671
DOI: 10.1007/978-3-319-49094-6_53

Towards Effective SysML Model Reuse

Author(s): Roy Mendieta, Jose Luis de la Vara, Juan Llorens, Jose María Álvarez-Rodríguez
Published in: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017, Page(s) 536-541
DOI: 10.5220/0006267605360541

Limitation and Improvement of STPA-Sec for Safety and Security Co-analysis

Author(s): Christoph Schmittner, Zhendong Ma, Peter Puschner
Published in: Computer Safety, Reliability, and Security, Issue LNCS 9923, 2016, Page(s) 195-209
DOI: 10.1007/978-3-319-45480-1_16

Una aproximación basada en tecnologías semánticas para la representación de estándares de seguridad

Author(s): Wilheim Cervantes
Published in: 2017

Herramienta basada en modelos para gestión de evidencias de sistemas críticos de seguridad

Author(s): Alejandro Rodriguez
Published in: 2017

Herramienta para la gestión universal de trazabilidad entre artefactos de sistemas

Author(s): Pavlo Rosa
Published in: 2018

Una aproximación para representar estándares de seguridad con una herramienta de ingeniería de requisitos basada en onotologías

Author(s): Alvaro Gomez
Published in: 2018

Generación Automática de Editores y Repositorios de Evidencias a partir de Modelos de Estándares de Seguridad

Author(s): Elena Correas Montiel
Published in: 2016

Assurance Aware Contract-Based Design for Safety-Critical Systems

Author(s): Irfan Sljivo
Published in: 2018

Why Templates on System Behavior Are Not Used in Practice Yet: A Proposal for Enhancements, Application and Formalization

Author(s): M. Grabowski
Published in: 2017

Facilitating Automated Compliance Checking of Processes against Safety Standards

Author(s): Julieth Patricia Castellanos Ardila
Published in: 2019

Evaluación de la calidad de 'safety cases' con una herramienta de ingeniería de requisitos basada en ontologías

Author(s): Gabriel Orlando Jimenez Urrutia
Published in: 2017

Patrones en la industria: creación de una librería para el procesamiento del lenguaje natural de requisitos safety basada en sistemas de Procesamiento de Lenguaje Natural y Ontologías

Author(s): Oscar Leonardo González Gómez
Published in: 2016

Estudio de los beneficios de una herramienta industrial para la evaluación basada en ontologías de la calidad de requisitos

Author(s): Cristina Barcia Gonzalez
Published in: 2017

Knowledge Reuse in SysML Models

Author(s): Roy Arturo Mendieta Zuniga
Published in: 2016

Extracción de la Información Presente en Diagramas en Formato Imagen

Author(s): Eduardo de Tena Martínez
Published in: 2016

Análisis de Consistencia Temporal en Requisitos: Propuesta de Modelo

Author(s): Javier Fernández Páez
Published in: 2016

Enabling GSD Task Allocation via Cloud-based Software Processes

Author(s): Sami Alajrami, Barbara Gallina, Alexander Romanovsky
Published in: International Journal of Networked and Distributed Computing, Issue 5/4, 2017, Page(s) 221, ISSN 2211-7946
DOI: 10.2991/ijndc.2017.5.4.4

An analysis of safety evidence management with the Structured Assurance Case Metamodel


Published in: ISSN 0920-5489
DOI: 10.1016/j.csi.2016.10.002

Enabling system artefact exchange and selection through a Linked Data layer

Author(s): Álvarez-Rodríguez, J.M., Mendieta, R., de la Vara, J.L., Fraga, A., Llorens, J.
Published in: Journal of Universal Computer Science, Issue 24(11), 2018, Page(s) 1536-1560, ISSN 0948-6968
DOI: 10.3217/jucs-024-11-1536

Promoting MBA in the rail sector by deriving process-related evidence via MDSafeCer


Published in: ISSN 0920-5489
DOI: 10.1016/j.csi.2016.11.007

Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems

Author(s): Alejandra Ruiz, Barbara Gallina, Jose Luis de la Vara, Silvia Mazzini, Huáscar Espinoza
Published in: Computer Safety, Reliability, and Security, Issue LNCS 9923, 2016, Page(s) 311-321
DOI: 10.1007/978-3-319-45480-1_25

Online Enumeration of All Minimal Inductive Validity Cores

Author(s): Jaroslav Bendík, Elaheh Ghassabani, Michael Whalen, Ivana Černá
Published in: Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings, Issue 10886, 2018, Page(s) 189-204
DOI: 10.1007/978-3-319-92970-5_12

Recursive Online Enumeration of All Minimal Unsatisfiable Subsets

Author(s): Jaroslav Bendík, Ivana Černá, Nikola Beneš
Published in: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, Issue 11138, 2018, Page(s) 143-159
DOI: 10.1007/978-3-030-01090-4_9

A Quantitative Approach for the Likelihood of Exploits of System Vulnerabilities

Author(s): Siddhartha Verma, Thomas Gruber, Peter Puschner, Christoph Schmittner, Erwin Schoitsch
Published in: Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings, Issue 11088, 2018, Page(s) 177-189
DOI: 10.1007/978-3-319-99229-7_16

Towards Risk Estimation in Automated Vehicles Using Fuzzy Logic

Author(s): Leonardo González, Enrique Martí, Isidro Calvo, Alejandra Ruiz, Joshue Pérez
Published in: Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings, Issue 11088, 2018, Page(s) 278-289
DOI: 10.1007/978-3-319-99229-7_24

Towards Quantitative Evaluation of Reuse Within Safety-Oriented Process Lines

Author(s): Barbara Gallina, Shankar Iyer
Published in: Systems, Software and Services Process Improvement - 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings, Issue 896, 2018, Page(s) 469-479
DOI: 10.1007/978-3-319-97925-0_40

Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation

Author(s): Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri
Published in: Reliable Software Technologies – Ada-Europe 2018, Issue 10873, 2018, Page(s) 19-33
DOI: 10.1007/978-3-319-92432-8_2

In Search of Synergies in a Multi-concern Development Lifecycle: Safety and Cybersecurity

Author(s): Martin Skoglund, Fredrik Warg, Behrooz Sangchoolie
Published in: Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings, Issue 11088, 2018, Page(s) 302-313
DOI: 10.1007/978-3-319-99229-7_26

On-Demand Automated Traceability Maintenance and Evolution

Author(s): Muhammad Atif Javed, Faiz UL Muram, Uwe Zdun
Published in: New Opportunities for Software Reuse, Issue 10826, 2018, Page(s) 111-120
DOI: 10.1007/978-3-319-90421-4_7

Transforming SPEM 2.0-Compatible Process Models into Models Checkable for Compliance

Author(s): Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram
Published in: Software Process Improvement and Capability Determination - 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings, Issue 918, 2018, Page(s) 233-247
DOI: 10.1007/978-3-030-00623-5_16

Assessment of the Quality of Safety Cases: A Research Preview

Author(s): Jose Luis de la Vara, Gabriel Jiménez, Roy Mendieta, Eugenio Parra
Published in: Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers, Issue 11392, 2019, Page(s) 124-131
DOI: 10.1007/978-3-030-15538-4_9

Samarbete för att stärka europeisk elektronikindustri

Author(s): Skogby. S.
Published in: Elektronik Tidningen, Issue October 2018, 2018

Meet the new Eclipse-based tools for Assurance and Certification of Cyber-Physical Systems

Author(s): Espinoza, H., de la Vara, J.L., Juez, G., Martinez, C., Gallina, B., Puri, S., Mazzini, S., Blondelle, G.
Published in: Eclipse Newsletter, Issue July 2018, 2018