Opendata, web and dolomites

AMASS SIGNED

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

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

Project "AMASS" data sheet

The following table provides information about the project.

Coordinator
FUNDACION TECNALIA RESEARCH & INNOVATION 

Organization address
address: PARQUE CIENTIFICO Y TECNOLOGICO DE BIZKAIA, ASTONDO BIDEA, EDIFICIO 700
city: DERIO BIZKAIA
postcode: 48160
website: www.tecnalia.com

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country Spain [ES]
 Project website http://www.amass-ecsel.eu/
 Total cost 20˙274˙885 €
 EC max contribution 6˙178˙242 € (30%)
 Programme 1. H2020-EU.2.1.1.7. (ECSEL)
 Code Call H2020-ECSEL-2015-1-RIA-two-stage
 Funding Scheme ECSEL-RIA
 Starting year 2016
 Duration (year-month-day) from 2016-04-01   to  2019-03-31

 Partnership

Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    FUNDACION TECNALIA RESEARCH & INNOVATION ES (DERIO BIZKAIA) coordinator 577˙268.00
2    MAELARDALENS HOEGSKOLA SE (VASTERAS) participant 498˙597.00
3    INFINEON TECHNOLOGIES AG DE (NEUBIBERG) participant 380˙550.00
4    COMMISSARIAT A L ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES FR (PARIS 15) participant 321˙436.00
5    AIT AUSTRIAN INSTITUTE OF TECHNOLOGY GMBH AT (WIEN) participant 321˙395.00
6    EXPLEO GERMANY GMBH DE (MUNCHEN) participant 312˙884.00
7    UNIVERSIDAD CARLOS III DE MADRID ES (GETAFE (MADRID)) participant 252˙047.00
8    ALTEN SVERIGE AKTIEBOLAG SE (GOTEBORG) participant 243˙466.00
9    THALES ALENIA SPACE ESPANA, SA ES (TRES CANTOS - MADRID) participant 239˙250.00
10    KNOWLEDGE CENTRIC SOLUTIONS SL ES (LEGANES MADRID) participant 237˙040.00
11    THALES ITALIA SPA IT (SESTO FIORENTINO) participant 231˙933.00
12    VIRTUAL VEHICLE RESEARCH GMBH AT (GRAZ) participant 217˙100.00
13    ANSYS MEDINI TECHNOLOGIES AG DE (BERLIN) participant 215˙623.00
14    ALSTOM TRANSPORT SA FR (SAINT OUEN) participant 205˙706.00
15    FONDAZIONE BRUNO KESSLER IT (TRENTO) participant 201˙088.00
16    SCHNEIDER ELECTRIC ESPANA SA ES (BARCELONA) participant 199˙843.00
17    ALLIANCE POUR LES TECHNOLOGIES DE L'INFORMATIQUE FR (CHANGE) participant 187˙875.00
18    HONEYWELL INTERNATIONAL SRO CZ (PRAHA) participant 183˙361.00
19    CLEARSY SAS FR (AIX EN PROVENCE) participant 173˙503.00
20    RAPITA SYSTEMS LIMITED UK (YORK) participant 167˙578.00
21    LANGE RESEARCH AIRCRAFT GMBH DE (ZWEIBRUCKEN) participant 163˙482.00
22    INTECS SPA IT (ROMA) participant 110˙806.00
23    Masarykova univerzita CZ (BRNO STRED) participant 96˙000.00
24    OHB SWEDEN AB SE (KISTA) participant 89˙062.00
25    GMV AEROSPACE AND DEFENCE SA ES (TRES CANTOS) participant 83˙281.00
26    RISE RESEARCH INSTITUTES OF SWEDEN AB SE (BORAS) participant 74˙917.00
27    ECLIPSE FOUNDATION EUROPE GMBH DE (ZWINGENBERG) participant 71˙250.00
28    Comentor AB SE (GOTEBORG) participant 56˙226.00
29    INTECS SOLUTIONS SPA IT (ROMA) participant 31˙068.00
30    RINA SERVICES SPA IT (GENOVA) participant 15˙625.00
31    AVL LIST GMBH AT (GRAZ) participant 10˙885.00
32    CENTRO DE INNOVACION Y SOLUCIONES EMPRESARIALES Y TECNOLOGICAS SL ES (LEGANES (MADRID)) participant 8˙087.00
33    TELVENT ENERGIA SA ES (MADRID) participant 0.00

