4799 search results - page 215 / 960 » Model Based Requirements Engineering for Embedded Software |
146
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Operating systems were created to provide multiple tasks with access to scarce hardware resources like CPU, memory, or storage. Modern programmable hardware, however, may contain ...
189
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
195
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
156
click to vote
CMG
2006
15 years 8 months ago
2006
We present a comprehensive model for quantitative evaluation and comparison of search engines. The model is based on the LSP method for system evaluation. The basic contribution of...
202
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
For `mixed-criticality' systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that ea...