Tag: esi

Master Thesis Project Leads to Conference Publication on Microservice Architecture Anti-Patterns at SEAA 2024

Posted on by bennyakesson

I am delighted to announce that our paper, “Graph-based Anti-Pattern Detection in Microservice Applications,” has been accepted for publication at the 50th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA). This paper stems from Amund Lunke Røhne’s master thesis project, which he conducted as an internship with TNO-ESI under the supervision of myself and Ben Pronk. This achievement showcases how exceptional work by master students can lead to publications in established conferences.

Our paper addresses a significant challenge in the evolution of microservice applications: as the microservice architecture evolves, architectural anti-patterns may emerge. These anti-patterns are challenging to detect and manage due to their informal natural language definitions and the lack of automated tools. To tackle this, we propose an automated methodology for detecting architectural anti-patterns related to microservice dependencies. A key component of this methodology is the novel Granular Hardware Utilization-Based Service Dependency Graph (GHUBS) model, which is automatically inferred from telemetry data. We have formalized three commonly known anti-patterns and developed algorithms to detect them within the GHUBS model. This methodology is supported by an open-source tool that automatically identifies and visualizes these anti-patterns. We validated our approach using both synthetic data and a case study of a popular microservice benchmarking suite, demonstrating successful detection of the formalized anti-patterns.

Congratulations to Amund on the acceptance of your paper! Your work has made both TNO-ESI and the Software Engineering program at the University of Amsterdam very proud!

Merrick Oost-Rosengren Successfully Defends Thesis on Early Component Verification using Colored Petri Nets

Posted on by bennyakesson

Just before the summer holidays, another master student has finished his project. This time, it is Merrick Oost-Rosengren who successfully defended his thesis “Formal Verification of Components through Mirroring of Coloured Petri Nets“. Parts of this work was done as an internship with TNO-ESI in collaboration with Thales.

This research addresses a challenge in distributed component-based systems, where different components are developed by different teams, perhaps even different organizations, over time. The problem is that when components are ultimately integrated, their interactions may cause deadlocks, livelock, or unbounded memory behavior. Fixing such problems late in the development process is very costly. An alternative approach is to model components, or component interfaces, early in the design process and use model checking to verify the behavior of the component and its interactions. However, we may not know which components it will interact with yet. Perhaps they have not yet been developed?

The thesis addresses this challenge by proposing a methodology and corresponding tool chain, where components as modelled as Colored Petri Nets from which a verification model, a mirror of the component that captures relevant possible behaviors of interacting components, is automatically generated. As a part of the methodology, the thesis proposes a new class of Colored Petri Nets called Mirrorable Open Colored Petri Nets. This class combines features of existing Colored Petri Nets and Open Petri Nets, and also adds extra semantics to allow the component to be mirrored. It also describes methods for mirroring such a net and fusing the mirror with the original component, such that the components and its interactions can be verified using reachability analysis.

We congratulate Merrick on his successful defense and wish him a lovely summer!

Software variability is as relevant as ever as a driver of complexity in high-tech equipment

Posted on by bennyakesson

Earlier this week, TNO-ESI arranged a webinar with Jacob Krüger, Assistant Professor at Eindhoven University of Technology. In the presentation “Do We Still Need This? Managing Variability in Modern Software Systems” he presented his research on development and evolution of variant-rich software systems. The presentation explained how successful systems are often cloned to create new variants until managing the variability becomes too complex and expensive. It discussed the transition from cloning towards platform-based software architectures and compared the development costs for new features and new variants, respectively, for the two cases, based on empirical data from industry. These insights are valuable to inform decision-making about when adopting a platform-based approach is strategic. However, Jacob also made clear that moving to a platform-based approach introduces its own challenges, such as ensuring software comprehension and quality, analyzing variability, aligning software and hardware release schedules, and deprecation of variable features.

The webinar attracted an audience of approximately 40 people from TNO-ESI, ASML, Thales, Canon, Vanderlande, ThermoFisher, and Radboud University Nijmegen. This strongly suggests that variability is still a main concern both in systems and software engineering that affects all parts of system development, from early architecting to implementation, testing, and evolution. I was thrilled to see that there was a lively discussion with questions and remarks. In retrospect, I wish we would have reserved more time to keep the conversation going. If you would like to discuss your particular variability challenges or ideas with Jacob, feel free to contact him.

TNO-ESI looks forward to arranging more webinars with experts from our eco-system of academic and industry partners in the field of software and system engineering for high-tech equipment.

