10159 search results - page 450 / 2032 » System Design Validation Using Formal Models |
129
click to vote
WSC
2007
15 years 7 months ago
2007
A HDD template is designed and developed for modeling and simulation for final assembly of hard disk drive (HDD) manufacturing using Arena. The designed HDD template is a high fle...
168
click to vote
FPL
2007
Springer
15 years 11 months ago
2007
Springer
Today’s heterogeneous embedded systems combine components from different domains, such as software, analogue hardware and digital hardware. The design and implementation of thes...
186
click to vote
SIGMETRICS
2010
ACM
15 years 3 months ago
2010
ACM
As modern multi-tier systems are becoming increasingly large and complex, it becomes more difficult for system analysts to understand the overall behavior of the system, and diag...
130
click to vote
CODES
2001
IEEE
15 years 8 months ago
2001
IEEE
We introduce the foundation of a system modeling environment targeted at capturing the anticipated interactions of hardware and software behaviors -- not just their co-execution. ...
145
click to vote
TACAS
1998
Springer
15 years 9 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...