1163 search results - page 18 / 233 » Case Studies of Model Checking for Embedded System Designs |
133
Voted
ICRA
2010
IEEE
15 years 11 days ago
2010
IEEE
— Data collection using Autonomous Underwater Vehicles (AUVs) is increasing in importance within the oceanographic research community. Contrary to traditional moored or static pl...
111
click to vote
FM
2003
Springer
15 years 7 months ago
2003
Springer
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...
121
Voted
IEEECIT
2010
IEEE
15 years 11 days ago
2010
IEEE
Abstract—Model-driven development has become the stateof-the-art approach for designing embedded real-time systems. heir high level of abstraction, models are easier to understan...
120
click to vote
RTCSA
2005
IEEE
15 years 7 months ago
2005
IEEE
Priorities are used to resolve conflicts such as in resource sharing and in safety designs. The use of priorities has become indispensable in real-time system design such as in s...
148
Voted
ECBS
2011
IEEE
14 years 1 months ago
2011
IEEE
—Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of ...