Modeling system requirements in Modelica: Definition and comparison of candidate approaches

Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2013

Volumn , Issue , 2020, Pages 15-24

  Tundis, Andrea ^a   Rogovchenko Buffoni, Lena ^b   Fritzson, Peter ^b   Garro, Alfredo ^a  

^a UNIVERSITY OF CALABRIA   (Italy)

^b LINKÖPING UNIVERSITY   (Sweden)

Author keywords

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

Indexed keywords

ACCIDENT PREVENTION; MODELS; PETROLEUM RESERVOIR EVALUATION; REQUIREMENTS ENGINEERING; VERIFICATION;

ASSERTIONS; MODELICA; PROPERTIES; REQUIREMENTS; VALIDATION;

MODELING LANGUAGES;

EID: 84901974829     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

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.