Map

 Project objective

Embedded systems have significantly increased in technical complexity towards open, interconnected systems. This has exacerbated the problem of ensuring dependability in the presence of human, environmental and technological risks. The rise of complex Cyber-Physical Systems (CPS) has led to many initiatives to promote reuse and automation of labor-intensive activities. Two large-scale projects are OPENCOSS and SafeCer, which dealt with assurance and certification of software-intensive critical systems using incremental and model-based approaches. OPENCOSS defined a Common Certification Language (CCL), unifying concepts from different industries to build a harmonized approach to reduce time and cost overheads, via facilitating the reuse of certification assets. SafeCer developed safety-oriented process lines, a component model, contract-based verification techniques, and process/product-based model-driven safety certification for compositional development and certification of CPSs. AMASS will create and consolidate a de-facto European-wide assurance and certification open tool platform, ecosystem and self-sustainable community spanning the largest CPS vertical markets. We will start by combining and evolving the OPENCOSS and SafeCer technological solutions towards end-user validated tools, and will enhance and perform further research into new areas not covered by those projects. The ultimate aim is to lower certification costs in face of rapidly changing product features and market needs. This will be achieved by establishing a novel holistic and reuse-oriented approach for architecture-driven assurance (fully compatible with standards e.g. AUTOSAR and IMA), multi-concern assurance (compliance demonstration, impact analyses, and compositional assurance of security and safety aspects), and for seamless interoperability between assurance/certification and engineering activities along with third-party activities (external assessments, supplier assurance).

 Deliverables

