4799 search results - page 252 / 960 » Model Based Requirements Engineering for Embedded Software |
195
click to vote
ADAEUROPE
2005
Springer
16 years 4 days ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
187
click to vote
IJISMD
2010
15 years 3 months ago
2010
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone...
184
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we discuss our initial experiences adapting OpenMP to enable it to serve as a programming model for high performance embedded systems. A high-level programming model...
201
click to vote
WCRE
2003
IEEE
15 years 12 months ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...
169
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
NAND flash-based storage is widely used in embedded systems due to its numerous benefits: low cost, high density, small form factor and so on. However, NAND flash-based storage is...