TNO-ESI and Academic Partners Deliver ASCI PhD Course on Design and Implementation of Real-time Systems

Posted on by bennyakesson

The Netherlands boasts a world-leading high-tech manufacturing industry renowned for constructing distributed real-time systems of continuously growing complexity. These systems must meet stringent timing requirements to ensure the delivery of mission-critical functionalities. To create interest in the high-tech equipment domain and prepare PhD students in Computer Science to address its performance challenges, TNO-ESI has co-created and delivered a one-week PhD course Design and Implementation of Real-time Systems together with academic partners from Eindhoven University of Technology, University of Twente, and University of Amsterdam. The course is given in the context of the Advanced School for Computing and Imaging (ASCI), a Dutch research school for high-quality research and education in computer systems and imaging systems. ASCI encompasses almost all Dutch universities with computer-science departments. The main goals of ESI involvement in this course were to make participants aware of TNO and its role in society and industry and position it as a possible future employer, and creating awareness of TNO-ESIs vision and work in the area of system performance engineering.

The course is focused on providing an overview of selected timing-sensitive applications and the current research landscape on real-time systems and explaining the rationale behind considering real-time requirements in system software design. Through a series of lectures and hands-on labs, the course covers selected topics from scheduling algorithms, priority assignments, resource sharing, resource reservation, together with their implementation in real-time operating systems. It further discusses emerging challenges and practices in an industrial context, based on empirical surveys and experience from TNO-ESIs applied research on telemetry-based system performance engineering for purposes of performance optimization, verification, and diagnostics.

This first instance of the course was given at the Carlton President Hotel in Maarsen, outside Utrecht between June 10 – 14. 15 PhD students from universities all over the Netherlands researching a broad range of topics in computer science participated in the course. TNO-ESI was in the spotlight during the last day of the course. In the morning, I introduced the high-tech equipment domain and its complexity drivers and explained how new model-based engineering methodologies where needed to address them. Next, my colleague Bram van der Sanden presented our view on the field of System Performance Engineering, along with its focus areas and best practices. This was followed by two concrete examples from our system performance research: Kostas Triantafyllidis presented his work on performance analysis and diagnosis with ASML, followed by a presentation by me about performance verification and conformance checking in microservice systems based on our work with Thales.

The course was well-received by the participants and the contents were rated 8.7/10 in the evaluation. We very much enjoyed the experience of creating and delivering this course together with our academic partners. Thank you Kuan-Hsun Chen (leader of the initiative), Mitra Nasri, and Geoffrey Nelissen for the excellent collaboration in organizing this course. Thanks to Kay Heider and Christian Hakert for leading the hands-on exercises. We are also thankful to invited speakers Bram van der Sanden and Kostas Triantafyllidis.

ESI Symposium 2024: A Showcase of Cutting-Edge Research in High-tech Equipment

Posted on by bennyakesson

I had a blast at the ESI Symposium in Veldhoven! It may have been the best ESI Symposium I have visited so far! It is great to see the innovation chain for Dutch high-tech equipment come together and share challenges, exciting new research results, as well as success stories from our implementation partners.

The Symposium also showcased the progress of our academic programs. The Mastering Complexity (MasCot) program, now a veteran at the ESI Symposium, contributes new engineering methodologies to help us manage increasing system complexity and develop next-gen high-tech equipment efficiently and cost-effectively through all development phases, from early architecting to implementation, testing, and evolution. As the program enters its fourth year, the current focus is on rounding off much of the research and transfer developed knowledge and proof-of-concepts to ESI and the industry partners.

The Symposium also introduced our recently started ZORRO project, which is set to change the way we handle system malfunctions in cyber-physical systems. With intelligent diagnostics, ZORRO is on a mission to significantly reduce downtime costs and enhance system reliability. Interested to learn more? Reach out or stay tuned to hear more as the research develops!

Keynote on Managing Variability and Evolution in High-tech Equipment at FOSD Meeting 2024

Posted on by bennyakesson

I had the distinct honor of opening this year’s Meeting on Feature-Oriented Software Development (FOSD Meeting) with a keynote titled “Managing Variability and Evolution in High-tech Equipment”. FOSD Meeting is a yearly informal meeting to bring together the community of researchers working on feature-oriented software development. This year, the event was hosted by TU/e between April 9 – 12.

The keynote covered complexity trends in the high-tech equipment domain, ESI and its role in the high-tech innovation eco-system, and two examples of how variability and evolution were tackled using model-based methodologies at the level of the software architecture in our projects with Thales. The keynote was appreciated by the organizers of the event and the group of 35 participants, mostly from (German) universities but also from ESI’s international applied research partner DLR.

