1163 search results - page 128 / 233 » Case Studies of Model Checking for Embedded System Designs |
121
click to vote
WSC
1997
15 years 5 months ago
1997
Automotive manufacturing is a complex task involving several steps of machining and assembly. Typically, larger components of an automobile such as the body, engine etc. are assem...
124
click to vote
MSWIM
2004
ACM
15 years 10 months ago
2004
ACM
– Interference performance is among the most important issues especially in WCDMA cellular networks planning coverage and capacity. F-factor has been introduced in previous works...
132
click to vote
CBSE
2009
Springer
15 years 11 months ago
2009
Springer
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...
118
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
176
click to vote
SQJ
2010
15 years 2 months ago
2010
One of the main goals of design patterns is to design for change. Many design patterns leave some room for future changes and evolutions. The application of design patterns leads ...