https://www.mdu.se/

mdu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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
Towards Consistency Checking Between a System Model and its Implementation
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-1863-3987
Saab AB, Järfälla, Sweden.
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-0401-1036
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0003-0416-1787
Show others and affiliations
2020 (English)In: International Conference on Systems Modelling and Management ICSMM, Springer Science and Business Media Deutschland GmbH , 2020, Vol. 1262, p. 30-39Conference paper, Published paper (Refereed)
Abstract [en]

In model-based systems engineering, a system model is the central development artifact containing architectural and design descriptions of core parts of the system. This abstract representation of the system is then partly realized in code. Throughout development, both system model and code evolve independently, incurring the risk of them drifting apart. Inconsistency between model and code can lead to errors in development, resulting in delayed or erroneous implementation. We present a work in progress towards automated mechanisms for checking consistency between a system model and code, within an industrial model-based systems engineering setting. In particular, we focus on automatically establishing traceability links between elements of the system model and parts of the code. The paper describes the challenges in achieving this in industrial practices and outlines our envisioned approach to overcome those challenges.

Place, publisher, year, edition, pages
Springer Science and Business Media Deutschland GmbH , 2020. Vol. 1262, p. 30-39
Series
Communications in Computer and Information Science, ISSN 18650929
National Category
Engineering and Technology Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-49348DOI: 10.1007/978-3-030-58167-1_3Scopus ID: 2-s2.0-85094137378ISBN: 9783030581664 (print)OAI: oai:DiVA.org:mdh-49348DiVA, id: diva2:1453345
Conference
1st International Conference on Systems Modelling and Management, ICSMM 2020; Bergen; Norway; 25 June 2020 through 26 June 2020
Projects
Software Center: Managing Inconsistent Development ArtefactsSoftware CenterAvailable from: 2020-07-09 Created: 2020-07-09 Last updated: 2023-09-13Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Jongeling, RobbertCiccozzi, FedericoCicchetti, AntonioCarlson, Jan

Search in DiVA

By author/editor
Jongeling, RobbertCiccozzi, FedericoCicchetti, AntonioCarlson, Jan
By organisation
Embedded Systems
Engineering and TechnologyComputer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • 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