All Company Profiles

TRANSFORMING THE FUTURE WITH THE CONVERGENCE OF DATA ANALYTICS, SIMULATION, AND HIGH-PERFORMANCE COMPUTING

Altair (Nasdaq: ALTR) is a global technology company that provides software and cloud solutions in the areas of data analytics, simulation, and high-performance computing (HPC). Altair enables organizations in nearly every industry to compete more effectively in a connected world, while creating a more sustainable future.
Our technologies are woven into the fabric of everyday life. Look around you. Wherever you are,and whatever you are doing, chances are Altair’s solutions surround you; keeping you safer, more connected, more productive. They can be found in big places and small — on highways, hospitals and hockey rinks, in stadiums, skyscrapers, and subways, and in banks, bikes, and boats.
Altair exists to unleash the limitless potential of the creative mind. Our vision is to transform customer decision making with data analytics, simulation, and high-performance computing.
Altair software enables customers to enhance product performance, compress development time and reduce costs. For more than 35 years, we have been helping our customers integrate electronics and controls with mechanical design to expand product value, develop AI, simulation and data-driven digital twins to drive better decisions, and deliver advanced HPC and cloud solutions to support unlimited idea exploration.
In solving our customers’ toughest challenges and delivering unparalleled service, we are helping the innovators innovate, drive better decisions, and turn today’s problems into tomorrow’s opportunities.

Founded in 2005 and a Founding Premier member of RISC-V International, Andes is a leading supplier of high-performance/low-power 32/64-bit embedded processor IP solutions, and a main force to take RISC-V mainstream.

Andes' fifth-generation AndeStar™ architecture adopted the RISC-V as the base. Its V5 RISC-V CPU families range from tiny 32-bit cores to advanced 64-bit cores with DSP, FPU, Vector, Linux, dual-issue and/or multicore capabilities. The annual volume of Andes-Embedded SoCs is exceeding 2 billion since 2020. For more information about Andes Technology, please visit http://www.andestech.com/

Argo AI is a technology platform company working with leading automakers to deliver a fully integrated self-driving system that makes getting around cities safe, easy, and enjoyable for all. Our team’s extensive experience in robotics and artificial intelligence complements  our partners’ expertise in manufacturing high-quality vehicles at scale to build self-driving technology you can trust. We’re individuals driven by strong values to solve complex problems together, the Argo Way. 

Cadence Design Systems is the official sponsor and co-organizer of the DATE Young People Program. Cadence is organizing a 2-days workshop “Generation and Implementation of industry-grade ASSP core” and co-organizes Special Day on Cyber-Physical Systems.

Cadence Academic Network
The aim of Cadence Academic Network is to promote the proliferation of leading-edge technologies and methodologies at universities renowned for their engineering and design excellence. A knowledge network among selected universities, research institutes, industry advisors and Cadence established to facilitate the sharing of technology expertise in the areas of verification, design and implementation of microelectronic systems.

Cadence Design Systems is the official sponsor and co-organizer of the DATE Young People Program. Cadence is organizing a 2-days workshop “Generation and Implementation of industry-grade ASSP core” and co-organizes Special Day on Cyber-Physical Systems.

Cadence Academic Network
The aim of Cadence Academic Network is to promote the proliferation of leading-edge technologies and methodologies at universities renowned for their engineering and design excellence. A knowledge network among selected universities, research institutes, industry advisors and Cadence established to facilitate the sharing of technology expertise in the areas of verification, design and implementation of microelectronic systems.

Discover on our virtual (link to our virtual exhibition booth) exhibition booth the most innovative demonstrators about advanced design & solutions for cyber physical systems, achieved by the CEA Leti's & List's researchers.

CEA-Leti

Leti, a technology research institute at CEA Tech, is a global leader in miniaturization technologies enabling smart, energyefficient and secure solutions for industry.

Founded in 1967, Leti pioneers micro-& nanotechnologies, tailoring differentiating applicative solutions for global companies, SMEs and startups.

CEA-Leti tackles critical challenges in healthcare, energy and digital migration. From sensors to data processing and computing solutions, CEA-Leti’s multidisciplinary teams deliver solid expertise, leveraging world-class pre-industrialization facilities.

