NDLI: Verifying temporal constraints on data in multi-rate transactions using timed automata

Content Provider	IEEE Xplore Digital Library
Author	Wall, A. Sandstrom, K. Maki-Turja, J. Norstrom, C. Wang Yi
Copyright Year	2000
Description	Author affiliation: Malardalen Univ., Vasteras, Sweden (Wall, A.)
Abstract	Transactions involving multiple tasks, possibly with different period times, are common constructs used in the design of real-time systems. Data flowing through a transaction is usually subject to temporal constraints, such as maximum time from input to output or a maximum time difference between inputs. Such constraints are of great importance to guarantee the correct functioning of the designed system, but normally they cannot be checked using the traditional approach to schedulability analysis. We describe how to use timed automata and reachability analysis to verify such temporal constraints on data in transactions. By making a timed automaton model of the data dependencies in a transaction, we enable automatic verification of timing constraints such as end-to-end latency. The model can handle different computational models and any non-preemptive execution order of the tasks in the transaction. Our experiences from industrial case studies indicate that in a substantial number of applications, the transactions are of sizes that can be handled using this approach.
Starting Page	263
Ending Page	270
File Size	703739
Page Count	8
File Format	PDF
ISBN	0769509304
ISSN	15301427
DOI	10.1109/RTCSA.2000.896400
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2000-12-14
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Automata Job shop scheduling Delay Computational modeling Processor scheduling Real time systems Timing Sampling methods Jitter Control systems
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Jitter Evaluation of Real-Time Control Systems

Timed automata as task models for event-driven systems

New on-line preemptive scheduling policies for improving real-time behavior

Improved scheduling of control tasks

Modeling of Computer-Controlled Systems with Sampling Interval Jitter

Scheduling real-time transactions

Job-Shop Scheduling Problems Using Timed Planning

Establishing timing requirements and control attributes for control loops in real-time systems

Symbolic Computation of Schedulability Regions Using Parametric Timed Automata

Verifying temporal constraints on data in multi-rate transactions using timed automata

Similar Documents

Jitter Evaluation of Real-Time Control Systems

Timed automata as task models for event-driven systems

New on-line preemptive scheduling policies for improving real-time behavior

Improved scheduling of control tasks

Modeling of Computer-Controlled Systems with Sampling Interval Jitter

Scheduling real-time transactions

Job-Shop Scheduling Problems Using Timed Planning

Establishing timing requirements and control attributes for control loops in real-time systems

Symbolic Computation of Schedulability Regions Using Parametric Timed Automata

Verifying temporal constraints on data in multi-rate transactions using timed automata