List of deliverables.
AMASS demonstrators (c) Demonstrators, pilots, prototypes 2020-01-31 12:50:04
Methodological guide for cross/intra-domain reuse (b) Documents, reports 2020-01-31 12:50:04
Design of the AMASS tools and methods for cross/intra-domain reuse (b) Documents, reports 2020-01-31 12:50:04
Prototype for multiconcern assurance (c) Demonstrators, pilots, prototypes 2020-01-31 12:50:04
AMASS platform validation Documents, reports 2020-01-31 12:50:04
Dissemination and Training Progress (c) Documents, reports 2020-01-31 12:50:04
Design of the AMASS tools and methods for seamless interoperability (b) Documents, reports 2020-01-31 12:50:04
AMASS open source platform provisioning and website (c) Demonstrators, pilots, prototypes 2020-01-31 12:50:04
AMASS solution benchmarking Documents, reports 2020-01-31 12:50:04
Integrated AMASS platform (c) Demonstrators, pilots, prototypes 2020-01-31 12:50:03
Prototype for cross/intra-domain reuse (c) Demonstrators, pilots, prototypes 2020-01-31 12:50:04
Standardization Roadmap and Report Documents, reports 2020-01-31 12:50:04
Prototype for architecture-driven assurance (c) Demonstrators, pilots, prototypes 2020-01-31 12:50:04
Prototype for seamless interoperability (c) Demonstrators, pilots, prototypes 2020-01-31 12:50:04
Methodological guide for multiconcern assurance (b) Documents, reports 2020-01-31 12:50:04
Methodological guide for seamless interoperability (b) Documents, reports 2020-01-31 12:50:04
External advisory board and industrial adoption program report Documents, reports 2020-01-31 12:50:04
AMASS user guidance and methodological framework Documents, reports 2020-01-31 12:50:04
Methodological guide for architecture-driven assurance (b) Documents, reports 2020-01-31 12:50:04
Design of the AMASS tools and methods for multiconcern assurance (b) Documents, reports 2020-01-31 12:50:04
AMASS reference architecture (c) Documents, reports 2020-01-31 12:50:03
Exploitation Results and Final Market Megatrends Analysis Documents, reports 2020-01-31 12:50:04
Dissemination and Training Progress (b) Documents, reports 2020-01-31 12:50:02
Prototype for architecture-driven assurance (b) Demonstrators, pilots, prototypes 2020-01-31 12:50:02
AMASS demonstrators (b) Demonstrators, pilots, prototypes 2020-01-31 12:50:02
Standardization Plan Documents, reports 2020-01-31 12:50:03
Exploitation Plans and Initial Market Megatrends Analysis (b) Documents, reports 2020-01-31 12:50:03
Evaluation framework and quality metrics Documents, reports 2020-01-31 12:50:03
AMASS open source platform provisioning and website (b) Demonstrators, pilots, prototypes 2020-01-31 12:50:02
Case studies description and business impact Documents, reports 2020-01-31 12:50:03
AMASS demonstrators (a) Demonstrators, pilots, prototypes 2020-01-31 12:50:03
Prototype for cross/intra-domain reuse (b) Demonstrators, pilots, prototypes 2020-01-31 12:50:03
Prototype for seamless interoperability (b) Demonstrators, pilots, prototypes 2020-01-31 12:50:02
Design of the AMASS tools and methods for architecture-driven assurance (b) Documents, reports 2020-01-31 12:50:02
AMASS open source platform provisioning and website (a) Demonstrators, pilots, prototypes 2020-01-31 12:50:02
Integrated AMASS platform (b) Demonstrators, pilots, prototypes 2020-01-31 12:50:03
Prototype for multiconcern assurance (b) Demonstrators, pilots, prototypes 2020-01-31 12:50:02
AMASS open source platform marketing and outreach plan Documents, reports 2020-01-31 12:50:02
Prototype for multiconcern assurance (a) Demonstrators, pilots, prototypes 2020-01-31 12:50:00
External advisory board and industrial adoption program roadmap Documents, reports 2020-01-31 12:50:00
Integrated AMASS platform (a) Demonstrators, pilots, prototypes 2020-01-31 12:50:00
Prototype for cross/intra-domain reuse (a) Demonstrators, pilots, prototypes 2020-01-31 12:50:00
Standardization Survey Documents, reports 2020-01-31 12:50:01
Baseline and requirements for architecture-driven assurance Documents, reports 2020-01-31 12:50:00
Baseline and requirements for seamless interoperability Documents, reports 2020-01-31 12:50:00
Business cases and high-level requirements Documents, reports 2020-01-31 12:50:01
Exploitation Plans and Initial Market Megatrends Analysis (a) Documents, reports 2020-01-31 12:50:00
AMASS open source platform project proposal Documents, reports 2020-01-31 12:50:00
Dissemination and Training Progress (a) Documents, reports 2020-01-31 12:50:01
Prototype for seamless interoperability (a) Demonstrators, pilots, prototypes 2020-01-31 12:50:00
Prototype for architecture-driven assurance (a) Demonstrators, pilots, prototypes 2020-01-31 12:50:00
Baseline and requirements for multiconcern assurance Documents, reports 2020-01-31 12:50:00
Baseline and requirements for cross/intra-domain reuse Documents, reports 2020-01-31 12:50:00
Dissemination and Training Plan Documents, reports 2020-01-31 12:50:01

Take a look to the deliverables list in detail:  detailed list of AMASS deliverables.

 Publications