With a staff of more than 1,900, a portfolio of 3,100 patents, 10,000 sq. m. of cleanroom space and a clear IP policy, the institute is based in Grenoble, France, and has offices in Silicon Valley and Tokyo.

CEA-Leti has launched 65 startups and is a member of the Carnot Institutes network.

Follow us on www.leti-cea.com and @CEA_Leti.

CEA List

The CEA List, helps its industrial partners to enhance their competitiveness through innovation and technology transfer. Dedicated to smart digital systems, its R&D programs focus on artificial intelligence, advanced manufacturing, cyberphysical systems and digital health.

Based in Paris-Saclay and Grenoble, the CEA List's 900 engineer-researchers and technicians put their skills and expertise at the service of major socio-economic issues by offering high-added-value technological innovations, centered on people and carrying values of social and environmental responsibility. 

In particular, a dedicated List team devotes its research to integrated circuits and systems. These researchers are working on circuit design and embedded systems architecture in order to support industrial competitiveness.

More info : www-list.cea.fr/en | @CEA_List | LinkedIn | YouTube

Discover on our virtual (link to our virtual exhibition booth) exhibition booth the most innovative demonstrators about advanced design & solutions for cyber physical systems, achieved by the CEA Leti's & List's researchers.

CEA-Leti

Leti, a technology research institute at CEA Tech, is a global leader in miniaturization technologies enabling smart, energyefficient and secure solutions for industry.

Founded in 1967, Leti pioneers micro-& nanotechnologies, tailoring differentiating applicative solutions for global companies, SMEs and startups.

CEA-Leti tackles critical challenges in healthcare, energy and digital migration. From sensors to data processing and computing solutions, CEA-Leti’s multidisciplinary teams deliver solid expertise, leveraging world-class pre-industrialization facilities.

With a staff of more than 1,900, a portfolio of 3,100 patents, 10,000 sq. m. of cleanroom space and a clear IP policy, the institute is based in Grenoble, France, and has offices in Silicon Valley and Tokyo.

CEA-Leti has launched 65 startups and is a member of the Carnot Institutes network.

Follow us on www.leti-cea.com and @CEA_Leti.

CEA List

The CEA List, helps its industrial partners to enhance their competitiveness through innovation and technology transfer. Dedicated to smart digital systems, its R&D programs focus on artificial intelligence, advanced manufacturing, cyberphysical systems and digital health.

Based in Paris-Saclay and Grenoble, the CEA List's 900 engineer-researchers and technicians put their skills and expertise at the service of major socio-economic issues by offering high-added-value technological innovations, centered on people and carrying values of social and environmental responsibility. 

In particular, a dedicated List team devotes its research to integrated circuits and systems. These researchers are working on circuit design and embedded systems architecture in order to support industrial competitiveness.

More info : www-list.cea.fr/en | @CEA_List | LinkedIn | YouTube

Defacto Technologies is a chip design software company providing breakthrough RTL design platforms to enhance integration, verification and Signoff of IP cores and System on Chips.

By adopting Defacto’s STAR SoC design solutions, major semiconductor companies are significantly reducing design engineering cost and getting better PPA (Power Performance Area) results. The related ROI has been proven for hundreds of projects.

Headquartered in the French Alps with a US branch in California, Defacto has today a worldwide presence with a 24/7 support all over the world.

STAR - RTL Build&Signoff Design solutions for complex SoC

Through a unified database with different APIs, Defacto’s STAR enables a cost-effective SoC Build & Signoff design process which opens new SoC integration and design optimization capabilities before and after logic synthesis.

STAR helps to face challenges of moving to sophisticated RTL coding styles like with System Verilog and manage into a unified automated design flow RTL and the variety of multi-domain design standards:

• Architectural design formats such as IPXACT
• Power intent such as UPF
• Timing constraints such as SDC
• Physical design information such as LEF/DEF
• Design Libraries such as Liberty, etc.

Typical Applications

SoC Integration

• Multi-format IP Insertion
• Automate connectivity insertion
• Monitor SoC integration progress real-time
• Generate full chip views based on specification file

Design Optimization

• Layout density improvement
• Optimize logic structures
• Hierarchical manipulation based on floorplan changes
• Automatic feedthrough insertion

Design Verification

• Simulation-free connectivity checks under constraints
• RTL vs. libraries: SDC, liberty & UPF, IPXACT, LEF
• Push-button flow for IP DFT Signoff

