MEH531 Gömülü Sistemler - KULIS
MEH531 Gömülü Sistemler - KULIS
MEH531 Gömülü Sistemler - KULIS
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
More challenges for embedded software<br />
Dynamic y environments<br />
Capture the required behaviour!<br />
Validate specifications<br />
Efficient translation of specifications<br />
into implementations!<br />
HHow can we check h k th that t we meet t reall<br />
time constraints?<br />
How do we validate embedded realtime<br />
software? (large volumes of data,<br />
ttesting ti may be b safety-critical)<br />
f t iti l)<br />
- 42 -