1163 search results - page 57 / 233 » Case Studies of Model Checking for Embedded System Designs |
133
Voted
QOSA
2007
Springer
15 years 10 months ago
2007
Springer
Component-based development helps to improve the modularity and reusability of embedded systems. Component models devised for embedded systems are typically restricted due to the l...
130
Voted
SIES
2007
IEEE
15 years 10 months ago
2007
IEEE
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
139
Voted
EIT
2009
IEEE
15 years 10 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...
113
click to vote
SPIN
1999
Springer
15 years 8 months ago
1999
Springer
Operator procedures are documents telling operators what to do in various situations. They are widely used in process industries including the nuclear power industry. The correctne...
108
click to vote
MEMOCODE
2006
IEEE
15 years 10 months ago
2006
IEEE
Hand-held devices have rigid constraints regarding power dissipation and energy consumption. Whether a new functionality can be supported often depends upon its power requirements...