TNO-ESI

Today Sjoerd Zwart (VDL-ETG) and Wytse Oortwijn Oortwijn (TNO-ESI) gave a presentation at the Bits&Chips Event 2024 on Synthesis-Based Engineering (SBE), and explained how SBE helps to manage the high complexity of developing correct supervisory controllers. If you’d like to get involved or discuss how SBE could help you, please contact us. #SBE #innovation #hightech VDL Groep TNO Bits&Chips

Moreover we showed demos on #LLM and #SBE on the TNO ESI stand.

We can increase the impact of LLM by using graph databases, which are made by our Renaissance tooling. This enables us to answer dependency questions for various code analysis activities such as change impact analysis says Nan Yang TNO

Vacancy: Deputy Research Manager at TNO-ESI As Deputy Research Manager at TNO, you’ll play a pivotal role in driving innovation in the high-tech industry by tackling the growing complexity of advanced systems. You’ll be working for ESI (Embedded System Innovations), an innovation research centre within TNO, with strong partnerships with industry-leading high-tech companies. Here, you’ll be part of a forward-thinking environment that strives for inclusiveness and diversity where your work will help shape the future of system design and engineering. By fostering collaboration between various teams and companies, you’ll contribute to cutting-edge research that enhances the efficiency, functionality and societal impact of high-tech products. Your role As Deputy Research Manager, you will oversee key operational activities, including people management, recruitment and capacity planning. You will also lead Empower conversations to support the professional growth of your team. In collaboration with the Research Manager and Business Developer, you will engage with external stakeholders, such as ESI partners and European project collaborators, while contributing to the department's strategic development and project portfolio. Additionally, you will ensure smooth operations by stepping in for the Research Manager when necessary, with opportunities to expand your responsibilities over time. Interested? contact us! #TNO #vacancy #research #Eindhoven #SystemsEngineering https://lnkd.in/erjQM6yH

Struggling to understand legacy code in your projects? Looking for a way to combine the best of AI and traditional software analysis tools? We are excited to present a new approach that we're developing at TNO-ESI to tackle these challenges in the high-tech industry. Legacy code is notoriously difficult to maintain, but it’s essential to the operation of complex systems. Traditional static analysis tools provide reliable insights but require deep, domain-specific knowledge. Meanwhile, Large Language Models (LLMs) are user-friendly but lack precise, in-depth understanding of codebases. The hybrid method that we are developing aims to bridge this gap by integrating static analysis with LLMs. We extract detailed code insights into a graph database, allowing LLMs to deliver accurate, natural language responses. This approach not only enhances the accuracy of LLMs but also brings a new level of abstraction and user-friendliness to static analysis. Eager to learn more? Join us at the Bits&Chips event on October 10th, in the Software Rejuvenation session from 11:45 to 12:25, to explore our hybrid solution. Nan Yang, TNO-ESI: Leveraging large language models for legacy software #SoftwareEngineering #LLMs #StaticAnalysis #LegacyCode #hightech 

Do you still develop supervisory controllers by hand?!   Wytse Oortwijn (TNO-ESI) and Sjoerd Zwart (VDL-ETG) will introduce Synthesis-Based Engineering (SBE), which helps to manage the high complexity of developing supervisory controllers. With SBE, correct-by-construction supervisory controllers can automatically be computed based on requirement specifications of WHAT the system should do. These are typically much easier to specify than having to work out HOW the system should realize its requirements in every possible situation, as is done traditionally. SBE may therefore help to realize better quality controllers at reduced effort and cost. We are currently investigating the application of SBE at ASML and VDL-ETG.   Eager to learn more? Join us at the Bits&Chips event on October 10th, in the Engineering Automation track, from 14:30 to 15:10.   #SBE #innovation #hightech VDL Groep TNO ASML

Do you still develop supervisory controllers by hand?!   Wytse Oortwijn (TNO-ESI) and Sjoerd Zwart (VDL-ETG) will introduce Synthesis-Based Engineering (SBE), which helps to manage the high complexity of developing supervisory controllers. With SBE, correct-by-construction supervisory controllers can automatically be computed based on requirement specifications of WHAT the system should do. These are typically much easier to specify than having to work out HOW the system should realize its requirements in every possible situation, as is done traditionally. SBE may therefore help to realize better quality controllers at reduced effort and cost. We are currently investigating the application of SBE at ASML and VDL-ETG.   Eager to learn more? Join us at the Bits&Chips event on October 10th, in the Engineering Automation track, from 14:30 to 15:10.   #SBE #innovation #hightech VDL Groep TNO ASML

What can systems engineering offer to the high-tech equipment industry for continuous innovation? Join Sezen Acur and Bram van der Sanden at the Bits&Chips Event on 10 October in hashtag #Eindhoven to find out about the TNO-ESI systems engineering vision for the Dutch high-tech industry. In this presentation, they will provide an overview of identified industry needs, challenges, and trends with respect to systems engineering across the high-tech equipment industry. In addition, the research outlook on what is needed to upgrade their systems architecting and systems engineering capabilities of the industry will be shared. Eager to learn more? Join us at the Bits&Chips event, session Systems Engineering at 11h00. #SystemsEngineering #innovation #hightech

Struggling to understand legacy code in your projects? Looking for a way to combine the best of AI and traditional software analysis tools? We are excited to present a new approach that we're developing at TNO-ESI to tackle these challenges in the high-tech industry. Legacy code is notoriously difficult to maintain, but it’s essential to the operation of complex systems. Traditional static analysis tools provide reliable insights but require deep, domain-specific knowledge. Meanwhile, Large Language Models (LLMs) are user-friendly but lack precise, in-depth understanding of codebases. The hybrid method that we are developing aims to bridge this gap by integrating static analysis with LLMs. We extract detailed code insights into a graph database, allowing LLMs to deliver accurate, natural language responses. This approach not only enhances the accuracy of LLMs but also brings a new level of abstraction and user-friendliness to static analysis. Eager to learn more? Join us at the Bits&Chips event on October 10th, in the Software Rejuvenation session from 11:45 to 12:25, to explore our hybrid solution. Nan Yang, TNO-ESI: Leveraging large language models for legacy software #SoftwareEngineering #LLMs #StaticAnalysis #LegacyCode #hightech 

Visit TNO-ESI at the Bits & Chips event on October 10. There will be 3 presentations by us: 11.00 Sezen Acur and Bram van der Sanden, TNO-ESI What can systems engineering offer to the high-tech equipment industry for continuous innovation? 11.45 Nan Yang, TNO-ESI Leveraging large language models for legacy software 14.30 Wytse Oortwijn, TNO-ESI and Sjoerd Zwart, VDL-ETG Do you still develop supervisory controllers by hand?! and 15.15 Maaike van Leuken, TNO Automatic formal verification of hardware design https://lnkd.in/e_M8ZAHD Sezen Acur Bram van der Sanden Nan Yang Wytse Oortwijn Sjoerd Zwart Maaike van Leuken Dimitri Hehanussa Masoud Dorosti Jacco Wesselius Bits&Chips