Research projects

2023–2026

TwinSpace

Resource-Coupled Hardware–Software Co-Design

This project develops an integrated solution for the co-design of hard­ware and software that simulates the resource usage of software systems during their development, even at early design stages. Thanks to an innovative combination of automated reverse engi­neer­ing and simulated hardware platform tests, highly optimized code can be produced or re-compiled for each specific hardware configu­ration. This makes the development process fully transparent from the get-go, accelerates and simplifies the integration of new software com­po­nents, and helps achieve a previously unseen balance between the economic benefits and the ecological sustainability of safety-relevant software systems.

Consortium: EFS, CARIAD, AbsInt, emmtrix, Tensor Embedded, Sysgo, NXP, Universities of Augsburg, Luebeck, Clausthal, and Cottbus-Senftenberg.

2023–2026

FreeSBee

Side-Channel-Free Software for Embedded Systems

Sponsored by the German Ministry for Education and Research, this project develops tool-assisted methods for automated recognition and rectifi­cation of security flaws in embedded systems that can be exploited for side-channel attacks. Consortium: AbsInt, FZI Karlsruhe, Kasper & Oswald.

2022–2025

TRISTAN

Together for RISC-V Technology and Applications

This multinational EU-funded project aims to further expand and develop the RISC-V architecture such that it can compete with existing commercial alternatives. This open specification eliminates the need to learn and create unique ecosystems for each processor architecture, increasing productivity, security and transparency. The approach developed in the TRISTAN project will be holistic, covering both electronic design automation tools and the full software stack.

Consortium: NXP, Infineon, ST Microelectronics, CEA, Bosch, Siemens, Thales, Leonardo, MinRes, Techno­lution, AntMicro, Sysgo, AbsInt, Nokia, Yonga, Eclipse Foundation, Epos, Tampereen, Cargotec, CodaSip, aicas, VLSI Solution, Tensor Em­bedded, Irdeto, Royal Nether­lands Aero­space Center, E4 Com­puter En­gineering, Stroh­mayer Klaus, Accemic, Green­waves Tech­nologies, IMEC, Fraunhofer, Synthara, Univer­sities of Twente, Turin, and Bologna, TUs of Munich, Darmstadt, Graz, and Zurich.

2020–2025

Scale4Edge

Scalable Infrastructure for Edge Computing

This project aims to strengthen the technology sov­ereignty in Germany, starting with the competence of German com­pa­nies and universities in the field of processor tech­nology and the associated supply chains for various edge appli­cations. This will result in new pro­ces­sor architectures, innovative software, and special verification approaches, thus strength­ening technology sovereignty for the entire ecosystem. As a specific use case, Bosch developed a neural-network based audio-event detection model, which has been ported to a Pulpissimo-based SoC platform using components and software of the Scale4Edge ecosystem. Our contribution includes adapting the CompCert compiler for the RISC-V architecture.

Consortium: Infineon, Altair, DLR, Bosch, FZI, EPOS, Sysgo, AbsInt, IHP, MinRes, HM Munich, Universities of Darmstadt, Dresden, Munich, Bremen, Paderborn, Freiburg, Tuebingen, and Kaiserslautern.

2020–2024

QSMA

Qualifiable Software Parallelization for Multicore Avionics Systems

A civil-aviation project by the German Federal Ministry for Eco­nom­ic Affairs and Energy. The project aims to establish a DO-178C/DO-330 qualifiable tool­chain for multi­core software develop­ment. The tool­chain includes CompCert and TimeWeaver. For demonstration, it is used to develop a TSO-C151b Terrain Avoid­ance and Warning System in accor­dance with DAL-C. Consortium: emmtrix, DLR, AbsInt, TU Clausthal, Validas.

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

FreeSBee
TeamPlay
FORTISSIMO
FORTE
PREDATOR
ASTEC
TwinSpace
EMPHYSIS
CONIRAS
TIMMO-2-USE
Verisoft XT
Verisoft
DAEDALUS
TRISTAN
PROFORMA
T-CREST
COLA
EmBounded
QSMA
AQUAS
MBAT
Interested
Interest
Scale4Edge
EMPHASE
CERTAINTY
SuReal
MORAL
ARAMiS II
ARAMiS
ES_PASS
ARGO
ALL-TIMES
ASSUME
artist2
CESAR
2017–2021

EMPHYSIS

Embedded Systems with Physical Models in the Production-Code Software

2021 ITEA Award of Excellence, Special Vice-Chairman’s Award.

In this project, 26 partners from five countries developed a new open standard, eFMI, to exchange physics-based models be­tween high-level modeling and simula­tion en­viron­ments and low-level devel­opment tools for embedded code. The stan­dard captures func­tional and non-functional quality require­ments, supports trace­ability, and enables semi-automatic gen­er­ation of code that is 25% faster than state-of-the-art hand­written code. The project additionally produced 33 use cases, 40 simu­lation con­figu­rations, and 13 tool proto­types.

