Modeling Real-Time Systems-Challenges and Work Directions

No abstract is available for this paper.

• Publication year

  2001

• Venue

  International Conference on Embedded Software

• Publication date

  2001-10-08

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1007/3-540-45449-7_26
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Embedded Control Systems Development with Giotto

  2001cited by this paper
• Timing Analysis and Code Generation of Vehicle Control Software using Taxys

  2001cited by this paper
• Overview of the Ptolemy project

  2001cited by this paper
• TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems

  2001cited by this paper
• Towards validated real-time software

  2000cited by this paper
• An Algebraic Framework for Urgency

  2000influential reference
• A Methodology for the Construction of Scheduled Systems

  2000influential reference
• On the Construction of Live Timed Systems

  2000cited by this paper
• What's Ahead for Embedded Software?

  2000cited by this paper
• Specification and analysis of real-time systems with PARAGON

  1999cited by this paper
• A framework for scheduler synthesis

  1999cited by this paper
• Hardware/software codesign of embedded systems the SPI workbench

  1999cited by this paper
• Theories of Programming Languages: Communicating Sequential Processes

  1998cited by this paper
• On-the-fly symbolic model checking for real-time systems

  1997cited by this paper
• Modeling Urgency in Timed Systems

  1997cited by this paper
• KRONOS: a verification tool for real-time systems

  1997cited by this paper
• Ada 95 - the lovelace tutorial

  1997cited by this paper
• MetaH support for real-time multi-processor avionics

  1997cited by this paper
• The Synthesis

  1996cited by this paper
• Hybrid systems III : verification and control

  1996cited by this paper
• The Tool KRONOS

  1996cited by this paper
• On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract)

  1995cited by this paper
• A Theory of Timed Automata

  1994cited by this paper
• A practitioner's handbook for real-time analysis - guide to rate monotonic analysis for real-time systems

  1993cited by this paper
• The Esterel Synchronous Programming Language: Design, Semantics, Implementation

  1992cited by this paper
• Fixed priority scheduling periodic tasks with varying execution priority

  1991cited by this paper
• The synchronous data flow programming language LUSTRE

  1991cited by this paper
• Synchronous Programming with Events and Relations: the SIGNAL Language and Its Semantics

  1991cited by this paper
• An Overview and Synthesis on Timed Process Algebras

  1991cited by this paper
• Hard Real-Time Scheduling: The Deadline-Monotonic Approach

  1991cited by this paper
• Communication and concurrency

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

  1989cited by this paper
• Use of Petri nets for performance evaluation

  1977cited by this paper

• Real-Time Parallel Programming: State of Play and Open Issues

  2023cites this paper
• Information at the Threshold of Interpretation: Science as Human Construction of Sense

  2020cites this paper
• On Formalization of Semantics of Real-Time and Cyber-Physical Systems

  2018cites this paper
• Performance And Deadline Based Real Time Scheduling Algorithm

  2016cites this paper
• Formalizing Real-Time Embedded System into Promela

  2015cites this paper
• A control-theoretic design and analysis framework for resilient hard real-time systems

  2015cites this paper
• Formal Techniques for Component-based Design of Embedded Systems

  2014cites this paper
• Contracts for Real-Time, Safety Critical Systems

  2014cites this paper
• Programming Paradigms for Real-Time Systems

  2014cites this paper
• Timed traces and their applications in specification and verification of distributed real-time systems

  2012cites this paper
• Model Checking Prioritized Timed Systems

  2012cites this paper
• Composing crosscutting concerns : a service-oriented view

  2012cites this paper
• A New Approach to Schedule Precedence Constraint Tasks in Real Time Systems

  2012cites this paper
• PERFORMANCE CONTRIBUTION BASED SCHEDULING FRAMEWORK FOR PRECEDENCE CONSTRAINT TASKS IN REAL TIME SYSTEM

  2011cites this paper
• Simulation de haut niveau de systèmes d'exploitations distribués pour l'exploration matérielle et logicielle d'architectures multi-noeuds hétérogènes. (High-level simulation of distributed real-time operating systems for design space exploration in heterogeneous MPSoC architectures)

  2011cites this paper
• Addressing the Integration Challenge for Avionics and Automotive Systems—From Components to Rich Services

  2010cites this paper
• The Theory of Timed I/O Automata, Second Edition

  2010cites this paper
• Automatic Compositional Verification of Business Processes

  2009cites this paper
• A time constrained real-time process calculus

  2008cites this paper
• Software Architecture Behavior Meta-model for Real-Time Systems

  2008cites this paper
• Model-driven architecture for embedded software: A synopsis and an example

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

  2008cites this paper
• Polychronous design of embedded real-time applications

  2007cites this paper
• Modeling and Verification of Real-Time Systems using IF Toolbox

  2007cites this paper
• ARTS: A SystemC-based framework for multiprocessor Systems-on-Chip modelling

  2007cites this paper
• Simulation-based Modeling Frameworks for Networked Multi-processor System-on-Chip

  2006cites this paper
• Research trends in real-time computing for embedded systems

  2006cites this paper
• On Composability of MPSoC Applications

  2006cites this paper
• The Theory of Timed I/O Automata

  2006cites this paper
• Jahuel: A Formal Framework for Software Synthesis

  2005cites this paper
• Model Checking Prioritized Timed Automata

  2005cites this paper
• Real-Time scheduling

  2005cites this paper
• Chapter 1 PREDICTABILITY IN REAL-TIME SYSTEM DEVELOPMENT

  2005cites this paper
• Predictability in real-time software design

  2005cites this paper
• Predictability in Real-Time System Development

  2005cites this paper
• Model-Checking von Phasen-Event-Automaten bez¨ uglich Duration Calculus Formeln mittels Testautomaten

  2005cites this paper
• Towards efficient use of shared communication media in the timed model

  2005cites this paper
• Predictability in Real-time System Development (1) Semantics Support from Development Languages

  2004cites this paper
• Modeling Real-Time Systems

  2004cites this paper
• Modélisation polychrone et évaluation de systèmes temps réel. (Polychronous modeling and evaluation of real-time systems)

  2004cites this paper
• The IF Toolset

  2004cites this paper
• Part VII. Appendices

  2004cites this paper
• Formal Methods for the Design of Real-Time Systems

  2004cites this paper
• Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL

  2004cites this paper
• Network-on-chip modeling for system-level multiprocessor simulation

  2003cites this paper
• Abstract RTOS modeling for multiprocessor system-on-chip

  2003cites this paper
• Synchronous modeling of avionics applications using the SIGNAL language

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

  2003cites this paper
• Building models of real-time systems from application software

  2003cites this paper
• Model-integrated development of embedded software

  2003cites this paper
• Towards UML-based formal specifications of component-based real-time software

  2003cites this paper
• Generative programming for embedded systems

  2002cites this paper
• Synchronous Modeling of Modular Avionics Architectures using the SIGNAL Language

  2002cites this paper
• A Model-based Front-end to TAO/ACE

  2002cites this paper
• Principles of Real-Time Programming

  2002cites this paper
• Playing with time: on the specification and execution of time-enriched LSCs

  2002cites this paper
• A modeling language and its supporting tools for avionics systems

  2002cites this paper