7557 search results - page 71 / 1512 » Modeling Timed Concurrent Systems |
130
click to vote
RTSS
2003
IEEE
15 years 6 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
105
click to vote
DSRT
2008
IEEE
15 years 8 months ago
2008
IEEE
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
129
click to vote
IJCSA
2006
15 years 1 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
125
click to vote
ENTCS
2008
15 years 1 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
125
click to vote
ECBS
2010
IEEE
15 years 8 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...