Consortium: Bosch, Siemens, Volvo, Renault, Dassault, Maplesoft, CEA, Dana Belgium, FH Electronics, Grenoble INP, OSE En­gineering, SOBEN, DLR, AbsInt, dSPACE, ETAS, ESI ITI, e:fs, PikeTec, Autoliv, RISE, Modelon, Univer­sities of Linköping and Antwerp.

2018–2021

TeamPlay

Time, Energy, and Security Analysis for Multi- and Many-Core Heterogeneous Platforms

This project developed new, formally-motivated tech­niques that allow execution time, energy usage, security, and other important non-functional properties of parallel software to be treated as first-class citizens. The project brought to­geth­er leading industrial and academic experts in parallelism, energy modeling, worst-case execu­tion time analysis, non-functional property analysis, compi­lation, security, and task coordination. Results were evaluated using industrial use cases taken from the domains of computer vision, satellites, flying drones, medi­cine and cybersecurity. The three-year project was funded by the EU Horizon 2020 research and innovation programme.

Consortium: INRIA, Thales Alenia Space, Sky-Watch, IRIDA Labs, AbsInt, Universities of Amsterdam, Hamburg, Bristol, St. Andrews, and Southern Denmark.

2020–2024

MORAL

Export-Free Rad-Hard Microcontroller for Space Applications

This project developed a completely European, ITAR-free micro­controller for space applications, with a focus on small satellites, flight control and payload com­puters for the purposes of mission control, earth obser­va­tion, navigation and other appli­ca­tions. The micro­controller provides mech­a­nisms for increased reliability and adapt­ability with respect to the needs of the space applications. In addi­tion to the micro­controller, the required ITAR-free middleware, RTOS and toolchain have been made available. Consortium: IHP, Sysgo, AbsInt, RedCat Devices, Thales Alenia Space.

2017–2019

EMPHASE

Integrated Energy-Saving Multi-Processor Platform for Autonomous Electric Driving

Funded by the German Federal Ministry of Education and Research, this project developed an energy-efficient computer system for processing sensor data in auto­mated vehicles.

Consortium: Audi, DENSO, Infineon, Silicon Radar, SYSGO, AbsInt, Cadence, IHP, TU Brunswick.

2017–2020

AQUAS

Aggregated Quality Assurance for Systems

This project investigated the challenges arising from the inter­de­pen­dence of safety, security and performance of safety-critical systems in trans­por­tation, medicine, space, and industrial control. AQUAS aimed at efficient solutions for the entire product life-cycle, and devised a co­ordi­nated engi­neering ap­proach to address the ever-growing require­ments on security and performance, while maintaining safety. Our contribution included combining safety analysis in the design phase with WCET analysis in the implementation phase, performing TimingProfiler analyses of Thales Alenia Space software, and using the static analyzer Astrée to analyze SYSGO’s PikeOS operating system.

Consortium: CEA, Thales, Thales Alenia Space, Siemens, Ansys Medini, RGB Medical Devices, SYSGO, AbsInt, All4tec, Clearsy, Brno University of Tech­nology, Austrian Institute of Technology, Tecnalia, ITI, Intecs, Telecom ParisTech, TrustPort, Magillem, Integrasys, RheinMain University of Applied Sciences, Universities of London and L’Aquila.

2018–2020

PROFORMA

Formal Analysis of the Propagation of Spurious Hardware Errors

Funded by the German Federal Ministry of Education and Research, this project investigated the effects of hardware errors on the software. These included single-event upsets that manifest themselves via bit flips in memory cells and registers. PROFORMA worked on models, techniques, and automatic tool chains that enable developers to formally prove whether or not hardware errors will affect particular tasks or certain functionality. Among other things, our contribution included extending the static analyzer Astrée to support taint analysis.

Consortium: AbsInt, TU Kaiserslautern, Verified Systems International.

2015–2018

ASSUME

Affordable Safe and Secure Mobility Evolution

In this project, 38 partners from five countries devised an affordable and safe multi-core engineering methodology that allows the industry to develop mobility solutions with trust­worthy new functions at com­peti­tive prices. Our contribution included improving the usability of the formally-verified CompCert compiler, raising the precision and effi­cien­cy of the static analyzer Astrée, extending the aiT WCET Analyzer to support the analysis of code running on the second generation of the Kalray MPPA processor, and extending Astrée to support AUTOSAR supple­mentary libraries, real-time POSIX, and sound analysis of data races and deadlocks.

Consortium: INRIA, Airbus, ENS, Esterel, Kalray, Thales, Safran (Snecma), Safran (Sagem), Daimler, BTC, Expleo, FZI, KIT, Model Engineering, OFFIS, Bosch, AbsInt, NXP, Recore, TNO, VDL, Verum Software, Arcticus, FindOut, KTH, Scania, Arçelik, Ericsson, Ford, Havelsan, KoçSistem, UNIT, Univer­si­ties of Sorbonne, Kiel, Munich, Eindhoven, Twente, and Mälardalen.

