1163 search results - page 21 / 233 » Case Studies of Model Checking for Embedded System Designs |
104
click to vote
DATE
2010
IEEE
15 years 5 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...
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper develops a model of an electrical power system, with its inherent embedded communication system, for the purpose of studying the characteristics of power system measure...
106
click to vote
LICS
2005
IEEE
15 years 7 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
130
click to vote
FDL
2004
IEEE
15 years 5 months ago
2004
IEEE
In this work we develop a secure communication protocol in the context of a Remote Meter Reading (RMR) System. We first analyze existing standards in secure communication (e.g. IP...
117
click to vote
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
The design of high performance multimedia systems in a short time force us to use IP's blocks in many designs. However, their correct integration in a design implies more com...