Environmental Simulation of Real-Time Systems with Nested Interrupts

No abstract is available for this paper.

• Publication year

  2009

• Venue

  2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering

• Publication date

  2009-07-29

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/TASE.2009.12
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Task automata: Schedulability, decidability and undecidability

  2007cited by this paper
• Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude

  2006cited by this paper
• Schedulability analysis of fixed-priority systems using timed automata

  2006influential reference
• Real-Time Maude 2.3 manual

  2004influential reference
• TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems

  2003cited by this paper
• The Theory of Timed I/o Automata

  2003cited by this paper
• Timed Automata with Asynchronous Processes: Schedulability and Decidability

  2002cited by this paper
• Timed automata as task models for event-driven systems

  1999influential reference
• Uppaal in a nutshell

  1997cited by this paper
• The symbolic model-checking for real-time systems

  1996influential reference
• Compositional and symbolic model-checking of real-time systems

  1995cited by this paper
• Real-Time Systems: Specification, Verification, and Analysis

  1995cited by this paper
• A Theory of Timed Automata

  1994influential reference
• Communication and concurrency

  1989cited by this paper

• Title Nested Timed Automata

  2019cites this paper
• Semantic theories of programs with nested interrupts

  2015cites this paper
• Probabilistic Denotational Semantics for an Interrupt Modelling Language

  2015cites this paper
• Environment modeling in model-based testing: concepts, prospects and research challenges: a systematic literature review

  2015cites this paper
• iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems

  2014cites this paper
• Nested Timed Automata

  2013cites this paper
• Measuring Time Lag with Nested Preemptions and Resumptions

  2012influential citation
• Emerald: An Automated Modeling and Verification Tool for Component-Based Real-Time Systems

  2012influential citation
• Modelling and analysis of real-time systems on multi-core processors

  2010cites this paper
• Modeling and analysis of real -time systems with mutex components

  2010cites this paper
• Schedulability analysis of multi-processor real-time systems using Uppaal

  2010cites this paper