10159 search results - page 423 / 2032 » System Design Validation Using Formal Models |
110
click to vote
ICRA
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper we illustrate a methodology for modeling and analyzing flexible feeders using generalized semi-Markov process (GSMP) models. Working through the simple case consisti...
124
click to vote
FORMATS
2005
Springer
15 years 10 months ago
2005
Springer
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...
136
click to vote
HPCC
2009
Springer
15 years 9 months ago
2009
Springer
—Grid applications need to move large amounts of data between distributed resources within deterministic time frames. In most cases it is possible to specify the volume and the d...
146
Voted
RTAS
2007
IEEE
15 years 10 months ago
2007
IEEE
Most of today’s real-time embedded systems consist of a heterogeneous mix of fully-programmable processors, fixed-function components or hardware accelerators, and partially-pr...
135
Voted
HASKELL
2006
ACM
15 years 10 months ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...