(Softwaretechnik-Trends Band 31, Heft 3, 2011) Gebhardt, Markus; Kaske, Axel
The following article will have a look on methods for validation and verification of software requested for safety related systems by ISO26262 (or similar standards) and will point out how some dedicated tools from ETAS may help to fulfill and implement these. A brief introduction into the underlying technology will be given in order to discuss the aspects/use cases where these tools can be used either for simulation purpose or in combination with the final target.