#	Pagina
attuale pagina	/open-h2020/projects/202642/index.html
-1	/open-h2020/projects/221414/index.html
-2	/open-h2020/projects/210640/index.html
-3	/open-h2020/projects/221171/index.html

Opendata, web and dolomites

AMASS SIGNED

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

Total Cost €

EC-Contrib. €

Partnership

Views

Outcomes and
results

AMASS project word cloud

Explore the words cloud of the AMASS project. It provides you a very rough idea of what is the project "AMASS" about.

human tools amass ccl architecture market safecer platform oriented verification embedded demonstration assessments unifying reuse party harmonized vertical supplier security compositional self assets standards environmental consolidate incremental certification exacerbated combining significantly autosar ultimate cps ima external technological changing assurance solutions critical sustainable model perform led time ecosystem reduce cyber dealt de intensive industries establishing automation physical dependability language opencoss lower seamless compliance software community compatible facto markets spanning safety complexity start cpss contract labor interconnected overheads techniques interoperability validated risks engineering tool covered holistic lines create

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 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.	ES (DERIO BIZKAIA)	coordinator	577˙268.00
2	MAELARDALENS HOEGSKOLA MAELARDALENS HOEGSKOLA Organization address address: HOGSKOLEPLAN 1 city: VASTERAS postcode: 721 23 website: www.mdh.se contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	SE (VASTERAS)	participant	498˙597.00
3	INFINEON TECHNOLOGIES AG INFINEON TECHNOLOGIES AG Organization address address: AM CAMPEON 1-15 city: NEUBIBERG postcode: 85579 website: www.infineon.com contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DE (NEUBIBERG)	participant	380˙550.00
4	COMMISSARIAT A L ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES COMMISSARIAT A L ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES Organization address address: RUE LEBLANC 25 city: PARIS 15 postcode: 75015 website: www.cea.fr contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	FR (PARIS 15)	participant	321˙436.00
5	AIT AUSTRIAN INSTITUTE OF TECHNOLOGY GMBH AIT AUSTRIAN INSTITUTE OF TECHNOLOGY GMBH Organization address address: GIEFINGGASSE 4 city: WIEN postcode: 1210 website: http://www.ait.ac.at/ contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	AT (WIEN)	participant	321˙395.00
6	EXPLEO GERMANY GMBH EXPLEO GERMANY GMBH Organization address address: WILHELM-WAGENFELD-STRASSE 1-3 city: MUNCHEN postcode: 80807 website: www.berner-mattner.com contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DE (MUNCHEN)	participant	312˙884.00
7	UNIVERSIDAD CARLOS III DE MADRID UNIVERSIDAD CARLOS III DE MADRID Organization address address: CALLE MADRID 126 city: GETAFE (MADRID) postcode: 28903 website: http://www.uc3m.es contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	ES (GETAFE (MADRID))	participant	252˙047.00
8	ALTEN SVERIGE AKTIEBOLAG ALTEN SVERIGE AKTIEBOLAG Organization address address: THERES SVENSSONS GATA 15 city: GOTEBORG postcode: 417 55 website: http://www.alten.se contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	SE (GOTEBORG)	participant	243˙466.00
9	THALES ALENIA SPACE ESPANA, SA THALES ALENIA SPACE ESPANA, SA Organization address address: CALLE EINSTEIN 7 city: TRES CANTOS - MADRID postcode: 28760 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	ES (TRES CANTOS - MADRID)	participant	239˙250.00
10	KNOWLEDGE CENTRIC SOLUTIONS SL KNOWLEDGE CENTRIC SOLUTIONS SL Organization address address: CALLE MARGARITA SALAS 16 PARQUE TECNOLOGICO LEGATE city: LEGANES MADRID postcode: 28919 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	ES (LEGANES MADRID)	participant	237˙040.00
11	THALES ITALIA SPA THALES ITALIA SPA Organization address address: VIA PROVINCIALE LUCCHESE 33 city: SESTO FIORENTINO postcode: 50019 website: www.thalesgroup.com contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	IT (SESTO FIORENTINO)	participant	231˙933.00
12	VIRTUAL VEHICLE RESEARCH GMBH VIRTUAL VEHICLE RESEARCH GMBH Organization address address: INFFELDGASSE 21 A city: GRAZ postcode: 8010 website: www.v2c2.at contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	AT (GRAZ)	participant	217˙100.00
13	ANSYS MEDINI TECHNOLOGIES AG ANSYS MEDINI TECHNOLOGIES AG Organization address address: DESSAUER STRASSE 28 29 city: BERLIN postcode: 10963 website: www.ikv.de contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DE (BERLIN)	participant	215˙623.00
14	ALSTOM TRANSPORT SA ALSTOM TRANSPORT SA Organization address address: 48 RUE ALBERT DHALENNE city: SAINT OUEN postcode: 93400 website: www.alstom.com contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	FR (SAINT OUEN)	participant	205˙706.00
15	FONDAZIONE BRUNO KESSLER FONDAZIONE BRUNO KESSLER Organization address address: VIA SANTA CROCE 77 city: TRENTO postcode: 38122 website: www.fbk.eu contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	IT (TRENTO)	participant	201˙088.00
16	SCHNEIDER ELECTRIC ESPANA SA SCHNEIDER ELECTRIC ESPANA SA Organization address address: BAC DE RODA 52 EDIF A city: BARCELONA postcode: 8019 website: www.schneider-electric.com contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	ES (BARCELONA)	participant	199˙843.00
17	ALLIANCE POUR LES TECHNOLOGIES DE L'INFORMATIQUE ALLIANCE POUR LES TECHNOLOGIES DE L'INFORMATIQUE Organization address address: 21 RUE FERDINAND BUISSON PARC CERES BATIMENT L city: CHANGE postcode: 53810 website: www.all4tec.net contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	FR (CHANGE)	participant	187˙875.00
18	HONEYWELL INTERNATIONAL SRO HONEYWELL INTERNATIONAL SRO Organization address address: V PARKU 2325/16 CHODOV city: PRAHA postcode: 148 00 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	CZ (PRAHA)	participant	183˙361.00
19	CLEARSY SAS CLEARSY SAS Organization address address: AVENUE ARCHIMEDE, ZAC DE LA DURANNE, LES PLEIADES III A 320 city: AIX EN PROVENCE postcode: 13857 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	FR (AIX EN PROVENCE)	participant	173˙503.00
20	RAPITA SYSTEMS LIMITED RAPITA SYSTEMS LIMITED Organization address address: ATLAS HOUSE OSBALDWICK LINK ROAD city: YORK postcode: YO10 3JB website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	UK (YORK)	participant	167˙578.00
21	LANGE RESEARCH AIRCRAFT GMBH LANGE RESEARCH AIRCRAFT GMBH Organization address address: BRUSSELER STRASSE 30 city: ZWEIBRUCKEN postcode: 66482 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DE (ZWEIBRUCKEN)	participant	163˙482.00
22	INTECS SPA INTECS SPA Organization address address: VIA CRESCENZIO 2 city: ROMA postcode: 193 website: www.intecs.it contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	IT (ROMA)	participant	110˙806.00
23	Masarykova univerzita Masarykova univerzita Organization address address: Zerotinovo namesti 9 city: BRNO STRED postcode: 60177 website: http://www.muni.cz contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	CZ (BRNO STRED)	participant	96˙000.00
24	OHB SWEDEN AB OHB SWEDEN AB Organization address address: BOX 1269 city: KISTA postcode: 164 29 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	SE (KISTA)	participant	89˙062.00
25	GMV AEROSPACE AND DEFENCE SA GMV AEROSPACE AND DEFENCE SA Organization address address: CALLE ISAAC NEWTON PARQUE TECNOLOGICO DE MADRID city: TRES CANTOS postcode: 28760 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	ES (TRES CANTOS)	participant	83˙281.00
26	RISE RESEARCH INSTITUTES OF SWEDEN AB RISE RESEARCH INSTITUTES OF SWEDEN AB Organization address address: BRINELLGATAN 4 city: BORAS postcode: 501 15 website: www.ri.se contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	SE (BORAS)	participant	74˙917.00
27	ECLIPSE FOUNDATION EUROPE GMBH ECLIPSE FOUNDATION EUROPE GMBH Organization address address: ANNASTRASSE 46 city: ZWINGENBERG postcode: 64673 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DE (ZWINGENBERG)	participant	71˙250.00
28	Comentor AB Comentor AB Organization address address: Lindholmspiren 5A city: GOTEBORG postcode: 417 56 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	SE (GOTEBORG)	participant	56˙226.00
29	INTECS SOLUTIONS SPA INTECS SOLUTIONS SPA Organization address address: VIA GIACOMO PERONI 130 city: ROMA postcode: 131 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	IT (ROMA)	participant	31˙068.00
30	RINA SERVICES SPA RINA SERVICES SPA Organization address address: VIA CORSICA 12 city: GENOVA postcode: 16128 website: www.rina.org contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	IT (GENOVA)	participant	15˙625.00
31	AVL LIST GMBH AVL LIST GMBH Organization address address: HANS-LIST-PLATZ 1 city: GRAZ postcode: 8020 website: www.avl.com contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	AT (GRAZ)	participant	10˙885.00
32	CENTRO DE INNOVACION Y SOLUCIONES EMPRESARIALES Y TECNOLOGICAS SL CENTRO DE INNOVACION Y SOLUCIONES EMPRESARIALES Y TECNOLOGICAS SL Organization address address: PARQUE TECNOLOGICO LEGATEC, CALLE MARGARITA SALAS 16, PLANTA 2 city: LEGANES (MADRID) postcode: 28919 website: www.ciset.es contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	ES (LEGANES (MADRID))	participant	8˙087.00
33	TELVENT ENERGIA SA TELVENT ENERGIA SA Organization address address: CALLE VALGRANDE 6 city: MADRID postcode: 28108 website: www.telvent.com contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	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

List of publications.
year	authors and title	journal	last update
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.