Formal Architecture Modeling of Sequential Non-Recursive C Programs
2016 (English)In: Science of Computer Programming, ISSN 0167-6423, E-ISSN 1872-7964Article in journal (Other academic) Submitted
To manage the complexity of C programs, architecture models are used as high-level descriptions, allowing developers to understand, assess, and manage the C programs without having to understand the intricate complexity of the code implementations. However, for the architecture models to serve their purpose, they must be accurate representations of the code implementations. In order to achieve this in practice, support is needed in the form of a stringent mapping from the C language to an architecture modeling formalism.Considering that there exists no such uniform mapping from the C language to Modeling Languages (MLs) such as SysML or UML and Architecture Description Languages (ADLs) such as AADL, modeling C programs using such languages is essentially ad-hoc.Therefore, a unique mapping is established from the domain of sequential non-recursive C programs to a domain of formal architecture models.
Place, publisher, year, edition, pages
Research subject Machine Design
IdentifiersURN: urn:nbn:se:kth:diva-192375OAI: oai:DiVA.org:kth-192375DiVA: diva2:968033
QC 201609112016-09-112016-09-112016-09-11Bibliographically approved