A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems

Article Properties
Journal Category
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Refrences
Title Journal Journal Categories Citations Publication Date
Compositional verification for hierarchical scheduling of real-time systems 2013
Model checking and modular verification

 ACM Transactions on Programming Languages and Systems
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 117 1994
Holistic schedulability analysis for multipacket messages in AFDX networks Real-Time Systems
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 19 2014
Component-based analysis of hierarchical scheduling using linear hybrid automata
A compositional scheduling framework for digital avionics systems
Citations
Title Journal Journal Categories Citations Publication Date
On methods and tools for rigorous system design

 International Journal on Software Tools for Technology Transfer
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2021
Citations Analysis
Category Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software1
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware1
Science: Mathematics: Instruments and machines: Electronic computers. Computer science1
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software 1 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled On methods and tools for rigorous system design and was published in 2021. The most recent citation comes from a 2021 study titled On methods and tools for rigorous system design. This article reached its peak citation in 2021, with 1 citations. It has been cited in 1 different journals. Among related journals, the International Journal on Software Tools for Technology Transfer cited this research the most, with 1 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year