Design verification through software architecture recovery : Meeting ISO 26262 requirements on software using static analysis
Emerging functional safety standards in the automotive industry will create new challenges for companies sitting on large deposits of legacy code. When refactoring existing code for compliance with standards such as ISO 26262, great savings could be made if work products required by the standard cou...
Main Author: | Molin, Oscar |
---|---|
Format: | Others |
Language: | English |
Published: |
Uppsala universitet, Institutionen för informationsteknologi
2013
|
Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-202149 |
Similar Items
-
(User-friendly) formal requirements verification in the context of ISO26262
by: Denis Makartetskiy, et al.
Published: (2020-06-01) -
Formal Verification of Automotive Design in Compliance With ISO 26262 Design Verification Guidelines
by: Ghada Bahig, et al.
Published: (2017-01-01) -
Investigation of Resources Types for OSLC domains Targeting ISO 26262 : Focus on Knowledge Representation of the Right side of the ISO 26262 Software V-model
by: Padira, Kathyayani
Published: (2016) -
Development of an ISO 26262 ASIL D compliant verification system
by: Carlsson, Daniel
Published: (2013) -
Unambiguous Requirements in Functional Safety and ISO 26262: Dream or Reality?
by: Sternudd, Patrik
Published: (2011)