1163 search results - page 42 / 233 » Case Studies of Model Checking for Embedded System Designs |
136
click to vote
JOT
2008
15 years 3 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
138
Voted
WOSP
2004
ACM
15 years 9 months ago
2004
ACM
In this paper we describe our experience in performance analysis of the software architecture of the NICE case study which is responsible for providing several secure communicatio...
212
Voted
DSD
2011
IEEE
14 years 3 months ago
2011
IEEE
—This paper presents an approach for the reliability-aware design optimization of real-time systems on multi-processor platforms. The optimization is based on an extension of wel...
129
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract—rSesame is a generic modeling and simulation framework which can explore and evaluate reconfigurable systems at the early design stages. The framework can be used to ex...
114
Voted
EWSA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evo...