1163 search results - page 101 / 233 » Case Studies of Model Checking for Embedded System Designs |
140
click to vote
METAINFORMATICS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The Model-Driven Development (MDD) describes and maintains models of the system under development. The Unified Modeling Language (UML) supports a set of semantics and no...
126
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
159
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
Rising interest in the applications of wireless sensor networks has spurred research in the development of computing systems for lowthroughput, energy-constrained applications. Un...
143
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
Simulation of transaction level models (TLMs) is an established embedded systems design technique. Its use cases include virtual prototyping for early software development, platfo...
153
click to vote
IEEECIT
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper argues about the partitioning in hardware/software co-design and suggests the methodology applying extreme programming to complement the co-design. This approach, contr...