Modeling System Requirements in Modelica: Definition and Comparison of Candidate Approaches

Andrea Tundis; Lena Rogovchenko-Buffoni; Peter Fritzson; Alfredo Garro

Title:

Author:

Andrea Tundis: Department of Computer Engineering, Modeling, Electronics, and System Sciences (DIMES), University of Calabria, Italy Lena Rogovchenko-Buffoni: Department of Computer and Information Science (IDA), Linköping University, Sweden Peter Fritzson: Department of Computer and Information Science (IDA), Linköping University, Sweden Alfredo Garro: Department of Computer Engineering, Modeling, Electronics, and System Sciences (DIMES), University of Calabria, Italy

Download:

Full text (pdf)

Year:

2013

Conference:

Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; April 19; University of Nottingham; Nottingham; UK

Issue:

084

Article no.:

003

Pages:

15-24

No. of pages:

Publication type:

Abstract and Fulltext

Published:

2013-03-27

ISBN:

978-91-7519-621-3 (print)

978-91-7519-617-6 (online)

Series:

Linköping Electronic Conference Proceedings

ISSN (print):

1650-3686

ISSN (online):

1650-3740

Publisher:

Linköping University Electronic Press; Linköpings universitet

Export in BibTex, RIS or text

The modeling of system requirements deals with formally expressing constraints and requirements that have an impact on the behavior of the system to enable their verification through real or simulated experiments. The need for models representing system requirements as well as for methods and techniques centered on model-based approaches able to support the modeling; evaluation; and validation of requirements and constraints along with their traceability is today greater than ever. In this context; this paper proposes a meta-model for modeling the requirements of physical systems. Furthermore; different approaches for integrating the modeling of system requirements in the Modelica language and their verification during the simulation are proposed and; then; evaluated and compared through a case study.

Keywords: Requirements; Properties; Modeling; Assertions; Modelica; Safety; Verification; Validation

Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; April 19; University of Nottingham; Nottingham; UK

Author:

Andrea Tundis, Lena Rogovchenko-Buffoni, Peter Fritzson, Alfredo Garro

Title:

Modeling System Requirements in Modelica: Definition and Comparison of Candidate Approaches

References:

[1] T. Clark; P. Sammut; and J. Willans. Applied metamodelling: a foundation for language driven development (Second Edition); 2008.

[2] R. Cressent; V. Idasiak; F. Kratz; and P. David. Mastering safety and reliability in a model based process. Proc. of the Reliability and Maintainability Symposium (RAMS); Lake Buena Vista (FL; USA); January 2011.

[3] P. Fritzson; Principles of Object-Oriented Modeling and Simulation with Modelica 2.1; Wiley IEEE Press; 944 pages; February 2004.

[4] P. Fritzson. Integrated UML-Modelica Model-Based Product Development for Embedded Systems in OPENPROD. Proc. of the 1st Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems (Hopes’2010); Paris; June 15; 2010.

[5] A. Garro and A. Tundis. Enhancing the RAMSAS method for Systems Reliability Analysis through Modelica. Proc. of the 7th Workshop on Model-Based Product Development (MODPROD); Linköping (Sweden); 5-6 February; 2013.

[6] A. Garro and A. Tundis. Modeling and Simulation for System Reliability Analysis: The RAMSAS Method. Proc. of the 7th IEEE International Conference on System of Systems Engineering (IEEE SoSE); Genova (Italy); July 16-19 2012.

[7] L. Grunske and B. Kaiser. Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations. Proc. of the 5th Int. Conf. on Quality Software (QSIC); Melbourne (Australia); September 2005.

[8] H. P. Hoffmann. System Engineering Best Practices with Rational Solution for Systems and Software Engineering. February 2011. http://www.ibm.com/.

[9] A. Jardin; D. Bouskela; T. Nguyen; N. Ruel; E. Thomas; R. Schoenig; S. Loembé and L. Chastanet. Modelling of System Properties in a Modelica Framework. Proc. of the 8th International Modelica Conference; TU Dresden; March 20-22; 2011.

[10] ITEA 2 Projects: MODRIO - http://www.itea2.org/.

[11] F. Liang; W. Schamai; O. Rogovchenko; S. Sadeghi; M. Nyberg and P. Fritzson. Model-based Requirement Verification: A Case Study. Proc. of the 9th International Modelica Conference (Modelica’2012); Munich (Germany); September 3-5; 2012.

[12] OpenModelica - Open Source Modelica Consortium (OSMC) - https://www.openmodelica.org/.

[13] OpenModelica Project: ModelicaML - A UML Profile for Modelica. www.openmodelica.org/modelicaml.

[14] W. Schamai; P. Fritzson; C.J.J. Paredis; P. Helle. ModelicaML Value Bindings for Automated Model Composition. Proc. of the Symposium on Theory of Modeling and Simulation (DEV’12); Orlando; FL (USA) March 26-29; 2012.

[15] W. Schamai; P. Helle; P. Fritzson; and C. Paredis. Virtual Verification of System Designs against System Requirements. Proc. of 3rd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES’2010); Oslo (Norway); October 4; 2010.

Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; April 19; University of Nottingham; Nottingham; UK

Author:

Andrea Tundis, Lena Rogovchenko-Buffoni, Peter Fritzson, Alfredo Garro

Title:

Modeling System Requirements in Modelica: Definition and Comparison of Candidate Approaches

Note: the following are taken directly from CrossRef

Citations:

No citations available at the moment

Responsible for this page: Peter Berkesand
Last updated: 2019-11-06