2016–2019

ARAMiS II

A follow-up to the ARAMiS project. This time, the focus lay on optimization and advancement of the development processes, especially tools and platforms for the efficient usage of multicore technology. The appli­cability of all concepts and approaches was put to the test in industrial use cases from the automotive, avionics and industry automation domains. The three-year project was sponsored by the German Federal Ministry of Education and Research.

Consortium: DLR, Audi, Bosch, Continental, DENSO, Schaeffler, Airbus, General Electric, Hensoldt, Diehl Aerospace, Liebherr Aerospace, Siemens, WIKA Mobile Control, KSB, AbsInt, Accemic, ElektroBit, OpenSynergy, Silexica, Symtavision, Vector, Fraunhofer, KIT, OFFIS, ISP, fortiss, Universities of Augsburg and Kiel, TUs of Brunswick, Kaiserslautern, and Munich.

2016–2019

ARGO

WCET-Aware Parallelization of Model-Based Applications for Heterogeneous Parallel Systems

This project developed a holistic approach for programming hetero­ge­neous multicore and many-core architectures using automatic paral­leli­zation of model-based real-time applications. ARGO enhanced WCET-aware auto­matic par­allel­ization by a cross-layer programming approach com­bining automatic tool-based and user-guided paralleli­zation, thus reducing the need for expertise in pro­gramming parallel hetero­geneous archi­tectures. Among other things, our contribution included porting our flagship product aiT to Xentium, as well as supplying aiT for LEON3 with a memory-access counting extension.

Consortium: KIT, DLR, Dassault, Fraunhofer, TEU of Western Greece, emmtrix, AbsInt, University of Rennes 1.

2011–2015

ARAMiS

Funded by the German Federal Ministry of Education and Research, this research project demonstrated the usability of multicore tech­nology in safety-critical applications and improved the technological basis for increased safety, efficiency, and comfort in the automotive, avionics, and rail trans­portation domains. Our contribution included developing a new static analysis type for multi-core architectures, to automatically recognize accesses to shared resources.

Consortium: KIT, Audi, BMW, Bosch, Continental, Daimler, Airbus, Symtavision, SYSGO, Vector, AbsInt, OFFIS, and 18 others.

2014–2016

CONIRAS

Continuous Non-Intrusive Runtime Analysis of Systems-on-Chip

With the aid of an all-new debugging system, this project collected and analyzed trace data in real time. To that end, an FPGA platform and several specialized synthesis applications were developed. The work was funded by the German Federal Ministry of Education and Research. Consortium: AbsInt, accemic, TU Darmstadt, University of Luebeck.

2014–2016

FORTISSIMO

Formal Techniques for Embedded Systems

A mid-term project funded by the German Federal Ministry of Edu­cation and Research. A follow-up to the FORTE project, this time focusing on veri­fication of concurrent systems.

Consortium: AbsInt, OneSpin Solutions, TU Kaiserslautern.

Partner up with us

Contribute your expertise. Benefit from ours. Get in touch.

2011–2014

MBAT

This project enabled effective and efficient validation and veri­fication of embedded systems, by combining advanced model-based testing tech­nologies with static analysis and verification techniques. Led by Daimler and funded by the European ARTEMIS Joint Under­taking, the project brought together 39 partners from nine countries.

Consortium: Daimler, Airbus, Infineon, IBM, Thales, Dassault, Volvo, Siemens, CEA, ENS, Fraunhofer, BTC, ENEA, PikeTec, MBtech, OFFIS, Ansaldo, Leonardo, Selex, Ricardo, ALES, AMET, AVL LIST, All4tec, Alstom, Elvior, Alenia Aermacchi, Alten, Virtual Vehicle Research, KTH, Austrian Institute of Technology, Universities of Aalborg and Mälardalen, TUs of Munich and Graz.

2011–2014

T-CREST

Time-Predictable Multi-Core Architecture for Embedded Systems

This project devised and built a system that prevents delays in the exe­cu­tion of safety-critical software, lowers devel­opment costs and reduces complexity. The project was partially funded by the European Commission under the 7th Framework Programme for Information and Commu­nications Tech­nolo­gies. Consortium: The Open Group, TU Denmark, AbsInt, GMV, Intecs, TU Eindhoven, TU Vienna, University of York.

2011–2014

CERTAINTY

Certification of Real-Time Applications Designed for Mixed Criticality

This project worked out a methodo­logy for the devel­opment of com­plex critical applications, notably for many-core and multicore pro­cessors. This in­cluded a DOL-critical tool chain, Network-on-Chip tools, a code-generation tool chain for Kalray MPPA, and runtime environ­ment tools. The project was funded by the European Commission under the 7th Framework Programme for Information and Communications Tech­nologies. Consortium: Thales, Kalray, ARTTIC, Université Joseph Fourier, AbsInt, ETH Zurich, Uppsala University, TU Brunswick.

2009–2012

CESAR

Cost-Efficient Methods and Processes for Safety-Relevant Embedded Systems

The goal of this European-funded project from the ARTEMIS Joint Under­taking was to boost the cost efficiency of embedded-system devel­op­ment, safety processes, and certification. CESAR pursuited a multi-domain approach, integrating large enterprises, suppliers, SMEs, vendors of cross sectoral domains, and leading research organiza­tions.

Consortium: AVL LIST, Airbus, Infineon, DLR, Thales, Safran, Siemens, ABB, Hitachi, Volvo, Fiat, Delphi, Dassault, Esterel, CEA, CNRS, INRIA, ONERA, Selex, NTNU, KTH, SINTEF, BTC Embedded Systems, Fraunhofer, AbsInt, OFFIS, alenia, Danieli Automation, Virtual Vehicle Research, Critical Software, Acciona Construccion, Tecnalia, Auvation Software, Hellenic Aero­space Industry, Universities of Oxford, Manchester, Athens, Thessaloniki, Trieste, and Bologna.

2010–2012

TIMMO-2-USE

Timing Model — Tools, Algorithms, Languages, Methodology, Use Cases

This project addressed the specification, tran­si­tion and exchange of rel­e­vant timing information throughout different steps of the AUTOSAR-based devel­opment process and tool chain. This was achieved using the Timing Aug­ment­ed Descrip­tion Language, TADL2, that offers capabilities for sym­bolic time expressions modeling, probabi­listic timing information, and timing con­straints applied on mode definitions and aligned with EAST-ADL and AUTOSAR timing models. Our contribution included integrating the aiT WCET Analyzers and the static analyzer Astrée with TargetLink from dSPACE.

Consortium: Volvo, INRIA, Delphi, Continental, Bosch, Rapita Systems, Arcticus, dSPACE, AbsInt, Symtavision, Inchron, RealTime-at-Work, Time Critical Networks, Chalmers University of Technology, Universities of Brunswick, Paderborn, and Mälardalen.

2011–2013

FORTE

Formal Techniques for Embedded Systems

A mid-term project funded by the German Federal Ministry of Education and Research. It improved and integrated the project partners’ formal veri­fication techniques for C and VHDL programs, thus increasing the overall benefit of formal verification, especially for the automotive in­dustry.

Consortium: AbsInt, TU Kaiserslautern.

2009–2010

COLA

Cache Optimizations for LEON Analyses

A research project funded by the European Space Agency ESA under the basic Technology Research Programme, and a follow-up project to PEAL2 (Prototype Execution-time Analyser for LEON). This time, the project partners investigated how software running on a processor with cache can achieve maximum performance while remaining testable, pre­dictable and analyzable. The work was done with particular reference to the LEON, which is widely used in space applications. Our contribution included porting our flagship product aiT WCET Analyzer to support LEON.

Consortium: University of Padua, Thales Alenia Space, Rapita Systems, AdaCore, AbsInt.

2008–2011

PREDATOR

Design for Predictability and Efficiency

A three-year focused-research project within the European Commission’s 7th Framework Programme on Research, Technological Development and Demonstration. Steered by Airbus and Bosch, the project im­proved the design and development methods for safety-critical embedded systems, by devel­oping architectural concepts that support the derivation of timing guarantees for hard real-time systems, and providing the cor­re­sponding architectural platforms. Our contribution included extending the aiT WCET Analyzer with UCB (Useful Cache Block) analysis, and extending the XTC (XML Timing Cookies) format to allow the transfer of UCB analysis results and cache-content information to scheduling tools.

Consortium: Saarland University, Swiss Federal Institute of Technology, TU Dortmund, University of Bologna, Scuola Superiore Sant’Anna, AbsInt, EADS Airbus, Bosch.

2008–2012

artist2

Network of Excellence in Embedded Systems Design

This project established a unique European virtual center of excellence, combining competencies from electrical en­gineering, computer science, applied mathematics and control theory, and covering all aspects of embedded-systems design from theory through to applications.

Our cluster: Compilers and Timing Analysis

Partners: ST Microelectronics, AbsInt, TU Vienna, RWTH Aachen, Universities of Mälardalen, Saarland, Dortmund and York.

2006–2009

SuReal

Safety Guarantees under Real-Time Requirements

A middle-term research project focused on creation of a continuous de­vel­op­ment process for embedded systems which allows formal ve­ri­fi­cation of safety-critical real-time aspects.

Consortium: AbsInt, DFKI, Symtavision, ScopeSET, aicas allerton, TUs Dresden, Brunswick, and Munich.

2007–2010

ALL-TIMES

Integrating European Timing-Analysis Technology

A research project within the European Commission’s 7th Framework Programme on Research, Technological Development and Demonstration. The aim was to combine available timing tools, thus strengthening the Euro­pean lead in the timing-analysis area. ALL-TIMES successfully en­abled interoperability of various tools from SMEs and universities, and devel­oped integrated tool chains using open tool frameworks and interfaces.

Consortium: Mälardalen University, AbsInt, TU Vienna, Symtavision, Gliwa, Rapita Systems.

2008–2011

Interested

A follow-up to Interest, within European Commission’s 7th Framework Pro­gramme on Research, Technological Development and Demonstration. This time the project partners created an open interoperable toolchain that fulfills the needs of the industry for designing and proto­typing embedded systems. 17 interfaces between 11 tools were implemented, enabling the creation of 14 new product prototypes already before the project was completed.

Consortium: Sysgo, Symtavision, AbsInt, CEA, Esterel, Atego, Evidence, TTTech. The work results were evaluated by industrial partners that included Airbus, Thales, Magneti Marelli, and Siemens Rail Automation.
In the final project report, Airbus stated that its use of the Interested tool chain resulted in a 48% reduction in overall project effort. Thales reported a 25% reduction in effort, and Siemens reduced project costs by 20%. CEA’s initial development costs were reduced by 40% and on-going maintenance costs by 69%, while Magneti Marelli reported a 50% time saving.

2005–2008

EmBounded

This project identified, quantified and certified resource-bounded code in a domain-specific high-level programming lan­guage for real-time embedded systems. Using formal models of resource con­sumption as a basis, the project developed static analyses for time and space consumption and assessed these against realistic applications for embedded systems. Consortium: University of St. Andrews, Heriot-Watt University, AbsInt, Ludwig-Maximillian University, LASMEA.

2006–2008

Interest

This project significantly improved the integration and interoperability of various tools for embedded-software development, in addition to de­veloping novel tech­niques for system-level and node-level analysis of non­func­tional properties such as worst-case execution timing, stack usage and schedulability. Our contribution included the integration of aiT and StackAnalyzer with SCADE, ASCET, SymTA/S, and RT-Druid.

Consortium: AbsInt, Esterel, ETAS, Symtavision, Evidence, DecomSys, Unis.

2007–2009

ES_PASS

Embedded Software Product-Based Assurance

A two-year project supported by the ITEA2 program (Information Tech­no­logy for European Advancement). It focused on the improvement, in­te­gra­tion, and dissemination of product-based software verification techniques.

Consortium: CS Information Systems, Airbus, AbsInt, Daimler, Esterel, Thales, CEA, Peugeot Citroën, Continental, EADS, ENS, ONERA, Fraunhofer FIRST, GTD Spain, Institut für Bahn­technik, Saarland University, TUs of Munich and Madrid.

1998–2006

ASTEC

Advanced Software Technology

This long-term project developed and supported industrially appli­cable techniques for software specification, design, and development. Par­tic­ular emphasis was put on methods supporting the development of soft­ware for communication and control applications.

Uppsala University, Mälardalen University, SICS, ABB, Ericsson, Volvo, IAR, T-Mobile UK, AbsInt, Telelogic, Arcticus, Cross Country Systems, ENEA, ESAB, Mecel, Mobile Arts, Prover Technology, TIDORUM, UPAAL, Validation, WM Data Validation, Virustech, Volcano Communication Technologies, ESAB Welding Equipment.

2000–2002

DAEDALUS

Validation of Critical Software by Static Analysis and Abstract Testing

A shared-cost research and technology development project of the Euro­pean IST Programme, focused on validation of critical avionics software. Our contribution included creating the first market-ready version of our flagship product aiT for static analysis of the worst-case execution time of tasks in real-time systems. Consortium: Airbus France, ENS, AbsInt, PolySpace Technologies, CEA, CNRS-LIX, Universities of Copenhagen, Tel-Aviv, Saarland, and Trier.

2003–2009

Verisoft and Verisoft XT

A long-term research project focused on creation of methods and tools which allow persistent formal verification of the design of integrated com­puter systems. Among other things, from 2007 to 2010 researchers from the Verisoft XT project partnered up with Microsoft to verify code from Hyper-V, a multi-core x64 hypervisor, using a verifier for concur­rent C code.

Consortium and partners: BMW, University of Saarland, AbsInt, DFKI, Max Planck Institute for Computer Science, Audi, Infineon, Bosch, Microsoft, Sysgo, TÜV Süd, OneSpin Solutions, Universities of Bremen, Freiburg, and Koblenz, TU Kaiserslautern, TU Munich, ESG, Sirrix, and others.

Project partners by country

Germany