EVEREST is a novel H2020 project that aims at developing a holistic design environment to simplify the programmability of High Performance Big Data analytics for FPGA-based, distributed, scalable, and secure architectures. EVEREST uses a “data-driven” design approach with domain-specific language extensions, hardware-accelerated AI with the use of high-level synthesis, and an efficient monitoring of the execution with a unified hardware/software paradigm.
EVEREST consortium includes ten partners: three universities (Politecnico di Milano, TU Dresden, and Università della Svizzera italiana), two large companies (IBM and Duferco Energia), three SMEs (Virtual Open System, Numtech, and Sygic), and two non-profit research institutes (CIMA and IT4Innovations), spread around six different countries across Europe (Italy, Switzerland, France, Germany, Czech Republic, and Slovakia).

EVEREST is a novel H2020 project that aims at developing a holistic design environment to simplify the programmability of High Performance Big Data analytics for FPGA-based, distributed, scalable, and secure architectures. EVEREST uses a “data-driven” design approach with domain-specific language extensions, hardware-accelerated AI with the use of high-level synthesis, and an efficient monitoring of the execution with a unified hardware/software paradigm.
EVEREST consortium includes ten partners: three universities (Politecnico di Milano, TU Dresden, and Università della Svizzera italiana), two large companies (IBM and Duferco Energia), three SMEs (Virtual Open System, Numtech, and Sygic), and two non-profit research institutes (CIMA and IT4Innovations), spread around six different countries across Europe (Italy, Switzerland, France, Germany, Czech Republic, and Slovakia).

GPU4S (GPUs for Space) is a project funded by the European Space Agency (ESA), studying the applicability of embedded graphics processing units (GPUs) in the space domain. The project is coordinated by the Barcelona Supercomputing Center (BSC) and the consortium is completed with the participation of the Airbus Defence and Space division in Toulouse.

The space domain is witnessing an increase in the on-board computing performance demands, which comes from both control and payload parts of the spacecraft and calls for advanced electronics able to provide high computational power under the constraints of the harsh space environment. On the non-technical side, for strategic reasons it is mandatory to get European independence on the used computing technology.

In this project, we which is currently towards its end, we have demonstrated the feasibility of adopting embedded GPUs in space, showing that existing space algorithms not only are compatible with the GPU programming models, but they can also be accelerated significantly by the use of embedded GPUs. We have defined a new benchmarking suite for the evaluation of candidate GPU platforms for space and we have evaluated several state-of-the-art embedded SoCs featuring GPUs in terms of performance and performance efficiency, with the particular requirements of on-board systems. Finally, we have established a roadmap for the adoption of GPUs by the space sector in the near future.

GPU4S (GPUs for Space) is a project funded by the European Space Agency (ESA), studying the applicability of embedded graphics processing units (GPUs) in the space domain. The project is coordinated by the Barcelona Supercomputing Center (BSC) and the consortium is completed with the participation of the Airbus Defence and Space division in Toulouse.

The space domain is witnessing an increase in the on-board computing performance demands, which comes from both control and payload parts of the spacecraft and calls for advanced electronics able to provide high computational power under the constraints of the harsh space environment. On the non-technical side, for strategic reasons it is mandatory to get European independence on the used computing technology.

In this project, we which is currently towards its end, we have demonstrated the feasibility of adopting embedded GPUs in space, showing that existing space algorithms not only are compatible with the GPU programming models, but they can also be accelerated significantly by the use of embedded GPUs. We have defined a new benchmarking suite for the evaluation of candidate GPU platforms for space and we have evaluated several state-of-the-art embedded SoCs featuring GPUs in terms of performance and performance efficiency, with the particular requirements of on-board systems. Finally, we have established a roadmap for the adoption of GPUs by the space sector in the near future.

The rise of cyberattacks constitutes a major challenge for our societies, with an estimated cost of $6 trillion per year by 2021 (Forbes). In addition to their disastrous economic and social impact, these attacks weaken the confidence of citizens in the digital transition of activities and cause serious international tensions. As a consequence, the development of new sustainable solutions that enable end-to-end security, privacy and infrastructure resilience is now a multi-dimension challenge: technical, business, scientific and social.
The Grenoble Alpes Cybersecurity Institute – in short, Cyber@Alps – aims at undertaking ground-breaking interdisciplinary research in order to address these cybersecurity and privacy protection challenges. Our main technical focus are on cost effective secure elements, security of critical infrastructures all along their life cycle, vulnerability analysis and global challenges in terms of risk analysis and validation of large systems, including practical resilience across the industry and the society. Our approach to cybersecurity is holistic, encompassing technical, legal, law-enforcement, economic, social, diplomatic, military and intelligence-related aspects with strong partnerships with the private sector and robust national and international cooperation with leading institutions in France and abroad.

HiPEAC (High Performance and Embedded Architecture and Compilation) is the premier focal point for networking, dissemination, training, and collaboration activities in Europe for researchers, industry, and policy related to computing systems. Today, its network, the biggest of its kind in Europe, numbers over 2,000 specialists.

HiPEAC’s mission is to advance computer architecture and computing systems research and development as a discipline in Europe. Its objectives are to:

• Secure and strengthen a leading position for Europe in computing systems that support all aspects of modern society by advancing computing systems as a discipline.
• Prepare the next generation of world-class computing systems scientists and engineers in Europe by supporting their academic and professional development.
• Build a dynamic ecosystem for the design and implementation of computing systems in Europe by bringing together European research, industry, small/medium enterprises (SMEs), and policy.
• Align research efforts in computing systems and strengthen research impact in Europe by identifying long-term challenges in computing systems and articulating their impact on modern society.

To join for free email membershiphipeac [dot] net (membership[at]hipeac[dot]net).

For further information visit https://www.hipeac.net/network/#/.

I4MS is an initiative funded by the European Commission since 2013 that aims to improve the competitiveness of SMEs through the digitalisation of their processes, products and services.

I4MS will offer 35 million euros via open calls to manufacturing SMEs to get technological and financial support to conduct experiments testing digital innovations in their business operations. The main goal of I4MS is to improve the competitiveness of manufacturing SMEs by facilitating access to digital technologies and training opportunities to adapt their workforce to current challenges.    

 I4MS Phase 4 cover five crucial technological areas: 1. Smart modelling, simulation, and optimization for digital twins; 2. Laser based equipment in advanced and additive manufacturing; 3. Artificial Intelligence in manufacturing; 4. Cognitive autonomous systems and human-robot interaction and 5. Widening Digital Innovation Hubs. All funding opportunities are accessible here.

You can also find us on social media at:

• Twitter: @I4MS_Europe
• LinkedIn: I4MS-ICT Innovation for Manufacturing SMEs                       

• Product and key findings

In I4MS has created an online community with content of special relevance to technology companies and those seeking funding to introduce new technologies. We have also developed a Catalogue of trainings that includes online and offline courses offered by DIHs and other public entities in the technological areas of I4MS (AI, digital twins, simulation, robotics, laser and additive manufacturing). 

Intel is the largest semiconductor chip maker with platforms designed to work together - seamless, connected and puts the user at the center. The range of computing products based on Intel® architecture goes beyond PCs and servers and extends to tablets, consumer electronics devices, and more. Over the last decade, Intel has evolved from a company that largely serves the PC industry, to a company that increasingly provides the vital intelligence inside all things computing. Hardware and software products by Intel power most of the world’s data centers, connect hundreds of millions of cellular handsets and help secure and protect computers, mobile devices and corporate and government IT systems. Intel Labs deals with research-oriented topics, which are supposed to be brought into future Intel products in a three to ten years timeframe. Intel Labs has a worldwide presence and some important Labs in Europe, among which the ones in Germany (Munich, Karlsruhe and Darmstadt). Intel Labs deals with medium and long-term research related topics like quantum computing, Artificial Intelligence (AI), dependable systems, autonomous driving, and security and safety, among others.

The field of computer hardware stands at the verge of a revolution driven by recent breakthroughs in emerging nano-devices. ``Nano Security'' is a new Priority Program recently approved by DFG, the German Research Council. This initiative at the crossroads of nano-electronics and hardware-oriented security includes 11 projects with a total of 23 Principal Investigators from 18 German institutions. It considers the interplay between security and nano-electronics, focusing on a dichotomy which emerging nano-devices (and their architectural implications) have on system security. The projects within the Priority Program consider both: potential security threats and vulnerabilities stemming from novel nano-electronics, and innovative approaches to establishing and improving system security based on nano-electronics

