Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Formal Architecture Modeling of Sequential C-Programs
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics. (Inbyggda kontrollsystem)ORCID iD: 0000-0002-9655-7326
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics. (Inbyggda kontrollsystem)
2016 (English)In: Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, Springer, 2016, 312-329 p.Conference paper, Published paper (Refereed)
Abstract [en]

To enable verification of a complex C-program, so called compositional verification can be used where the specification for the C-program is split into a set of specifications organized such that the fact that the C-program satisfies its specification can be inferred from verifying that parts of the C-program satisfy their specifications. To support the approach in practice, specifications must be organized in parallel to a formal architecture model capturing the C-program as a hierarchical structure of components with well-defined interfaces. Previous modeling approaches lack support for formal architecture modeling of C-programs. Therefore, a general and formal approach for architecture modeling of sequential C-programs is presented, to support compositional verification, as well as to aid design and management of such C-programs in general.

Place, publisher, year, edition, pages
Springer, 2016. 312-329 p.
National Category
Engineering and Technology Mechanical Engineering Mathematics
Identifiers
URN: urn:nbn:se:kth:diva-177634DOI: 10.1007/978-3-319-28934-2_17ISI: 000375378500017Scopus ID: 2-s2.0-84958074657OAI: oai:DiVA.org:kth-177634DiVA: diva2:873800
Conference
12th International Conference on Formal Aspects of Component Software (FACS'15)
Projects
ESRESSO
Note

QC 2016-02-11

Available from: 2015-11-25 Created: 2015-11-25 Last updated: 2017-09-25Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Authority records BETA

Westman, Jonas

Search in DiVA

By author/editor
Westman, JonasNyberg, Mattias
By organisation
Mechatronics
Engineering and TechnologyMechanical EngineeringMathematics

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 205 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf