Sciweavers

1087 search results - page 1 / 218
» Modelling and Implementing Complex Systems with Timebands
Sort
View
SSIRI
2010
13 years 3 months ago
Modelling and Implementing Complex Systems with Timebands
—We describe how to use a timeband architecture to model real-time requirements. The architecture separates requirements that use different time units, producing a family of mode...
Jim Woodcock, Marcel Oliveira, Alan Burns, Kun Wei
RTS
2010
90views more  RTS 2010»
13 years 3 months ago
A timeband framework for modelling real-time systems
Abstract Complex real-time systems, must integrate physical processes with digital control, human operation and organizational structures. New scientific foundations are required ...
Alan Burns, Ian J. Hayes
ACSD
2005
IEEE
162views Hardware» more  ACSD 2005»
13 years 10 months ago
Complexity Results for Checking Distributed Implementability
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
Keijo Heljanko, Alin Stefanescu
SCW
2006
IEEE
13 years 10 months ago
Implementation of a Complex Event Engine for the Web
One of the key aspects in the implementation of reactive behaviour in the web and, most importantly, in the semantic web is the development of event detection engines. An event en...
José Júlio Alferes, Gaston E. Tagni
ICSEA
2006
IEEE
13 years 10 months ago
Extracting Simulation Models from Complex Embedded Real-Time Systems
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
Johan Andersson, Joel Huselius, Christer Norstr&ou...