Verification techniques in the context of event-trigged soft real-time systems
When exploring a verification approach for Komatsu Forest's control system regarding their forest machines (Valmet), the context of soft real-time systems is illuminated. Because of the nature of such context, the verification process is based on empirical corroboration of requirements fulfillm...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
Tekniska Högskolan, Högskolan i Jönköping, JTH, Data- och elektroteknik
2007
|
| Subjects: | |
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-737 |