Modelling of System Properties in a Modelica Framework

Jardin, Audrey; Bouskela, Daniel; Nguyen, Thanh-Hung; Ruel, Nancy; Thomas, E.; Chastanet, Laurent; Schoenig, Raphaël; Loembe, Sandrine

doi:10.3384/ecp11063579

Cited by 14 publications

(8 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…CSL4P extends the notion of property to contracts, provides a declarative specification language, and uses formal methods rather than simulation. As result, CSL4P addressed the limitations expressed by the authors of [Jardin, 2011].…”

Section: Existing Frameworkmentioning

confidence: 94%

See 1 more Smart Citation

CSL4P: A Contract Specification Language for Platforms

Pinto¹,

Sangiovanni‐Vincentelli

2017

Syst Eng

View full text Add to dashboard Cite

The contract‐based design formalism supports compositional design and verification, and generalizes many other languages where components are defined in terms of their assumptions and guarantees. Most languages and tools for contract‐based design provide constructs to define, instantiate, and connect contracts, but fall short in capturing families of potential architectures in a flexible way. This article presents a Contract‐Based Specification Language for Platforms (CSL4P). A platform comprises a set of contract types and a set of constraints called rules. Contract types can be instantiated and connected to form platform instances. While the meaning of composition is predefined in most languages, composition rules are used in CSL4P to provide a finer control on the semantics of interconnections. In addition, the separation of contract types from rules allows users of CSL4P to define different platforms out of the same set of components. This article describes syntax and semantics of the language, a development environment, which includes a compiler and a verification back‐end, and an application example.

show abstract

Section: Existing Frameworkmentioning

confidence: 94%

“…The modeling style for components and connection used by CSL4P also resembles the Modelica [Fritzson, ] language. Interestingly, previous work has investigated modeling systems properties in Modelica [Jardin, ]. These properties can then be checked in simulation or by formal methods.…”

Section: Motivation Background and Contributionsmentioning

confidence: 99%

CSL4P: A Contract Specification Language for Platforms

Pinto¹,

Sangiovanni‐Vincentelli

2017

Syst Eng

View full text Add to dashboard Cite

show abstract

“…Based on the FORM-L specification the following main contributions have been recently provided to expressing requirements in Modelica [53], as well as to face properties modeling, as it is explained in [54], where a property is meant to be a condition that must be held true. In particular, in order to improve the engineering processes and the corresponding verification and validation phases, this article deals with the modeling of system properties in a Modelica framework.…”

Section: Controllevelmentioning

confidence: 99%

Model-Based Dependability Analysis of Physical Systems with Modelica

Tundis

Fritzson

Garro

2017

Modelling and Simulation in Engineering

View full text Add to dashboard Cite

Modelica is an innovative, equation-based, and acausal language that allows modeling complex physical systems, which are made of mechanical, electrical, and electrotechnical components, and evaluates their design through simulation techniques. Unfortunately, the increasing complexity and accuracy of such physical systems require new, more powerful, and flexible tools and techniques for evaluating important system properties and, in particular, the dependability ones such as reliability, safety, and maintainability. In this context, the paper describes some extensions of the Modelica language to support the modeling of system requirements and their relationships. Such extensions enable the requirement verification analysis through native constructs in the Modelica language. Furthermore, they allow exporting a Modelica-based system design as a Bayesian Network in order to analyze its dependability by employing a probabilistic approach. The proposal is exemplified through a case study concerning the dependability analysis of a Tank System.

show abstract

“…A key demand for later re-usage as V&V model that is also clear and easy to use visualization. It was found the Modelica library "properties" [20] can be utilized to meet this aspect. These blocks are visualizers for logic conditions also displayed textually.…”

Section: Time Domain Simulation Using Modelica/dymolamentioning

confidence: 99%

Advanced generator design using pareto-optimization

Kuhn

2011

2011 IEEE Ninth International Conference on Power Electronics and Drive Systems

View full text Add to dashboard Cite

In upcoming and future more-electric airplanes more electrical loads connected to the power distribution network will behave nonlinearly and will be switching with advanced demands on the network to keep the power quality. While a lot of effort was already spent on techniques to design the network structure and filters, also the generators have to face the new demands and constraints. Trade offs between performance, weight, and latterly power quality have to be made and design choices have to be backed up by qualitative and quantitative measures. Therefore a convenient design tool chain was elaborated for an externally excited synchronous generator. Pre-existing analytic design functions containing electrical, mechanical and thermal analytical models were expanded by a new criterion for power quality. This criterion defined by industrial standards was included via virtual tests by timedomain simulation. Frequency domain criteria were gained in simulation by new signal property monitor blocks. Standards' conformance is visualized conveniently. A state of the art genetic algorithm similar to NSGA-II was applied to generate the Pareto-front of contrary design trade offs. Several convenient visualizations of the Pareto results are presented, which clearly link the parameters, tuners and output results. To ease the transition from theoretical design to the 3d mechanical layout, a CATIA model of the optimized generator candidate is generated directly from Matlab.

show abstract

Modelling of System Properties in a Modelica Framework

Cited by 14 publications

References 4 publications

CSL4P: A Contract Specification Language for Platforms

CSL4P: A Contract Specification Language for Platforms

Model-Based Dependability Analysis of Physical Systems with Modelica

Advanced generator design using pareto-optimization

Contact Info

Product

Resources

About