SYSGOAQUAS, TwinSpace, MORAL, Scale4Edge, Interested, EMPHASE, ARAMiS, ARAMiS II, Verisoft XT, TRISTAN
TU MunichASSUME, Scale4Edge, SuReal, ES_PASS, MBAT, ARAMiS II, Verisoft, Verisoft XT, TRISTAN
BoschASSUME, Scale4Edge, PREDATOR, EMPHYSIS, Verisoft XT, ARAMiS, ARAMiS II, TRISTAN, TIMMO-2-USE
DLR, German Aerospace CenterARGO, CESAR, QSMA, Scale4Edge, EMPHYSIS, ARAMiS II, Verisoft, Verisoft XT
Symtavision
until the 2016 takeover by Luxoft
ALL-TIMES, SuReal, Interest, Interested, ARAMiS, ARAMiS II, TIMMO-2-USE
Infineon TechnologiesCESAR, Scale4Edge, EMPHASE, Verisoft, Verisoft XT, TRISTAN
Saarland UniversityVerisoft, Verisoft XT, artist2, DAEDALUS, PREDATOR, ES_PASS
Fraunhofer Societies and Institutes
incl. Fraunhofer FIRST, Fraunhofer Institute for Integrated Circuits, Fraunhofer Society for Applied Research
MBAT, ARAMiS II, CESAR, TRISTAN, ARGO, ES_PASS
TU KaiserslauternScale4Edge, Verisoft XT, PROFORMA, ARAMiS II, FORTE, FORTISSIMO
OFFIS, Oldenburg Institute for Information TechnologyASSUME, CESAR, MBAT, ARAMiS, ARAMiS II, Verisoft
Siemens CESAR, EMPHYSIS, MBAT, ARAMiS II, Scale4Edge
TU BrunswickSuReal, CERTAINTY, EMPHASE, ARAMiS II, TIMMO-2-USE
TU DarmstadtCONIRAS, Scale4Edge, Verisoft, Verisoft XT, TRISTAN
Airbus
Airbus Defense and Space, Airbus Operations
CESAR, MBAT, ARAMiS, ARAMiS II
DaimlerASSUME, ES_PASS, MBAT, ARAMiS
KIT, Karlsruhe Institute of TechnologyARGO, ASSUME, ARAMiS, ARAMiS II
AudiEMPHASE, Verisoft XT, ARAMiS, ARAMiS II
AccemicCONIRAS, ARAMiS II, TRISTAN
BTC Embedded SystemsASSUME, CESAR, MBAT
ContinentalARAMiS, ARAMiS II, TIMMO-2-USE
DFKI, German Research Center for Artificial IntelligenceVerisoft, Verisoft XT, SuReal
emmtrix TechnologiesARGO, QSMA, TwinSpace
FZI, Karlsruhe Research Center for Information TechnologyASSUME, FreeSBee, Scale4Edge
IHP, Leibniz Institute for High-Performance MicroelectronicsMORAL, Scale4Edge, EMPHASE
OneSpin SolutionsVerisoft, Verisoft XT, FORTISSIMO
University of LuebeckCONIRAS, TwinSpace, ARAMiS II
aicasSuReal, TRISTAN
BMWVerisoft, ARAMiS
DENSOEMPHASE, ARAMiS II
dSPACEEMPHYSIS, TIMMO-2-USE
e:fs TechHubTwinSpace, EMPHYSIS
EPOS Embedded Code & Power SystemsScale4Edge, TRISTAN
ETASEMPHYSIS, Interest
Max Planck Institute for Computer ScienceVerisoft, Verisoft XT
MINRES TechnologiesScale4Edge, TRISTAN
NXPTwinSpace, TRISTAN
PikeTecEMPHYSIS, MBAT
University of AugsburgTwinSpace, ARAMiS II
University of BremenVerisoft XT, Scale4Edge
University of FreiburgScale4Edge, Verisoft XT
University of KielASSUME, ARAMiS II
University of KoblenzVerisoft, Verisoft XT
University of PaderbornScale4Edge, TIMMO-2-USE
Tensor EmbeddedTwinSpace, TRISTAN
TU ClausthalQSMA, TwinSpace
TU DortmundPREDATOR, artist2
TU DresdenScale4Edge, SuReal
Vector InformatikARAMiS, ARAMiS II
Altair EngineeringScale4Edge
Ansys Medini TechnologiesAQUAS
cadenceEMPHASE
CARIAD — Automotive Software for VolkswagenTwinSpace
CodaSipTRISTAN
Diehl AerospaceARAMiS II
Eclipse Foundation EuropeTRISTAN
edacentrumScale4Edge
ElektroBitARAMiS II
ESGVerisoft XT
ESI ITIEMPHYSIS
Expleo GermanyASSUME
fortiss Research Institute of BavariaARAMiS II
General ElectricARAMiS II
GliwaALL-TIMES
HensoldtARAMiS II
HM, Munich University of Applied SciencesScale4Edge
InchronTIMMO-2-USE
Institut für BahntechnikES_PASS
Kasper & OswaldFreeSBee
KSBARAMiS II
LauterbachScale4Edge
Liebherr AerospaceARAMiS II
LMU, Ludwig Maximilian University of MunichEmBounded
MBtech GroupMBAT
MicrosoftVerisoft XT
Model Engineering SolutionsASSUME
OpenSynergyARAMiS II
RheinMain University of Applied SciencesAQUAS
RWTH Aachenartist2
SchaefflerARAMiS II
ScopeSETSuReal
SilexicaARAMiS II
Silicon RadarEMPHASE
SirrixVerisoft XT
T-Systems InternationalVerisoft
Thales Transport Solutions DeutschlandES_PASS
Timing ArchitectsARAMiS II
TU Hamburg-HarburgTeamPlay
TÜV SüdVerisoft XT
University of Cottbus-SenftenbergTwinSpace
University of TrierDAEDALUS
University of TuebingenScale4Edge
ValidasQSMA
Verified Systems InternationalPROFORMA
WIKA Mobile ControlARAMiS II

