Abstract
Many computation tasks are made today on remote cloud platforms using web services. Beyond the advantages provided by such services, many new challenges arise. One of the challenging problems is ensuring that web services respect critical deadlines. This is a critical issue, especially for real-time systems that use remote web services. This paper aims to propose a framework for deadline verification using Timed Automata (TA).
Highlights
In the last few years, most companies migrated to remote cloud-based services
This paper proposes a new method based on timed automata reachability checking in order to resolve the problem of deadline verification
This paper focused on the problem of deadline verification for web services that could be modeled by timed automata
Summary
In the last few years, most companies migrated to remote cloud-based services. In these systems, most of the communication is ensured via web services that offer quasiunlimited resources and computational power. It is not easy to check whether the specification deadlines are respected This is because some web services are composed of many correlated tasks, where delays and timing are propagated according to a dynamic schedule. In this particular context, timed automata [6,7,8,9,10] are suitable for modeling the evolution of a system focusing on time constraints. Transitions can be executed when a linear constraint on clocks, called guard, is verified This framework presents an interesting graphical interface combined with powerful computational power. This paper proposes a new method based on timed automata reachability checking in order to resolve the problem of deadline verification
Sign-in/Register to view highlights & summary Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Engineering, Technology & Applied Science Research
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
