Behavioral modelling of embedded software using execution traces
Software updates made by developers often achieve their intendedpurpose, but these updates may also lead to an anomalous behaviorpreviously unknown to the developers. This might be due to theirinteraction with other parts of the system. If the developers had a toolwhich could help them to visually s...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
Högskolan i Halmstad, Halmstad Embedded and Intelligent Systems Research (EIS)
2017
|
| Subjects: | |
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-34561 |