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
  • 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
On formal cyber physical system properties modeling: a new temporal logic language and a Modelica-based solution
Department of Informatics, Modeling, Electronics and Systems Engineering (DIMES), University of Calabria, Italy.
Department of Informatics, Modeling, Electronics and Systems Engineering (DIMES), University of Calabria, Italy.
R&D Division, Electricité de France (EDF), France.
R&D Division, Electricité de France (EDF), France.
Show others and affiliations
2016 (English)In: 2016 IEEE International Symposium on Systems Engineering (ISSE), IEEE , 2016, 112-119 p.Conference paper, (Refereed)
Abstract [en]

Modeling and Simulation methods, tools and techniques aim at supporting the different phases of the lifecycle of modern systems, going from requirements analysis to system design and operation. However, their effective application requires investigating several aspects such as the formal modeling of system requirements and the binding and automated composition between heterogeneous models (e.g. requirements models, architectural models, behavioral models). In this context, the paper presents a new formal requirement modeling language based on temporal logic, called FORM-L, and a software library, based on the Modelica language, that implements the constructs provided by FORM-L so as to enable the visual modeling of system properties as well as their verification through simulation. The effectiveness of the proposal is shown on a real case study concerning an Intermediate Cooling System.

Place, publisher, year, edition, pages
IEEE , 2016. 112-119 p.
Keyword [en]
Formal Languages; Properties Modeling; Requirements Engineering; Model-Based Systems Engineering; Modeling and Simulation; Modelica; System Verification
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:liu:diva-134234DOI: 10.1109/SysEng.2016.7753137ISI: 000391238500020ISBN: 9781509007936 (print)ISBN: 9781509007943 (electronic)OAI: oai:DiVA.org:liu-134234DiVA: diva2:1069744
Conference
2nd Annual IEEE International Symposium on Systems Engineering (ISSE), October 3-5, Edinburgh, Scotland
Available from: 2017-01-30 Created: 2017-01-29 Last updated: 2017-03-23Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Buffoni, LenaFritzson, PeterSjölund, Martin
By organisation
Software and SystemsFaculty of Science & Engineering
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 22 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