Titlebook: Operational Semantics for Timed Systems; A Non-standard Appro Heinrich Rust Book 2005 Springer-Verlag Berlin Heidelberg 2005 abstract state

發(fā)芽

異常

Models of Time and of System BehaviorsIn computer science, system behaviors are often represented as a function from some time domain . to some state domain .. We will also use this approach.

排出

Defining Hybrid Systems with ASMsWe will define hybrid systems using the most important ideas from ASMs. First we define a classical approach to modelling hybrid systems, and then we define a novel, non-standard approach of modelling hybrid systems.

流行

DeadlinesA concept which is often used in models of real-time systems is the deadline. A deadline is a point in time associated with an event so that the event must take place in a system run, and it must not take place after the deadline. This section will discuss how deadlines might be modelled in NTASMs.

Bone-Scan

Open SystemsAn application is modelled as an open system if the environment is not expressed explicitly in the model. Open systems are the paradigmatic case of reactive systems.

Rodent

Making Use of Different Magnitudes of RealsConsider the following scenario: A flip-flop is wired up so that with every rising edge of the clock, it changes its state.

發(fā)芽

An ASM Meta-model for Petri Nets with TimingThis section will present several NTASM interpretations of timing enhanced Petri nets. Petri nets without timing [Pet62, Rei86] are a widely used model for discrete nondeterministic distributed systems.

certain

An ASM Meta-model for Timed and Hybrid AutomataTimed and hybrid automata are formalisms for the description of real-time systems which are designed primarily to make algorithmic analysis possible [ACD93, AD94, ACH.95].

sed-rate

maladorit

978-3-540-25576-5Springer-Verlag Berlin Heidelberg 2005