Design pattern for the runtime model-based checking of a real-time embedded system

Arm, Jakub; Bradáč, Zdeněk; Bastan, Ondrej; Streit, J.; Misik, Stefan

doi:10.1016/j.ifacol.2019.12.744

Cited by 4 publications

(2 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…J. Arm et al [19] implement and describe a checking monitor based on a runtime model. The monitor uses as a model the extended Petri net, which is implemented with VHDL (VHSIC-HDL, Very High Speed Integrated Circuit Hardware Description Language).…”

Section: State Of the Artmentioning

confidence: 99%

Design Patterns and Electric Vehicle Charging Software

et al. 2020

View full text Add to dashboard Cite

The development and maintenance of complex software systems, with ever-changing requirements has benefited from the implementation of design patterns, which ensure a higher degree of maintainability. The present article illustrates the essential role of design patterns in sketching the software architecture for an electric vehicle charging management platform. We have integrated a series of design patterns to create a solid base structure for the API (Application Programming Interface). Furthermore, we have explored cloud design patterns in the deployment process to ensure a proper multi-tenant cloud application with the best possible tenant isolation for the cost. The aim of this paper is to offer readers an introduction in the case study theme, to describe a complex platform development through design patterns. With proper examples from real projects debated in the industry. The paper demonstrates the design patterns applicability from software level to cloud resources plan and advocates for a high-quality solution in every segment of project development. In conclusion, the results are promising, and the functionality of the established methods on this type of platforms will be evaluated during the implementation period. Overall, design patterns have proven to be essential in the development process, ensuring effective team communication and the delivery of qualitative software solutions.

show abstract

Section: State Of the Artmentioning

confidence: 99%

Design Patterns and Electric Vehicle Charging Software

et al. 2020

View full text Add to dashboard Cite

show abstract

“…By applying design patterns, developers can address specific design issues and improve the quality of the system [3][4][5]. Design patterns have proven to be effective tools in software development, providing solutions to common problems and ensuring that software systems are scalable, maintainable, and flexible [6][7][8]. The problem is that without using design patterns, the maintenance of monitoring systems can be difficult, time-consuming and prone to errors [9][10][11].…”

Section: Introductionmentioning

confidence: 99%

Application of Design Patterns in the Development of the Architecture of Monitoring Systems

Pasinkova,

Vikentyeva

2023

Proceedings of ISP RAS

View full text Add to dashboard Cite

This article explores the relevance of using design patterns in the development of the architecture of monitoring systems. The increasing complexity of modern monitoring systems has made it challenging to maintain and evolve them. The use of design patterns can address these challenges by providing reusable solutions to common problems in monitoring system architecture. This article reviews the literature on monitoring systems and design patterns and identifies appropriate design patterns for monitoring system architecture. The article also analysis the requirements for monitoring systems and demonstrates how design patterns can be used to meet these requirements. The results show that the use of design patterns can improve the maintainability, flexibility, reliability, compatibility and scalability of monitoring systems. This article is relevant to software architects, developers, and system administrators who are involved in the development and maintenance of monitoring systems.

show abstract

Maximally Permissive Deadlock Prevention Controlled in FMSs Based on the Siphons Petri Nets

Abdul-Hussin

2022

2021 International Seminar on Machine Learning, Optimization, and Data Science (ISMODE)

View full text Add to dashboard Cite

Design pattern for the runtime model-based checking of a real-time embedded system

Cited by 4 publications

References 15 publications

Design Patterns and Electric Vehicle Charging Software

Design Patterns and Electric Vehicle Charging Software

Application of Design Patterns in the Development of the Architecture of Monitoring Systems

Maximally Permissive Deadlock Prevention Controlled in FMSs Based on the Siphons Petri Nets

Contact Info

Product

Resources

About