183 search results - page 27 / 37 » Verification Approach of Metropolis Design Framework for Emb... |
135
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
— Traffic shaping is a well-known technique in the area of networking and is proven to reduce global buffer requirements and end-to-end delays in networked systems. Due to these...
125
click to vote
DATE
1999
IEEE
15 years 7 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
169
click to vote
TASE
2010
IEEE
14 years 10 months ago
2010
IEEE
Airport Baggage Handling is a field of automation systems that is currently dependent on centralised control systems and conventional automation programming techniques. In this and...
155
click to vote
SNPD
2008
15 years 4 months ago
2008
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...