liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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
Expressing Requirements in Modelica
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, The Institute of Technology. (PELAB)
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, The Institute of Technology. (PELAB)ORCID iD: 0000-0002-3435-4996
2014 (English)Conference paper, Published paper (Refereed)
Abstract [en]

As cyber-physical systems grow increasingly complex, the need for methodologies and tool support for an automated requirement verification process becomes evident. Expressing requirements in a computable form becomes a crucial step in defining such a process. The equation based declarative nature of the Modelica language makes it an ideal candidate for modeling a large subset of system requirements. Moreover, modeling both the requirements and the system itself in the same language presents numerous advantages. However, a certain semantic gap subsists between the notions used in requirement modeling and the concepts of cyber-physical modeling that Modelica relies on. To bridge this gap, in this paper, we illustrate through the use of dedicated types, pseudo function calls and function block libraries, how the Modelica language can be tailored to fit the needs of requirement modeling engineers.

Place, publisher, year, edition, pages
2014.
Keyword [en]
Requirements, Equation-based modeling
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:liu:diva-114207OAI: oai:DiVA.org:liu-114207DiVA: diva2:788251
Conference
In Proceedings of the 55th Scandinavian Conference on Simulation and Modeling (SIMS’2014),Aalborg, Denmark, Oct 21-22.
Available from: 2015-02-13 Created: 2015-02-13 Last updated: 2015-03-02Bibliographically approved

Open Access in DiVA

fulltext(600 kB)330 downloads
File information
File name FULLTEXT01.pdfFile size 600 kBChecksum SHA-512
82c48c7829ffaba3d21a9a0b5843c8c3c5d32b9adc9cd6b1d794f3fc2b77d47d740b5fa5fc93f58b83611243e0ec927261e9650bf3443da48a5c8b47acbd64eb
Type fulltextMimetype application/pdf

Authority records BETA

Rogovchenko, OlenaFritzson, Peter

Search in DiVA

By author/editor
Rogovchenko, OlenaFritzson, Peter
By organisation
Software and SystemsThe Institute of Technology
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 330 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

urn-nbn

Altmetric score

urn-nbn
Total: 164 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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