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
Secure Distributed Co-Simulation over Wide Area Networks
Linköping University, Department of Computer and Information Science. (PELAB)
Linköping University, Department of Computer and Information Science. (PELAB)ORCID iD: 0000-0002-3435-4996
Linköping University, Department of Computer and Information Science. (PELAB)
Show others and affiliations
2007 (English)Conference paper, Published paper (Other academic)
Abstract [en]

Modeling and simulation often require different tools for specialized purposes, which increase the motivation to use co-simulation. Since physical models often are describing enterprises¿ primary know-how, there is a need for a sound approach to securely perform modeling and simulation. This paper discusses different possibilities from a security perspective, with focus on secure distributed co-simulation over wide area networks (WANs), using transmission line modeling (TLM). An approach is outlined and performance is evaluated both in a simulated WAN environment, and for a real encrypted co-simulation between Sweden and Australia. It is concluded that several parameters affect the total simulation time, where especially the network delay (latency) has a significant impact.

Place, publisher, year, edition, pages
2007. 14-23 p.
National Category
Computer Science
Identifiers
URN: urn:nbn:se:liu:diva-12701OAI: oai:DiVA.org:liu-12701DiVA: diva2:16880
Conference
Proceedings of the 48th Conference on Simulation and Modelling (SIMS'07), Gothenburg, Sweden
Available from: 2007-11-16 Created: 2007-11-16 Last updated: 2014-10-08
In thesis
1. Safety, Security, and Semantic Aspects of Equation-Based Object-Oriented Languages and Environments
Open this publication in new window or tab >>Safety, Security, and Semantic Aspects of Equation-Based Object-Oriented Languages and Environments
2007 (English)Licentiate thesis, comprehensive summary (Other academic)
Abstract [en]

During the last two decades, the interest for computer aided modeling and simulation of complex physical systems has witnessed a significant growth. The recent possibility to create acausal models, using components from different domains (e.g., electrical, mechanical, and hydraulic) enables new opportunities. Modelica is one of the most prominent equation-based object-oriented (EOO) languages that support such capabilities, including the ability to simulate both continuous- and discrete-time models, as well as mixed hybrid models. However, there are still many remaining challenges when it comes to language safety and simulation security. The problem area concerns detecting modeling errors at an early stage, so that faults can be isolated and resolved. Furthermore, to give guarantees for the absence of faults in models, the need for precise language specifications is vital, both regarding type systems and dynamic semantics.

This thesis includes five papers related to these topics. The first paper describes the informal concept of types in the Modelica language, and proposes a new concrete syntax for more precise type definitions. The second paper provides a new approach for detecting over- and under-constrained systems of equations in EOO languages, based on a concept called structural constraint delta. That approach makes use of type checking and a type inference algorithm. The third paper outlines a strategy for using abstract syntax as a middle-way between a formal and informal language specification. The fourth paper suggests and evaluates an approach for secure distributed co-simulation over wide area networks. The final paper outlines a new formal operational semantics for describing physical connections, which is based on the untyped lambda calculus. A kernel language is defined, in which real physical models are constructed and simulated.

Place, publisher, year, edition, pages
Institutionen för datavetenskap, 2007. 26 p.
Series
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 1337
Keyword
Modeling, Simulation, Equation-Based, Object-Oriented, Modelica, Type System, Semantics, Language Safety, Secure Simulation
National Category
Computer Science
Identifiers
urn:nbn:se:liu:diva-10134 (URN)978-91-85895-24-3 (ISBN)
Presentation
2007-12-07, Visionen, B, Linköpings universistet, Linköping, 13:15 (English)
Opponent
Supervisors
Note
Report code: LIU-TEK-LIC-2007:46. On the day of the defence date the status of article IV was: In Progress; The status of article V was: Manuscript.Available from: 2007-11-16 Created: 2007-11-16 Last updated: 2014-10-08

Open Access in DiVA

No full text

Other links

Link to Licentiate Thesis

Authority records BETA

Broman, DavidFritzson, PeterSiemers, AlexanderFritzson, Dag

Search in DiVA

By author/editor
Broman, DavidFritzson, PeterSiemers, AlexanderFritzson, Dag
By organisation
Department of Computer and Information Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 152 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