France

CEA, Commission for Atomic Energy and Alternative EnergiesAQUAS, CESAR, DAEDALUS, Interested, ES_PASS, MBAT, EMPHYSIS, TRISTAN
Thales
incl. Thales AVS, Thales Alenia Space France, Thales Six GTS, Thales Global Services, Thales DIS Design Services
AQUAS, ASSUME, CESAR, Interested, ES_PASS, MBAT, CERTAINTY, TRISTAN
Airbus
Airbus Operations, Airbus Defence & Space, EADS Airbus
ASSUME, CESAR, Interested, ES_PASS, MBAT, DAEDALUS, PREDATOR
Esterel TechnologiesASSUME, CESAR, Interest, Interested, ES_PASS
ENSASSUME, DAEDALUS, ES_PASS, MBAT
INRIA
INRIA Rennes, INRIA Sophia Antipolis
ASSUME, CESAR, TeamPlay, TIMMO-2-USE
DassaultCESAR, MBAT, EMPHYSIS
DelphiCESAR, TIMMO-2-USE
KalrayASSUME, CERTAINTY
ONERA, Office National d’Études et de Recherches AerospatialesES_PASS, CESAR
Safran
Safran Aircraft Engines (Snecma), Safran Electronics & Defense (Sagem), Safran Helicopter Engines, Safran Landing Systems
ASSUME, CESAR
Siemens Industry SoftwareAQUAS, EMPHYSIS
ST MicroelectronicsTRISTAN, artist2
All4tec, Alliance pour les Technologies de l’InformatiqueMBAT, AQUAS
AdaCoreCOLA
Alstom TransportMBAT
ARTTICCERTAINTY
ClearsyAQUAS
CNRS, National Center for Scientific ResearchCESAR
Continental Automotive FranceES_PASS
CS Systèmes d’InformationES_PASS
EADS
EADS Astrium, EADS Innovation Works
ES_PASS
FH ElectronicsEMPHYSIS
Greenwaves TechnologiesTRISTAN
Institut Mines-Telecom, Telecom ParisTechAQUAS
Institut National Polytechnique de ToulouseES_PASS
Institut National Polytechnique de GrenobleEMPHYSIS
LASMEA, Blaise Pascal University, Clermont-FerrandEmBounded
Magillem Design ServicesAQUAS
NXP Semiconductors FranceTRISTAN
OSE EngineeringEMPHYSIS
Peugeot Citroën AutomobilesES_PASS
PolySpace TechnologiesDAEDALUS
RealTime-at-WorkTIMMO-2-USE
RenaultEMPHYSIS
Robert Bosch FranceTRISTAN
Scilab Enterprises, Dassault SystèmesARGO
SobenEMPHYSIS
Joseph Fourier UniversityCERTAINTY
University of Rennes 1ARGO
University of SorbonneASSUME

Sweden

Mälardalen UniversityALL-TIMES, ASSUME, ASTEC, artist2, MBAT, TIMMO-2-USE
Volvo
incl. Volvo Technology, Volvo Teknisk Utveckling, Volvo Personvagnar
CESAR, MBAT, ASTEC, EMPHYSIS, TIMMO-2-USE
KTH, Royal Institute of TechnologyASSUME, CESAR, MBAT
Arcticus SystemsASSUME, ASTEC, TIMMO-2-USE
Uppsala UniversityASTEC, CERTAINTY
RISE SICSEMPHYSIS, ASTEC
ENEAASTEC, MBAT
Linköping UniversityEMPHYSIS
ScaniaASSUME
Hitachi EnergyCESAR
ABB Automation TechnologiesASTEC
AltenMBAT
AutolivEMPHYSIS
Chalmers University of TechnologyTIMMO-2-USE
Cross Country SystemsASTEC
Dassault Systems SwedenEMPHYSIS
EricssonASTEC
ESAB Welding EquipmentASTEC
FindOut TechnologiesASSUME
IAR SystemsASTEC
IBM SvenskaMBAT
MecelASTEC
Mobile ArtsASTEC
ModelonEMPHYSIS
Prover TechnologyASTEC
TelelogicASTEC
TIDORUMASTEC
Time Critical NetworksTIMMO-2-USE
UPAALASTEC
ValidationASTEC
WM Data ValidationASTEC
VINNOVAASTEC
VirtutechASTEC
Volcano Communication TechnologiesASTEC

Italy