Reflecting on my experience, I was pleasantly surprised at the broad expertise in this community, which covered modelling, software engineering, and performance and I wished I could have stayed around to enjoy the rest of the event. I am happy to see that the keynote triggered some concrete follow ups that can help us link members of this academic community to research in the high-tech equipment ecosystem.

MasCot Program: Bridging Academia and Industry for High-Tech Innovation in Bits & Chips Feature

Posted on by bennyakesson

An article about strategic academic programming at TNO-ESI has appeared in Bits & Chips. The MasCot program, a collaboration co-funded by ESI and the Dutch research council NWO, is designed to tackle the increasing complexity of high-tech equipment.  The program addresses the pressing need for advanced engineering methodologies through four projects covering essential topics, such as design space exploration during early system design, scheduling, verification, and restructuring of evolving software. In the article, I explain how the 3-million-euro program facilitates the transition of academic research into practical industrial applications, creating an innovation funnel that spans from academic research through applied research to industrial embedding. The program’s strategic approach not only mitigates the risks associated with high-reward, complex projects but also fosters a symbiotic relationship between academia, industry, and TNO, allowing for a continuous exchange of knowledge, challenges, and innovations.

Master Thesis Shines Light on Hardware Dimensioning for Cyber-Physical Systems

Posted on by bennyakesson

On Wednesday, Marijn Vollaard defended his master thesis “Hardware Dimensioning for Microservice-based Cyber-Physical Systems: A Profiling and Performance Prediction Method” at the University of Amsterdam. This research has been supervised by Ben Pronk and myself as a part of a project with TNO-ESI.

The thesis addresses the problem of determining the number of homogeneous compute nodes needed for a particular variant of a cyber-physical system to meet its timing requirements. This is important in early discussions with customers and bidding processes, since it affects the size and cost of the resulting system. To this end, the thesis proposes a structured hardware dimensioning methodology comprising a profiling method and a performance prediction method. The four novel contributions of the thesis are: 1) A component-based profiling method, 2) a performance prediction method, 3) a structured hardware dimensioning methodology, and 4) validation of the approach, using a case study that represents a prototype of a CPS. Experimental evaluations on the case study show that the predicted performance differs from measurements on the application by at most 20%, which is satisfactory for hardware dimensioning decisions for new product variants.

The defense went well and Marijn confidently presented his story and convincingly answered the questions of the audience. The examination committee, impressed by his work, awarded his thesis a well-deserved grade of 8. As we bid farewell to Marijn, embarking on his next career adventure, we also extend our heartfelt congratulations. He certainly has much to be proud of. We wish him all the best on his travels and in his future pursuits.

Mastering Complexity at ICT Open 2024

Posted on by bennyakesson

TNO-ESI is hosting a Mastering Complexity for Cyber-Physical Systems track at ICT Open 2024. The event will take place in Utrecht on April 10-11. My colleague Rosilde Corvino will be the track chair of this event, together with myself. Submit an abstract, poster, or demo now and share with the community how your work addresses the challenge of increasing complexity in cyber-physical systems. Contributions in areas including system architecting, system dependability, system evolvability, systems of systems, and system performance are welcome.

Call for abstracts, posters, and demos:
https://ictopen.nl/track-mastering-complexity-for-cyber-physical-systems-cpshttps://lnkd.in/enBaRjNZ

Submission link:
https://www.ictopen2024.nl/submit-an-abstract/https://lnkd.in/etghmm8F

Master’s Student Marijn Vollaard Shines with Study on Hardware Dimensioning for Microservice Applications in Cyber-Physical Systems

Posted on by bennyakesson

Our master’s student, Marijn Vollaard, has achieved a significant milestone by completing and presenting his literature study titled “Hardware Dimensioning for Microservice Applications in Cyber-Physical Systems: Current Directions and Challenges” The study addresses the challenge of dimensioning the number of compute nodes required to meet the performance demands of microservice-based applications in cyber-physical systems. It thoroughly reviews an extensive body of literature on application and system profiling, performance prediction, and design-space exploration to establish the current state of knowledge in this field. The survey culminates in a discussion about how the surveyed literature applies to microservice applications, the cyber-physical systems context, and the problem of hardware dimensioning. Overall, this is a nice piece of work with a lot of references presented in a systematic way. Congratulations to Marijn for his great effort!”