The field of computer hardware stands at the verge of a revolution driven by recent breakthroughs in emerging nano-devices. ``Nano Security'' is a new Priority Program recently approved by DFG, the German Research Council. This initiative at the crossroads of nano-electronics and hardware-oriented security includes 11 projects with a total of 23 Principal Investigators from 18 German institutions. It considers the interplay between security and nano-electronics, focusing on a dichotomy which emerging nano-devices (and their architectural implications) have on system security. The projects within the Priority Program consider both: potential security threats and vulnerabilities stemming from novel nano-electronics, and innovative approaches to establishing and improving system security based on nano-electronics

Mentor, a Siemens business” is now proudly known as “Siemens EDA”, operating as part of Siemens Digital Industries Software. Siemens EDA brings together the world’s most comprehensive portfolio of EDA software with Siemens technology for simulation, mechanical design, manufacturing, cloud, IoT and low-code. The result is the broadest and deepest portfolio of industrial software that is uniquely positioned to help customers successfully navigate the accelerating convergence of semiconductor design and systems design.

The blog is posted here: https://blogs.sw.siemens.com/news/redefining-electronic-design-automation/

Siemens Digital Industries Software is driving transformation to enable a digital enterprise where engineering, manufacturing and electronics design meet tomorrow. The Xcelerator portfolio helps companies of all sizes create and leverage digital twins that provide organizations with new insights, opportunities and levels of automation to drive innovation. For more information on Siemens Digital Industries Software products and services, visit www.sw.siemens.com or follow us on LinkedIn, Twitter, Facebook and Instagram. Siemens Digital Industries Software – Where today meets tomorrow.

Mentor, a Siemens business” is now proudly known as “Siemens EDA”, operating as part of Siemens Digital Industries Software. Siemens EDA brings together the world’s most comprehensive portfolio of EDA software with Siemens technology for simulation, mechanical design, manufacturing, cloud, IoT and low-code. The result is the broadest and deepest portfolio of industrial software that is uniquely positioned to help customers successfully navigate the accelerating convergence of semiconductor design and systems design.

The blog is posted here: https://blogs.sw.siemens.com/news/redefining-electronic-design-automation/

Siemens Digital Industries Software is driving transformation to enable a digital enterprise where engineering, manufacturing and electronics design meet tomorrow. The Xcelerator portfolio helps companies of all sizes create and leverage digital twins that provide organizations with new insights, opportunities and levels of automation to drive innovation. For more information on Siemens Digital Industries Software products and services, visit www.sw.siemens.com or follow us on LinkedIn, Twitter, Facebook and Instagram. Siemens Digital Industries Software – Where today meets tomorrow.

Sigasi radically redefines digital design. Our design entry tool Sigasi Studio makes the work of digital chip designers more efficient and fun. Sigasi Studio has now become the essential next-generation Intelligent Development Environment (IDE) for hardware designers.

Sigasi Studio drastically improves designer productivity by helping to write, inspect and modify digital circuit designs in the most intuitive way. Our tool understands the design context. Advanced features such as intelligent autocompletes and code refactoring, make VHDL, Verilog and SystemVerilog design easier, more efficient.

Sigasi, founded in 2008 and headquartered in Belgium, is backed by angel investors and has formed partnerships with FPGA and EDA companies including Altera, Xilinx and Aldec.

The Sigasi Studio software is used worldwide by industry leaders in the fields of healthcare, consumer electronics, industrial automation, telecom, aerospace and defense.

Springer is part of Springer Nature, which has over 13,000 employees in over 50 countries.  Springer publishes a wide variety of scientific and technical book and journal content, including over 12,000 book titles per year and over 3,000 journals.  Our content is distributed globally, via our online portal known as Springerlink, as well as in-print via springer.com and a variety of retail outlets, e.g., amazon.com.  Our book publishing includes a variety of content types, including textbooks, professional books, research monographs, and major reference works.  Since Springerlink is accessed by more than 15,000 academic and corporate institutions globally, our authors’ work has unparalleled, global reach.  We offer our authors individualized, expert relationships, throughout the lifecycle of their publishing effort. 
Please visit the Springer exhibit and discuss your next book with Charles Glaser, Editorial Director (charles [dot] glaserspringer [dot] com (charles[dot]glaser[at]springer[dot]com)). 