Università di BolognaCESAR, PREDATOR, TRISTAN
Selex Sistemi IntegratiCESAR, MBAT
Intecs SolutionsAQUAS, T-CREST
EvidenceInterest, Interested
LeonardoMBAT, TRISTAN
Alenia AermacchiMBAT, CESAR
Università degli studi dell’AquilaAQUAS
Hitachi RailCESAR
Centro Ricerche FIATCESAR
Danieli AutomationCESAR
Università degli studi di TriesteCESAR
RedCat DevicesMORAL
Magneti MarelliInterested
Scuola Superiore Sant’AnnaPREDATOR
ALESMBAT
AMETMBAT
AnsaldoMBAT
ST MicroelectronicsTRISTAN
E 4 Computer EngineeringTRISTAN
Politecnico di TorinoTRISTAN
University of PaduaCOLA

United Kingdom

Rapita SystemsALL-TIMES, TIMMO-2-USE, COLA
University of St. AndrewsEmBounded, TeamPlay
University of Yorkartist2, T-CREST
Airbus UKMBAT, CESAR
Atego SystemsInterested
Auvation SoftwareCESAR
Quintec AssociatesCESAR
Ricardo UKMBAT
T-Mobile UKASTEC
University of BristolTeamPlay
Heriot-Watt UniversityEmBounded
City, University of LondonAQUAS
University of ManchesterCESAR
The Chancellor, Masters and Scholars of the University of OxfordCESAR

The Netherlands

TU/e, Eindhoven University of TechnologyASSUME, T-CREST
University of TwenteASSUME, TRISTAN
University of AmsterdamTeamPlay
NLR, Netherlands Aerospace CenterTRISTAN
NXP Semiconductors NetherlandsASSUME
IrdetoTRISTAN
Recore SystemsASSUME
TechnolutionTRISTAN
TNOASSUME
VDL Enabling Transport SolutionsASSUME
Verum Software ToolsASSUME

Austria

Vienna University of TechnologyALL-TIMES, T-CREST, artist2
AIT Austrian Institute of TechnologyAQUAS, MBAT
AVL ListCESAR, MBAT
Infineon Technologies AustriaCESAR, MBAT
Virtual Vehicle ResearchCESAR, MBAT
Siemens AustriaAQUAS, TRISTAN
TU GrazMBAT, TRISTAN
Decomsys (now ElektroBit)Interest
TTTech ComputertechnikInterested
NXP Semiconductors AustriaTRISTAN
Strohmayer KlausTRISTAN

Spain

Thales Alenia SpaceAQUAS, MORAL, COLA, TeamPlay
Tecnalia Research & InnovationAQUAS, CESAR
Acciona ConstruccionCESAR
GTDES_PASS
Instituto Tecnológico de InformáticaAQUAS
IntergrasysAQUAS
RGB Medical DevicesAQUAS
TU MadridES_PASS

Greece

Aristotle University of ThessalonikiCESAR
Hellenic Aerospace IndustryCESAR
Irida LabsTeamPlay
National Technical University of AthensCESAR
Technological Educational Institute of Western GreeceARGO
Athina-Erevnitiko Kentro Kainotomias stis Technologies tis Pliroforias, ton Epikoinonion kai tis GnosisCESAR

Turkey

ArçelikASSUME
Ericsson Ar-GeASSUME
Ford OtosanASSUME
HavelsanASSUME
KoçSistem Information and Communication ServicesASSUME
UNIT Information Technologies R&DASSUME
Yongatec MicroelectronicsTRISTAN

Denmark

University of CopenhagenDAEDALUS
University of Southern DenmarkTeamPlay
Sky-WatchTeamPlay
Aalborg UniversityMBAT
Danmarks Tekniske Universitet, LyngbyT-CREST

Belgium

Dana BelgiumEMPHYSIS
Siemens Industry SoftwareEMPHYSIS
University of AntwerpEMPHYSIS
The Open GroupT-CREST
IMEC, Interuniversity Microelectronics CenterTRISTAN

Finland

CargotecTRISTAN
VLSI SolutionTRISTAN
Nokia Solutions and NetworksTRISTAN
Tampereen KorkeakoulusaatioTRISTAN

Norway

ABBCESAR
NTNU, Norwegian University of Science and TechnologyCESAR
SINTEF, Independent Organisation for Applied Research, Technology and InnovationCESAR

Czech Republic

UNISInterest, Interested
Brno University of TechnologyAQUAS
TrustPortAQUAS

Portugal

Critical SoftwareCESAR
GMVT-CREST

Israel

Tel-Aviv UniversityDAEDALUS
Siemens Electronic Design Automation IsraelTRISTAN

Switzerland

Swiss Federal Institute of Technology, ETH ZurichPREDATOR, CERTAINTY, TRISTAN
SyntharaTRISTAN

Estonia

Elvior OÜMBAT

Canada

MaplesoftEMPHYSIS

Poland

AntmicroTRISTAN

Romania

NXP Semiconductors RomaniaTRISTAN