527 search results - page 55 / 106 » Case Study: System Model of Crane and Embedded Control |
FPL
2007
Springer
15 years 3 months ago
2007
Springer
Modern platform FPGAs integrate fine-grained reconfigurable logic with processor cores and allow the creation of complete configurable systems-on-chip. However, design methodol...
CSMR
2004
IEEE
15 years 1 months ago
2004
IEEE
A Web site is a hyperlinked network environment, which consists of hundreds of inter-connected pages, usually without an engineered architecture. This is often a large, complex We...
CAI
2006
Springer
14 years 9 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
EIT
2009
IEEE
15 years 4 months ago
2009
IEEE
—System-level design (SLD) provides a solution to the challenge of increasing design complexity and time-to-market pressure in modern embedded system designs. In this paper, we p...
DATE
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...