• Home
  • Search
  • A timing-driven design and validation methodology for embedded real-time systems
  • Cite Icon30
  • https://doi.org/10.1145/296333.296338Copy DOI Icon

A timing-driven design and validation methodology for embedded real-time systems

  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

We address the problem of timing constraint derivation and validation for reactive and real-time embedded systems. We assume that such a system is structured into its tasks, and the structure is modeled using a task graph. Our solution uses the timing behavior committed by the environment to the system first to derive the timing constraints on the system's internal behavior and then use them to derive and validate the timing constraints on the system's external behavior. Our solution consists of the following contributions: a generalized task graph model, a comprehensive classification of timing constraints, algorithms for derivation and validation of timing constraints of the system modeled in the generalized task graph model, a codesign methodology that combines the model and the algorithms, and the implementation of this methodology in a tool called RADHA-RATAN. The main advantages of our solution are that it simplifies the problem of ensuring timing correctness of the system by reducing the complexity of the problem from system level to task level, and that it makes the codesign methodology timing-driven in that our solution makes it possible to maintain a handle on the system's timing correctness from very early stages in the system's design flow.

Similar Papers
  • Conference Article
  • Citations22

Rate derivation and its applications to reactive, real-time embedded systems

  • Jan 01, 1998
  • Ali Dasdan +2
  • Conference Article
  • Citations3

Systematically combining specifications of internal and external system behavior using statecharts

  • Jan 01, 2004
  • M Glinz
  • Research Article

PROTOCOL: Cognitive‐behavioural interventions for sexually abused children

  • Jan 01, 2000
  • Campbell Systematic Reviews
  • G Macdonald +3
  • PDF
  • Research Article
  • Citations2

Exposure to Violence and Mental Health Outcomes Among Pre-schoolers in a South African Birth Cohort

  • Jan 01, 2024
  • Research on Child and Adolescent Psychopathology
  • Lucinda Tsunga +9
  • Research Article
  • Citations39

Screening for autism spectrum disorder in very preterm infants during early childhood

  • Mar 10, 2015
  • Early Human Development
  • Peter H Gray +3
  • Conference Article
  • Citations7

Optimal Assignment for Tree-Structure Task Graph on Heterogeneous Multicore Systems Considering Time Constraint

  • Sep 01, 2012
  • Li Wang +4
  • Conference Article
  • Citations6

Accurate Estimation of Leakage Power Variability in Sub-micrometer CMOS Circuits

  • Sep 01, 2012
  • Omid Assare +2
  • Conference Article

A hardware/software codesign methodology and workbench for predictable development of hard real-time systems

  • Jun 11, 1997
  • J Axelsson
  • Research Article
  • Citations47

The impact of the recovery paradox on retailer‐customer relationships

  • Jan 23, 2009
  • Managing Service Quality: An International Journal
  • Randi Priluck +1
  • Conference Article
  • Citations8

Combining complex event models and timing constraints

  • Dec 07, 2001
  • M Jersak +2
  • PDF
  • Research Article

THE INFLUENCE OF PROACTIVE PERSONALITY ON PERCEIVED CAREER SUCCESS: INTERNAL AND EXTERNAL NETWORKING BEHAVIOR AS MEDIATING VARIABLES

  • Aug 16, 2017
  • Performance
  • Lita Rizky Tanzila +2
  • Research Article

The influence of emotional labor of travel agency workers on their emotional exhaustion and turnover intention

  • Jun 30, 2016
  • International Journal of Tourism and Hospitality Research
  • In-Shil Park +1
  • Research Article
  • Citations4

Association of Second Hand Smoking with Mental Disorders in Children- An Egyptian Study

  • Jan 01, 2015
  • Journal of Psychological Abnormalities in Children
  • Eman A Zaky Eman M Fouda
  • PDF
  • Research Article
  • Citations8

The impact of R&D effort on business model innovation: Evaluating chain mediation through collaboration breadth and depth

  • Jun 05, 2023
  • PLOS ONE
  • Shuting Chen +1
  • Research Article
  • Citations3

Applying Mission‐Based Adaptability to Discipline Designs

  • Jul 01, 2019
  • INCOSE International Symposium
  • Haifeng Zhu
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.