76 search results - page 4 / 16 » Specification of real-time and hybrid systems in rewriting l... |
122
click to vote
FMOODS
2007
15 years 1 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
109
click to vote
IPPS
2005
IEEE
15 years 5 months ago
2005
IEEE
Data flow and FSMs are used intensively to specify real-time systems in the field of mechatronics. Their implementation in FPGAs is discussed against the background of dynamic rec...
ISORC
2000
IEEE
15 years 3 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
128
click to vote
ANSOFT
2002
14 years 11 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
100
click to vote
FORMATS
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Introducing a monitor on a system typically changes the system's behaviour by slowing the system down and increasing memory consumption. This may possibly result in ...