Step-UP!CPS - Software methods and technologies for modular updates of Cyber-Physical Systems

 
Cyber-physical systems (CPS) are systems that interact independently (highly automated or autonomous) with their environment. They perform important planning and control tasks in safety-critical applications such as automated and autonomous driving, networked production facilities or autonomous shipping. However, the conditions under which these systems perform their tasks can change throughout their life cycle. Therefore, the continuous updating, adaptation and expansion of these systems is of central importance. Future systems must be designed in such a way that improvements can be introduced promptly without the operational safety of the overall system being compromised.
The BMBF-funded project Step-Up!CPS focuses on the development of safety critical CPS to allow updates, adaptations and improvements while ensuring safe and secure operations. This includes entire product lines with a high number of variants that require updates after commissioning. By proactively determining, ideally before a critical error occurs, that updates are necessary and which system components need to be updated, critical system processes can be safeguarded. To demonstrate broad applicability, the established concepts will be prototypically implemented and tested in the automotive, maritime and industry domains.

Step-UP!CPS - Software methods and technologies for modular updates of Cyber-Physical Systems

 
Cyber-physical systems (CPS) are systems that interact independently (highly automated or autonomous) with their environment. They perform important planning and control tasks in safety-critical applications such as automated and autonomous driving, networked production facilities or autonomous shipping. However, the conditions under which these systems perform their tasks can change throughout their life cycle. Therefore, the continuous updating, adaptation and expansion of these systems is of central importance. Future systems must be designed in such a way that improvements can be introduced promptly without the operational safety of the overall system being compromised.
The BMBF-funded project Step-Up!CPS focuses on the development of safety critical CPS to allow updates, adaptations and improvements while ensuring safe and secure operations. This includes entire product lines with a high number of variants that require updates after commissioning. By proactively determining, ideally before a critical error occurs, that updates are necessary and which system components need to be updated, critical system processes can be safeguarded. To demonstrate broad applicability, the established concepts will be prototypically implemented and tested in the automotive, maritime and industry domains.

At ST, we are 46,000 creators and makers of semiconductor technologies mastering the semiconductor supply chain with state-of-the-art manufacturing facilities. An independent device manufacturer, we work with our 100,000 customers and thousands of partners to design and build products, solutions, and ecosystems that address their challenges and opportunities, and the need to support a more sustainable world. Our technologies enable smarter mobility, more efficient power and energy management, and the wide-scale deployment of the Internet of Things and 5G technology. Further information can be found at www.st.com

Synopsys, Inc (Nasdaq: SNPS) is the Silicon to Software™ partner for innovative companies developing the electronic products and software applications we rely on every day. Customers around the world trust our electronic design automation (EDA) technology and silicon IP solutions to create state-of-the-art chips for amazing things from smartphones to self-driving cars to machines that learn. And they use our industry-leading software testing tools and services to develop high-quality code that is secure in cyberspace. Our commitment to making technology smarter and safer is powering the new era of Smart Everything and transforming the way people live, work, and play. Learn more at www.synopsys.com.

Synopsys, Inc (Nasdaq: SNPS) is the Silicon to Software™ partner for innovative companies developing the electronic products and software applications we rely on every day. Customers around the world trust our electronic design automation (EDA) technology and silicon IP solutions to create state-of-the-art chips for amazing things from smartphones to self-driving cars to machines that learn. And they use our industry-leading software testing tools and services to develop high-quality code that is secure in cyberspace. Our commitment to making technology smarter and safer is powering the new era of Smart Everything and transforming the way people live, work, and play. Learn more at www.synopsys.com.

UP2DATE is an International research project funded by Horizon 2020 which targets a new software paradigm for SAfety and SEcurity (SASE) software updates for intelligent and resource intensive Mixed‐Criticality Cyber‐Physical Systems (MCCPS), promoting a safety and security concept that builds around composability and modularity as main properties to enable a dynamic post-deployment validation of SASE properties..
The primary objective of UP2DATE is to provide new software paradigms for safety and security Over-the-Air Software Updates (OTASU) targeting the automotive and rail sectors. UP2DATE will also offer specific solutions for design points in the software update continuum considering criticality of the involved software, timing consistency of the system before, during and after the updates, and the impact on availability. All this will be done in accordance to associated safety and security verification and validation (V&V) methodologies considering certifyability in future products.

