Verfahren und System zur Abstraktionsverfeinerungsbasierten Zeitvalidierung
Anmelder: Tata Consultancy Services Limited 🇮🇳
Details
- Veröffentlichungs-Nr.
- EP4083797
- Aktenzeichen
- EP21200389
- Anmeldetag
- 1. Oktober 2021
- Veröffentlichung
- 21. Januar 2026
- Erteilung
- 21. Januar 2026
- Rechtsraum
- EP
- IPC
- G06F9/48
Abstract
The present disclosure provides an abstraction refinement for analyzing timing properties of real-time applications in an efficient, scalable and accurate manner. Conventional methods focus on closed-form analytical tests because of their efficiency and lacks scalability. The present disclosure receives a plurality of task specifications. A time horizon is computed based on the plurality of task specifications. A plurality of time spawned jobs is obtained based on the computed time horizon. Further, a Directed Acyclic Graph (DAG) is constructed for the plurality of time spawned jobs. A plurality of symbolic variables are obtained from the DAG and a plurality of timing constraints are computed. The plurality of constraints and a plurality of timing properties are verified by a verification engine to obtain a set of timing property violated jobs. Here, spurious traces are identified from the execution trace and removed using a plurality of refinement properties.
Anmelder
- Firma
- Tata Consultancy Services Limited
- Land
- 🇮🇳 Indien
Indisches IT-Dienstleistungs- und Beratungsunternehmen, Teil der Tata Group. Bietet Softwareentwicklung, IT-Consulting, Outsourcing und digitale Transformationslösungen für Unternehmenskunden weltweit an.
1.851 Patente in unserer Datenbank
Fachgebiete
Boehmert & Boehmert geht auf die Zulassung von Dr. Karl Boehmert 1931 in Berlin zurück. Mit Standorten in Deutschland, Alicante, Paris und Shanghai bietet die Kanzlei IP aus einer Hand und legt besonderen Wert auf persönliche Mandantenbetreuung statt Anonymität.