Modeling and analysis of real-time Ada tasking programs

No abstract is available for this paper.

• Publication year

  1994

• Venue

  1994 Proceedings Real-Time Systems Symposium

• Publication date

  1994-12-07

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/REAL.1994.342723
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Automatic Symbolic Verification of Embedded Systems

  1996cited by this paper
• Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems

  1994cited by this paper
• Automatic symbolic verification of embedded systems

  1993influential reference
• Analyzing timing requirements

  1993cited by this paper
• Communicating Real-Time State Machines

  1992cited by this paper
• A Layered Approach to Automating the Verification of Real-Time Systems

  1992cited by this paper
• Compiling Real-Time Specifications into Extended Automata

  1992cited by this paper
• Experiments with a program timing tool based on source-level timing schema

  1991cited by this paper
• Using partial orders for the efficient verification of deadlock freedom and safety properties

  1991cited by this paper
• Modeling and Verification of Time Dependent Systems Using Time Petri Nets

  1991cited by this paper
• A Unified High-Level Petri Net Formalism for Time-Critical Systems

  1991cited by this paper
• A Unified High-level Petri Net Model for Time Critical Systems

  1991cited by this paper
• TRIO: A logic language for executable specifications of real-time systems

  1990cited by this paper
• Automata For Modeling Real-Time Systems

  1990cited by this paper
• Deciding Properties of Timed Transition Models

  1990cited by this paper
• Evaluating tight execution time bounds of programs by annotations

  1989cited by this paper
• Safety analysis of timing properties in real-time systems

  1986cited by this paper
• A Timed Model for Communicating Sequential Processes

  1986cited by this paper

• Formalizing hybrid systems with Event-B and the Rodin Platform

  2014cites this paper
• Complementary Methodologies for Developing Hybrid Systems with Event-B

  2012influential citation
• Parametric Real-Time System Feasibility Analysis Using Parametric Timed Automata

  2012cites this paper
• Robust scheduling of real-time applications on efficient embedded multicore systems

  2011cites this paper
• Infinite Structures in Timed Systems

  2009cites this paper
• Symbolic Computation of Schedulability Regions Using Parametric Timed Automata

  2008cites this paper
• Analyzing Subclasses of Probabilistic Hybrid

  2007cites this paper
• Ììñññ Ùøóññøø Ûûøø ×ýò Blockinöóòóù× Èöó Blockin Blockin×××××

  2007influential citation
• Automatic Real-Time Analysis of Ada Tasking Programs for Embedded Systems

  2007cites this paper
• Task automata: Schedulability, decidability and undecidability

  2007cites this paper
• ARTES - A network for Real-Time research and graduate Education in Sweden 1997-2006

  2006cites this paper
• Model Checking Timed Automata with Priorities Using DBM Subtraction

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

  2006cites this paper
• Automata-Theoretic Performance Analysis Method of Soft Real-Time Systems

  2005cites this paper
• A Generic Approach to Schedulability Analysis of Real-Time Tasks

  2004cites this paper
• Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata

  2004cites this paper
• Schedulability Analysis Using Two Clocks

  2003cites this paper
• A Generic Approach to Schedulability Analysis of Real-Time Systems

  2003cites this paper
• A formalization of real-time system using modal logic

  2002cites this paper
• Modèles composables et concurrents pour le temps-réel

  2002cites this paper
• Timed Automata with Asynchronous Processes: Schedulability and Decidability

  2002cites this paper
• Real-time systems - scheduling, analysis, and verification

  2002cites this paper
• A modal logic-based model of traffic system

  2002cites this paper
• Process Algebra with Timing

  2002cites this paper
• Analyzing Real-Time Systems: Theory and Tools

  2001cites this paper
• Model-checking real-time control programs: verifying LEGO MINDSTORMSTM systems using UPPAAL

  1999cites this paper
• A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems

  1998cites this paper
• Supervisory Control of Probabilistic Discrete Event Systems with Recovery

  1998cites this paper
• Analyzing Partially-Implemented Real-Time Systems

  1997cites this paper
• Constructing abstract models of concurrent real-time software

  1996cites this paper
• Ada 95 as implementation vehicle for formal specifications

  1996cites this paper
• Real-time Programming with Time-stamped Event Histories *

  1996cites this paper
• Timing Analysis of Ada Tasking Programs

  1996cites this paper
• Automatic Symbolic Verification of Embedded Systems

  1996cites this paper
• A User Guide to HyTech

  1995cites this paper
• The specification and schedulability analysis of real-time systems using ACSR

  1995cites this paper
• Ada and Timed Automata

  1995cites this paper
• Simulation of real time scheduling at design levels

  1995cites this paper
• HYTECH: The Cornell HYbrid TECHnology Tool

  1994cites this paper