UP2DATE brings together leading research institutes IKERLAN (Spain), Barcelona Supercomputing Center (Spain)  and OFFIS (Germany), and leading companies CAF Signalling (Spain), Marelli (Italy), IAV (Germany) and TTTech (Austria) across Europe.

UP2DATE is an International research project funded by Horizon 2020 which targets a new software paradigm for SAfety and SEcurity (SASE) software updates for intelligent and resource intensive Mixed‐Criticality Cyber‐Physical Systems (MCCPS), promoting a safety and security concept that builds around composability and modularity as main properties to enable a dynamic post-deployment validation of SASE properties..
The primary objective of UP2DATE is to provide new software paradigms for safety and security Over-the-Air Software Updates (OTASU) targeting the automotive and rail sectors. UP2DATE will also offer specific solutions for design points in the software update continuum considering criticality of the involved software, timing consistency of the system before, during and after the updates, and the impact on availability. All this will be done in accordance to associated safety and security verification and validation (V&V) methodologies considering certifyability in future products.

UP2DATE brings together leading research institutes IKERLAN (Spain), Barcelona Supercomputing Center (Spain)  and OFFIS (Germany), and leading companies CAF Signalling (Spain), Marelli (Italy), IAV (Germany) and TTTech (Austria) across Europe.

VeriDevOps is an ICT project funded by Horizon 2020; VeriDevOps brings together fast security verification through formal modelling and verification as well as test generation, selection, execution and analysis capabilities to enable companies to deliver quality systems with confidence in a fast-paced DevOps environment. VeriDevOps brings fast and cost-effective security formal verification and test automation thus significantly improving the DevOps processes. Overall, VeriDevOps is using the results of formal verification of security requirements for test and monitor generation to be used to enhance the feedback mechanisms during development and operation phases.

VeriDevOps focuses on addressing the challenges of automation of verification methods and intelligent monitoring for prevention and protection of modern complex industrial systems. The innovation will be enabled by leveraging formal specifications of security requirements automatically generated using Natural Language Processing and pattern-based approaches. The goal is to provide a way of preventing inconsistencies from propagating into operations and identifying the faults that could be introduced in the requirements

The project consortium consists of Mälardalen University (coordinator) and ABB AB (Sweden); SOFTEAM and Montimage EURL (France); Åbo Akademi (Finland); IKERLAN S. COOP and Fagor Arrasate S COOP (Spain)

VeriDevOps is an ICT project funded by Horizon 2020; VeriDevOps brings together fast security verification through formal modelling and verification as well as test generation, selection, execution and analysis capabilities to enable companies to deliver quality systems with confidence in a fast-paced DevOps environment. VeriDevOps brings fast and cost-effective security formal verification and test automation thus significantly improving the DevOps processes. Overall, VeriDevOps is using the results of formal verification of security requirements for test and monitor generation to be used to enhance the feedback mechanisms during development and operation phases.

VeriDevOps focuses on addressing the challenges of automation of verification methods and intelligent monitoring for prevention and protection of modern complex industrial systems. The innovation will be enabled by leveraging formal specifications of security requirements automatically generated using Natural Language Processing and pattern-based approaches. The goal is to provide a way of preventing inconsistencies from propagating into operations and identifying the faults that could be introduced in the requirements

The project consortium consists of Mälardalen University (coordinator) and ABB AB (Sweden); SOFTEAM and Montimage EURL (France); Åbo Akademi (Finland); IKERLAN S. COOP and Fagor Arrasate S COOP (Spain)

Zuken is a global provider of leading-edge software and consulting services for electrical and electronic engineering and design for manufacture. Founded in 1976, Zuken has the longest track record of technological innovation and financial stability in the electronic and electrical design automation software industry. With its product lines CR-8000 for 3D multi-board PCB design and advanced packaging, and E3.series for cabinet and wire harness layout and assembly, Zuken provides a comprehensive lineup of tools and solutions for design, documentation and manufacturing of electrical and electronic assemblies. Both product lines are complemented by open library and design data configuration and change management platforms (DS-CR and DS-E3, respectively) that provide a solid foundation for a true interdisciplinary electro-mechanical PLM data model.