Partners

TECNALIA Research & Innovation is the first privately funded Applied Research Centre in Spain and one of the leading such centres in Europe. With our 1,475 highly-qualified employees, a 110 million Euros turnover and a portfolio with over 4,000 clients, TECNALIA is determined to change its way of working with companies to promote the transformation of knowledge into wealth.

Short name: TEC
Country: ES
 

AIT is Austria's largest extra-university research institute and brings in expertise from SafeCer and from other projects in the area of combined treatment of safety and security (EMC2, Arrowhead, CARONTE) and in the area of verification and validation and tool integration (MBAT, CRYSTAL).

Short name: AIT
Country: AT

A4T is a software publishing company in functional validation, safety analysis and system engineering of increasingly complex and interconnected systems. For 15 years, ALL4TEC has been a pioneer in Model-Driven Engineering.

Short name: A4T
Country: FR

Alstom is a world leader in integrated railway systems.
As a promoter of sustainable mobility, Alstom develops and markets systems, equipment and services for the railway sector.
Alstom manages the widest range of solutions in the market – from high-speed trains to metros and tramways – customised services (maintenance, modernisation,…) and infrastructure and signalling solutions.

Short name: ALS
Country: FR
 

Expertise for world-leading companies through committed engineering and IT consultants. Our customers are found in the Energy, Telecom, Automotive, Defence & Aerospace and other industries and we cover the whole product development cycle. We are a part of the Alten Group and have a workforce of over 18,400 in 20 countries.

Short name: ALT
Country: SE

Berner & Mattner Systemtechnik GmbH specializes in systems engineering, development and testing of complex electronic and mechanical systems. B&M offers a variety of services ranging from consulting, conceptual design, software and systems development to the setup and operation of entire test and integration systems.

Short name: B&M
Country: DE

SME specialised in the development of safety critical software and systems mainly in the railways. ClearSy has developed or contributed to a number of CASE and engineering formal tools.

Short name: CLS
Country: FR

COMENTOR delivers expertise within functional safety and software systems.

Short name: COM
Country: SE

Public research institute focusing on the development of software and hardware technology for highly integrated complex systems (transport, energy, robotics, etc).

Short name: CEA
Country: FR

Eclipse is a global open source community with over 250 projects, more than 1000 committers, over 200 member organizations supporting the operation of the Foundation, and with an estimated 8 million developers using Eclipse.

Short name: ECL
Country: DE

FBK researchers participating in the project are well-recognized experts in the field of formal methods, formal verification, safety analysis, and have a strong expertise in participation to EU projects and in technology transfers projects with major companies and industrial agencies, especially in the area of the design of safety-critical systems in domains such as railway, avionics and space.

Short name: FBK
Country: IT

GMV is leading world space provider for Space Agencies, spacecraft manufactures, and commercial satellite operators. Skills: Model-based design, development of safety critical embedded systems, reuse, etc.

Short name: GMV
Country: ES

 

Honeywell leads and contributes to many European and national R&D projects and has successfully contributed to several projects in the fields of cyber physical and safety critical systems.

Short name: HON
Country: CZ

Infineon is the No. 2 chip supplier to the automotive industry. Their sustained success in automotive electronics is attributed to a consistent focus on automotive applications and their requirements.

Short name: IFX
Country: DE

INT designs and develops applications, tools, software, hardware components and products for Aerospace, Defense, Transportation, Telecommunication and Smart Systems. The ITS Unit of Intecs has large experience in methods and tools for system and software model-based development, in all relevant safety-critical domains and brings in expertise acquired in CHESS, SafeCer, SESAMO, OPENCOSS and CONCERTO.

Short name: INT
Country: IT

Virtual Vehicle (ViF) is a scientific partner with the focus on research and development for the automotive industry. ViF provides skills on model based systems and safety engineering, safety analyses, verification methods and safety certification based on the experience from SafeCer, MBAT, VeTeSS, CRYSTAL and EMC².

Short name: VIF
Country: AT

 

KMT brings into the project its expertise as a tool vendor in the area of functional safety tools. KMT is the vendor of medini analyze, the laeding safety analysis tool for Automotive embedded systems and ISO 26262.

Short name: KMT
Country: DE

LAN mission is to develop emerging possibilities within the area of unmanned aircraft with extremely long endurance.

Short name: LAN
Country: DE

University- brings in expertise acquired in SafeCer, SYNOPSIS, CHESS, and CONCERTO regarding safety-critical systems/software engineering and certification (more specifically, safety processes, safety contracts, safety modeling, safety analysis, reuse of safety artifacts)

Short name: MDH
Country: SE

Expertise in formal verification and deployment of tools for model checking.

Short name: UOM
Country: CZ

OHB Sweden is a Swedish provider of space systems and develops, builds, tests and operates satellites for different kinds of space missions within communications, earth observation, space research and exploration. In addition to its expert capabilities within mission and system design and integration OHB Sweden also specialize in propulsion and AOCS (Attitude and Orbit Control) subsystems. OHB Sweden has experience from 11 highly successful space missions ranging from science to telecom satellites.

Short name: OHB
Country: SE

Specialist in on-target verification tools for realtime embedded systems, with special emphasis on timing analysis and worst-case execution time analysis (WCET) tools. Their main markets are the avionics, space and automotive industries.

Short name: RPT
Country: UK

RINA Services is one of the oldest classification and certification body in the world. It is accredited by the Italian National Safety Authority as an Independent Safety Assessor.

Short name: RIN
Country: IT

Schneider Electric develops connected technologies and solutions to manage energy and process in ways that are safe, reliable, efficient and sustainable. The Group invests in R&D in order to sustain innovation and differentiation, with a strong commitment to sustainable development

Short name: TLV
Country: ES

SP Technical Research Institute of Sweden is a leading international research institute. The effort in the AMASS project will be carried out by the Dependable systems team of the Electronic division.

Short name: SPS
Country: SE

For more than 40 years now, Thales Alenia Space has designed, integrated, tested, operated and delivered innovative space systems. Our cutting-edge products and services meet the needs of commercial and government customers from around the world.

Shor name: TAS
Country: ES

Leading world provider of air navigation systems. CPSs, model-based sw design, dependability issues, standards.

Short name: THI
Country: IT

Experience in requirements engineering and software quality analysis. Experience in software reuse. Experience in OSLC-based means for data exchange (mainly requirements and knowledge).

Short name: TRC
Country: ES
Experience in the specification and development of generic model-based solutions for compliance with safety standards, of OSLC-based means for data exchange, and of ontology-based approaches for system quality assurance.
Short name: UC3
Country: ES