uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Design verification through software architecture recovery: Meeting ISO 26262 requirements on software using static analysis
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology.
2013 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

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 could be automatically generated from existing source code.

In this thesis, we explore the possibilities to generate graphical software architectures, data-flow graphs and software architectural descriptions directly from existing C source code. By parsing the source code to find structures and the relations between them, we were able to create relational graphs that represents the software of an entire system or that of just one component, using different levels of abstraction where appropriate.

We create a proof-of-concept tool chain that can generate two kinds of graphical architecture views and one data-flow view. Although these tools are by no means ready for production, they do show promise and are already useful as development tools for better software understanding.

Finally we test the tool chain on current production ECU (Electric Control Unit) software used in heavy trucks and buses and evaluate the results against the requirements of the ISO 26262 standard. This thesis was done at Scania CV AB in Södertälje, Sweden.

Place, publisher, year, edition, pages
IT, 13 037
National Category
Engineering and Technology
URN: urn:nbn:se:uu:diva-202149OAI: oai:DiVA.org:uu-202149DiVA: diva2:631065
Educational program
Masters Programme in Embedded Systems
Available from: 2013-06-20 Created: 2013-06-20 Last updated: 2013-12-03Bibliographically approved

Open Access in DiVA

fulltext(2427 kB)1488 downloads
File information
File name FULLTEXT01.pdfFile size 2427 kBChecksum SHA-512
Type fulltextMimetype application/pdf

By organisation
Department of Information Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 1488 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 824 hits
ReferencesLink to record
Permanent link

Direct link