liu.seSearch for publications in DiVA
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • 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.
Vise andre og tillknytning
2016 (engelsk)Inngår i: 2016 IEEE International Symposium on Systems Engineering (ISSE), IEEE , 2016, s. 112-119Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
IEEE , 2016. s. 112-119
Emneord [en]
Formal Languages; Properties Modeling; Requirements Engineering; Model-Based Systems Engineering; Modeling and Simulation; Modelica; System Verification
HSV kategori
Identifikatorer
URN: urn:nbn:se:liu:diva-134234DOI: 10.1109/SysEng.2016.7753137ISI: 000391238500020ISBN: 9781509007936 (tryckt)ISBN: 9781509007943 (digital)OAI: oai:DiVA.org:liu-134234DiVA, id: diva2:1069744
Konferanse
2nd Annual IEEE International Symposium on Systems Engineering (ISSE), October 3-5, Edinburgh, Scotland
Tilgjengelig fra: 2017-01-30 Laget: 2017-01-29 Sist oppdatert: 2017-03-23bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Søk i DiVA

Av forfatter/redaktør
Buffoni, LenaFritzson, PeterSjölund, Martin
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 70 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf