Component-based system design: analytic real-time interfaces for state-based component implementations

No abstract is available for this paper.

• Publication year

  2013

• Venue

  International Journal on Software Tools for Technology Transfer (STTT)

• Publication date

  2013-06-01

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1007/s10009-012-0257-7
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Enabling Parametric Feasibility Analysis in real-time calculus driven performance evaluation

  2011cited by this paper
• Modular performance analysis of embedded real-time systems: improving modeling scope and accuracy

  2011cited by this paper
• ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre

  2010cited by this paper
• Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems

  2010cited by this paper
• Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems

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

  2008cited by this paper
• Automata Based Interfaces for Control and Scheduling

  2007cited by this paper
• Proceedings of the 10th international conference on Hybrid systems: computation and control

  2007cited by this paper
• Timed automata based analysis of embedded system architectures

  2006cited by this paper
• Interface-Based Rate Analysis of Embedded Systems

  2006cited by this paper
• On collaborative content distribution using multi-message gossip

  2006cited by this paper
• International Parallel and Distributed Processing Symposium (IPDPS 2004)

  2006cited by this paper
• System level performance analysis - the SymTA/S approach

  2005cited by this paper
• Sociable Interfaces

  2005cited by this paper
• Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling

  2005cited by this paper
• A Tutorial on Uppaal

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

  2004cited by this paper
• Timed Automata: Semantics, Algorithms and Tools

  2003cited by this paper
• Interface Theories for Component-Based Design

  2001influential reference
• Real-time calculus for scheduling hard real-time systems

  2000cited by this paper
• Hybrid Systems: Computation and Control

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

  1990cited by this paper

• A thread synchronization model for the PREEMPT_RT Linux kernel

  2020cites this paper
• Integration of Modeling Methods for Cyber-Physical Systems

  2019cites this paper
• Untangling the Intricacies of Thread Synchronization in the PREEMPT_RT Linux Kernel

  2019cites this paper
• Contracts for System Design

  2018cites this paper
• Strategies to Manage Enterprise Information Technology Projects

  2017influential citation
• Implementation of Mixed-Criticality Applications on Multi-Core Architectures

  2017cites this paper
• Causality problem in real-time calculus

  2016influential citation
• Worst-Case Performance Analysis of Feed-Forward Networks - An Efficient and Accurate Network Calculus

  2016cites this paper
• Achieving Efficiency without Sacrificing Model Accuracy: Network Calculus on Compact Domains

  2016cites this paper
• Contracts for Schedulability Analysis

  2015cites this paper
• Analyzing Multimode Wireless Sensor Networks Using the Network Calculus

  2015cites this paper
• Contracts for Systems Design: Methodology and Application cases

  2015cites this paper
• Toward Parametric Timed Interfaces for Real-Time Components

  2014cites this paper
• Component-Based Approach to Multi-Agent System Generation

  2014cites this paper
• Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software

  2014cites this paper
• A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets

  2014influential citation
• Rigorous embedded design: challenges and perspectives

  2013cites this paper
• With Real-Time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures

  2013cites this paper
• System performance evaluation by combining RTC and VHDL simulation: A case study on NICs

  2013cites this paper
• Multi-mode monitoring for mixed-criticality real-time systems

  2013cites this paper