223 research outputs found
IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata
We present here Imitator II, a new version of Imitator, a tool implementing
the "inverse method" for parametric timed automata: given a reference valuation
of the parameters, it synthesizes a constraint such that, for any valuation
satisfying this constraint, the system behaves the same as under the reference
valuation in terms of traces, i.e., alternating sequences of locations and
actions. Imitator II also implements the "behavioral cartography algorithm",
allowing us to solve the following good parameters problem: find a set of
valuations within a given bounded parametric domain for which the system
behaves well. We present new features and optimizations of the tool, and give
results of applications to various examples of asynchronous circuits and
communication protocols.Comment: In Proceedings INFINITY 2010, arXiv:1010.611
Classification-based parameter synthesis for parametric timed automata
National Research Foundation (NRF) Singapor
A Benchmarks Library for Extended Parametric Timed Automata
Parametric timed automata are a powerful formalism for reasoning on
concurrent real-time systems with unknown or uncertain timing constants. In
order to test the efficiency of new algorithms, a fair set of benchmarks is
required. We present an extension of the IMITATOR benchmarks library, that
accumulated over the years a number of case studies from academic and
industrial contexts. We extend here the library with several dozens of new
benchmarks; these benchmarks highlight several new features: liveness
properties, extensions of (parametric) timed automata (including stopwatches or
multi-rate clocks), and unsolvable toy benchmarks. These latter additions help
to emphasize the limits of state-of-the-art parameter synthesis techniques,
with the hope to develop new dedicated algorithms in the future.Comment: This is the author (and extended) version of the manuscript of the
same name published in the proceedings of the 15th International Conference
on Tests and Proofs (TAP 2021
Proceedings of the 5th International Workshop on Reconfigurable Communication-centric Systems on Chip 2010 - ReCoSoC\u2710 - May 17-19, 2010 Karlsruhe, Germany. (KIT Scientific Reports ; 7551)
ReCoSoC is intended to be a periodic annual meeting to expose and discuss gathered expertise as well as state of the art research around SoC related topics through plenary invited papers and posters. The workshop aims to provide a prospective view of tomorrow\u27s challenges in the multibillion transistor era, taking into account the emerging techniques and architectures exploring the synergy between flexible on-chip communication and system reconfigurability
Interim research assessment 2003-2005 - Computer Science
This report primarily serves as a source of information for the 2007 Interim Research Assessment Committee for Computer Science at the three technical universities in the Netherlands. The report also provides information for others interested in our research activities
- …