Analyzing Partially-Implemented Real-Time Systems

No abstract is available for this paper.

• Publication year

  1997

• Venue

  Proceedings of the (19th) International Conference on Software Engineering

• Publication date

  1997-05-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/253228.253275
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Constructing Multi-Formalism State-Space Analysis Tools: Using rules to specify dynamic semantics of models

  1997cited by this paper
• Timing Analysis of Ada Tasking Programs

  1996influential reference
• Interval Logics and Their Decision Procedures, Part I: An Interval Logic

  1996cited by this paper
• Constructing abstract models of concurrent real-time software

  1996cited by this paper
• Automatic Symbolic Verification of Embedded Systems

  1996cited by this paper
• Generating oracles from your favorite temporal logic specifications

  1996cited by this paper
• Generation of multi-formalism state-space analysis tools

  1996cited by this paper
• Interval logics and their decision procedures: Part II: a real-time interval logic☆

  1996cited by this paper
• Proceedings of the 1996 International Symposium on Software Testing and Analysis (ISSTA), January 8-10, 1996, San Diego, California, USA

  1996cited by this paper
• Temporal Verification of Reactive Systems

  1995cited by this paper
• The Algorithmic Analysis of Hybrid Systems

  1995cited by this paper
• HYTECH: the next generation

  1995cited by this paper
• Temporal verification of reactive systems - safety

  1995cited by this paper
• Oracles for checking temporal properties of concurrent systems

  1994cited by this paper
• Modeling and analysis of real-time Ada tasking programs

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

  1994cited by this paper
• A graphical interval logic for specifying concurrent systems

  1994cited by this paper
• Parallel Hybrid Models in System Design

  1993cited by this paper
• Conjunction as composition

  1993cited by this paper
• Enhancing compositional reachability analysis with context constraints

  1993cited by this paper
• MIDAS: Integrated Design and Simulation of Distributed Systems

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

  1991cited by this paper
• Compositional reachability analysis using process algebra

  1991cited by this paper
• Real-time scheduling theory and Ada

  1990cited by this paper
• Compositional model checking

  1989cited by this paper
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

  1989cited by this paper
• The tableau method for temporal logic: an overview

  1985cited by this paper

• Studying the Impact of Scheduler Implementation on Task Jitter in Real-Time Resource-Constrained Embedded Systems

  2014cites this paper
• Ways for Implementing Highly-Predictable Embedded Systems Using Time-Triggered Co-Operative (TTC) Architectures

  2012cites this paper
• Environment generation for validating event-driven software using model checking

  2010cites this paper
• Bridging the gap between scheduling algorithms and scheduler implementations in time-triggered embedded systems.

  2009cites this paper
• Eliminating Software Failures - A Literature Survey

  2009cites this paper
• System-Level Design Methodologies for Networked Multiprocessor Systems-on-Chip

  2008cites this paper
• Domain-specific environment generation for modular software model checking

  2008cites this paper
• On Integrating Scheduling Theory into Formal Models for Hard Real Time Systems

  2007cites this paper
• Application of automated environment generation to commercial software

  2006cites this paper
• Solving the Missing Environment Problem in Bandera Department of Software Engineering

  2005cites this paper
• Template semantics: a parameterized approach to semantics-based model compilation

  2005cites this paper
• Computing platforms

  2005cites this paper
• A scenario-matching approach to the description and model checking of real-time properties

  2005cites this paper
• Model Checking Template-Semantics Specifications

  2004cites this paper
• Implementation methodologies of a software defined navigator (SDN) allowing the conception of a real time robust hybrid GPS/Galileo receiver

  2004cites this paper
• Verifying Object-based Graph Grammars

  2004cites this paper
• Visual timed event scenarios

  2004cites this paper
• REAL-TIME SYSTEMS DESIGN AND ANALYSIS THIRD EDITION

  2004cites this paper
• Automated environment generation for software model checking

  2003cites this paper
• Template Semantics for Model-Based Notations

  2003influential citation
• Positive loop-closed automata: a decidable class of hybrid systems

  2002cites this paper
• Composable semantics for model-based notations

  2002cites this paper
• Some lessons from the HYTECH experience

  2001cites this paper
• The recommendation architecture: lessons from large-scale electronic systems applied to cognition

  2001cites this paper
• Logic Control and “Reactive” Systems: Algorithmization and Programming

  2001cites this paper
• A framework for multi-notation requirements specification and analysis

  2000cites this paper
• Duration properties over real time system designs

  2000cites this paper
• Framework for debugging domain-specific languages

  2000cites this paper
• Automated support for testing and debugging of real-time programs using oracles

  2000cites this paper
• A Functional Architecture Approach to Neural Systems

  2000cites this paper
• A Practitioner's Handbook for Real-time Analysis-guide to Rate Monotonic Analysis for Real Time Systems. Symbolic Model Checking for Event-driven Real-time Systems. Acm Toplas

  1999influential citation
• Verification of real-time designs: combining scheduling theory with automatic formal verification

  1999influential citation
• Theoretical and Practical Aspects of SPIN Model Checking

  1999cites this paper
• Automatic verification of real-time designs

  1999cites this paper
• Assume-Guarantee Model Checking of Software: A Comparative Case Study

  1999cites this paper
• A physiologically based approach to consciousness

  1999cites this paper
• Filter-based model checking of partial systems

  1998influential citation
• Modular flow analysis for concurrent software

  1997cites this paper
• The Sage project: a new approach to software engineering for distributed applications

  1997cites this paper
• Automated Analysis of Software Frameworks (position Paper)

  1997cites this paper