year authors and title journal last update
List of publications.
2018 Alvaro Gomez
Una aproximación para representar estándares de seguridad con una herramienta de ingeniería de requisitos basada en onotologías
published pages: , ISSN: , DOI:
2020-01-31
2017 J.P. Castellanos Ardila, B. Gallina
Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISO 26262
published pages: , ISSN: , DOI:
1st Workshop on Technologies for Regulatory Compliance (TeReCom) 2020-01-31
2017 B. Gallina, Z. Haider, A. Carlsson
Towards generating ECSS-compliant fault tree analysis results via ConcertoFLA
published pages: , ISSN: , DOI:
2nd International Conference on Reliability Engineering (ICRE 2017) 2020-01-31
2018 Pavlo Rosa
Herramienta para la gestión universal de trazabilidad entre artefactos de sistemas
published pages: , ISSN: , DOI:
2020-01-31
2017 Schoitsch Erwin
Smart Systems Everywhere – how much Smartness is tolerable?
published pages: , ISSN: , DOI: 10.5281/zenodo.1043959
Interdisciplinary Information Management Talks 2020-01-31
2018 Jaroslav Bendík, Ivana Cerna
Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets
published pages: 131-118, ISSN: , DOI: 10.29007/sxzb
EPiC Series in Computing volume 57 2020-01-31
2018 Gallina, B., Ul Muram, F., Castellanos Ardila, J. P.
Compliance of Agilized (Software) Development Processes with Safety Standards: a Vision
published pages: , ISSN: , DOI:
4th International Workshop on Agile Development of Safety-Critical Software (ASCS 2018) 2020-01-31
2018 Gallina, B., Martinez, J.
Reuse in (re)certification of systems
published pages: , ISSN: , DOI:
17th International Conference on Software Reuse (ICSR 2018) 2020-01-31
2017 M. Grabowski
Why Templates on System Behavior Are Not Used in Practice Yet: A Proposal for Enhancements, Application and Formalization
published pages: , ISSN: , DOI:
2020-01-31
2018 Meet the new Eclipse-based tools for Assurance and Certification of Cyber-Physical Systems
Espinoza, H., de la Vara, J.L., Juez, G., Martinez, C., Gallina, B., Puri, S., Mazzini, S., Blondelle, G.
published pages: , ISSN: , DOI:
Eclipse Newsletter July 2018 2020-01-31
2018 Alaña, E., Herrero. J.
Design and Safety assessment of on-board software applications using the AMASS platform
published pages: , ISSN: , DOI:
EUROSPACE - DASIA 2018 2020-01-31
2018 Irfan Sljivo
Assurance Aware Contract-Based Design for Safety-Critical Systems
published pages: , ISSN: , DOI:
2020-01-31
2018 Castellanos Ardila, J.P.
Enabling Automated Compliance Checking of Processes against Safety Standards
published pages: , ISSN: , DOI:
8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018) 2020-01-31
2018 Haider, Z., Gallina, B., Zornoza Moreno, E.
FLA2FT: Automatic Generation of Fault Tree from ConcertoFLA Results
published pages: , ISSN: , DOI:
3rd International Conference on System Reliability and Safety (ICSRS 2018) 2020-01-31
2018 Skogby. S.
Samarbete för att stärka europeisk elektronikindustri
published pages: , ISSN: , DOI:
Elektronik Tidningen October 2018 2020-01-31
2019 Julieth Patricia Castellanos Ardila
Facilitating Automated Compliance Checking of Processes against Safety Standards
published pages: , ISSN: , DOI:
2020-01-31
2018 Castellanos Ardila, J.P., Gallina, B., Governatori, G.
Lessons Learned while Formalizing ISO 26262 for Compliance Checking
published pages: , ISSN: , DOI:
2nd Workshop on Technologies for Regulatory Compliance (TeReCom 2018) 2020-01-31
2018 Gallina B., Haider, Z., Carlsson, A., Mazzini, S., Puri, S.
Multi-concern Dependability-centered Assurance for Space Systems via ConcertoFLA.
published pages: , ISSN: , DOI:
23rd International Conference on Reliable Software Technologies (Ada-Europe 2018 2020-01-31
2018 Álvarez-Rodríguez, J.M., Mendieta, R., de la Vara, J.L., Fraga, A., Llorens, J.
Enabling system artefact exchange and selection through a Linked Data layer
published pages: 1536-1560, ISSN: 0948-6968, DOI: 10.3217/jucs-024-11-1536
Journal of Universal Computer Science 24(11) 2020-01-31
2019 de la Vara, J.L., Ruiz, A., Gallina, B., Blondelle, G., Alaña, E., Herrero, J., Warg, F., Skoglung, M., Bramberger, R.
The AMASS Approach for Assurance and Certification of Critical Systems
published pages: , ISSN: , DOI:
embedded world Conference 2019 2020-01-31
2018 Grabowski, M.
Systematic Refinement of CPS Requirements using SysML, Template Language and Contracts
published pages: , ISSN: , DOI:
Modellierung 2018 2020-01-31
2016 Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
Configuration-aware Contracts
published pages: 43-54, ISSN: , DOI: 10.1007/978-3-319-45480-1_4
Computer Safety, Reliability, and Security LNCS 9943 2020-01-31
2017 Jose Luis de la Vara, Gonzalo Génova, Jose María Álvarez-Rodríguez, Juan Llorens
An analysis of safety evidence management with the Structured Assurance Case Metamodel
published pages: 179-198, ISSN: 0920-5489, DOI: 10.1016/j.csi.2016.10.002
Computer Standards & Interfaces 50 2020-01-31
2017 Gabriel Orlando Jimenez Urrutia
Evaluación de la calidad de \'safety cases\' con una herramienta de ingeniería de requisitos basada en ontologías
published pages: , ISSN: , DOI:
2020-01-31
2016 Silvia Mazzini, John Favaro, Stefano Puri, Laura Baracchi
CHESS: an open source methodology and toolset for the development of critical systems
published pages: , ISSN: , DOI:
OSS4MDE workshop at Models 2016 2020-01-31
2016 Christoph Schmittner, Zhendong Ma, Peter Puschner
Limitation and Improvement of STPA-Sec for Safety and Security Co-analysis
published pages: 195-209, ISSN: , DOI: 10.1007/978-3-319-45480-1_16
Computer Safety, Reliability, and Security LNCS 9923 2020-01-31
2016 Jaroslav Bendík, Nikola Benes, Ivana Cerná, Jiri Barnat
Tunable Online MUS/MSS Enumeration
published pages: , ISSN: 1868-8969, DOI: 10.4230/LIPIcs.FSTTCS.2016.50
Foundations of Software Technology and Theoretical Computer Science - 36th International Conference 2020-01-31
2016 Eduardo de Tena Martínez
Extracción de la Información Presente en Diagramas en Formato Imagen
published pages: , ISSN: , DOI:
2020-01-31
2016 Roy Arturo Mendieta Zuniga
Knowledge Reuse in SysML Models
published pages: , ISSN: , DOI:
2020-01-31
2016 Javier Fernández Páez
Análisis de Consistencia Temporal en Requisitos: Propuesta de Modelo
published pages: , ISSN: , DOI:
2020-01-31
2016 B. Gallina, J.P. Castellanos Ardila, M. Nyberg
Towards Shaping ISO 26262-compliant Resources for OSLC-based Safety Case Creation
published pages: , ISSN: , DOI:
4th International Workshop on Critical Automotive Applications: Robustness & Safety (CARS) 2020-01-31
2016 Sami Alajrami, Alexander Romanovsky, Barbara Gallina
Software Development in the Post-PC Era: Towards Software Development as a Service
published pages: 662-671, ISSN: , DOI: 10.1007/978-3-319-49094-6_53
17th International Conference on Product-Focused Software Process Improvement (PROFES) 2020-01-31
2016 Oscar Leonardo González Gómez
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
published pages: , ISSN: , DOI:
2020-01-31
2016 Barbara Gallina, Elena Gómez-Martínez, Clara Benac-Earle
Promoting MBA in the rail sector by deriving process-related evidence via MDSafeCer
published pages: , ISSN: 0920-5489, DOI: 10.1016/j.csi.2016.11.007
Computer Standards & Interfaces 2020-01-31
2017 Wilheim Cervantes
Una aproximación basada en tecnologías semánticas para la representación de estándares de seguridad
published pages: , ISSN: , DOI:
2020-01-31
2017 Cristina Barcia Gonzalez
Estudio de los beneficios de una herramienta industrial para la evaluación basada en ontologías de la calidad de requisitos
published pages: , ISSN: , DOI:
2020-01-31
2017 Alejandro Rodriguez
Herramienta basada en modelos para gestión de evidencias de sistemas críticos de seguridad
published pages: , ISSN: , DOI:
2020-01-31
2016 Elena Correas Montiel
Generación Automática de Editores y Repositorios de Evidencias a partir de Modelos de Estándares de Seguridad
published pages: , ISSN: , DOI:
2020-01-31

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "AMASS" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "AMASS" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.2.1.1.7.)

APPLAUSE (2019)

Advanced packaging for photonics, optics and electronics for low cost manufacturing in Europe

Read More  

HELIAUS (2019)

tHErmaL vIsion AUgmented awarenesS

Read More  

PIN3S (2019)

Pilot Integration of 3nm Semiconducter technology

Read More