1163 search results - page 17 / 233 » Case Studies of Model Checking for Embedded System Designs |
91
Voted
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
—In this paper we propose a UML/MDA approach, called MoPCoM methodology, to design high quality real-time embedded systems. We have defined a set of rules to build UML models fo...
124
Voted
FDL
2006
IEEE
15 years 8 months ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
142
click to vote
EMSOFT
2009
Springer
15 years 8 months ago
2009
Springer
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...
121
click to vote
FAC
2007
15 years 1 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
113
click to vote
ICTAC
2005
Springer
15 years 7 months ago
2005
Springer
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...