0
1

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?

Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on form-l and modelica.

Last updated at Posted at 2025-07-14

Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on form-l and modelica.
https://dl.acm.org/doi/10.1007/s00766-021-00359-z

References

[1] Broy M and Schmidt A Challenges in engineering cyber-physical systems Computer 2014 47 2 70-72
[2] Bocciarelli P, D’Ambrogio A, Falcone A, Garro A, and Giglio A A model-driven approach to enable the simulation of complex systems on distributed architectures Simul Trans Soc Model Simul Int 2019
[3] Dick J, Hull E, and Jackson K Requirements engineering 2017 Berlin Springer
[4] Cheng BHC, Atlee JM (2007) Research directions in requirements engineering. In: International Conference on Software Engineering, ISCE 2007, Workshop on the Future of Software Engineering, FOSE 2007, May 23-25, 2007, Minneapolis, MN, USA, pp. 285–303.
[5] Ericson CA et al. Hazard analysis techniques for system safety 2015 Hoboken Wiley
[6] Garro A, Groß J, Gen Richter MR, and Tundis A Reliability analysis of an attitude determination and control system (ADCS) through the RAMSAS method J Comput Sci 2014 5 3 439-449
[7] Garro A and Tundis A On the reliability analysis of systems and SoS: the RAMSAS method and related extensions IEEE Syst J 2015 9 1 232-241
[8] Liu HC, Liu L, and Liu N Risk evaluation approaches in failure mode and effects analysis: A literature review Expert Syst Appl 2013 40 2 828-838
[9] Falcone A, Garro A, Taylor SJE, Anagnostou A, Chaudhry NR, and Salah O Experiences in simplifying distributed simulation: The HLA development kit framework J Simul 2017 11 3 208-227
[10] ITEA 3 MODRIO: Model driven physical systems operation project (2018). https://itea3.org/project/modrio.html. Accessed 23 Jun 2018
[11] Ramos AL, Ferreira JV, and Barceló J Model-based systems engineering: an emerging approach for modern systems IEEE Trans Syst Man Cybern Part C (Appl Rev) 2011 42 1 101-111
[12] Jardin A, Bouskela D, Nguyen T, Ruel N, Thomas E, Chastanet L, Schoenig R, Loembé S (2011) Modelling of system properties in a Modelica framework. In: Proceedings of the 8th International Modelica Conference; March 20th-22nd; Technical Univeristy; Dresden; Germany, 63, pp. 579–592. Linköping University Electronic Press
[13] Wu J, Liu G, Lane V (1999) Formal verification. CIS 841 Web Book
[14] Modelica Association: the Modelica association international home page (2018). https://www.modelica.org/. Accessed 23 June 2018
[15] Nguyen T (2014) Form-l: A Modelica extension for properties modelling illustrated on a practical example. In: Proceedings of the 10 th International Modelica Conference; March 10-12; 2014; Lund; Sweden, 096, pp. 1227–1236. Linköping University Electronic Press
[16] Aiello F, Garro A, Lemmens Y, Dutré S (2017) Simulation-based verification of system requirements: An integrated solution. In: Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control (ICNSC), pp. 726–731. IEEE
[17] Garro A, Tundis A (2015) Modeling of system properties: Research challenges and promising solutions. In: Systems Engineering (ISSE), 2015 IEEE International Symposium on Systems Engineering, pp. 324–331. IEEE
[18] Garro A, Tundis A, Bouskela D, Jardin A, Thuy N, Otter M, Buffoni L, Fritzson P, Sjölund M, Schamai W, et al (2016) On formal cyber physical system properties modeling: A new temporal logic language and a modelica-based solution. In: 2016 IEEE International Symposium on Systems Engineering (ISSE), pp. 1–8. IEEE
[19] Otter M, Thuy N, Bouskela D, Buffoni L, Elmqvist H, Fritzson P, Garro A, Jardin A, Olsson H, Payelleville M, et al (2015) Formal requirements modeling for simulation-based verification. In: Proceedings of the 11th International Modelica Conference, Versailles, France, September 21-23, 2015, 118, pp. 625–635. Linköping University Electronic Press
[20] Pinquié R, Micouin P, Véron P, Segonds F (2016) Property model methodology: a case study with modelica. Tools and Methods of Competitive Engineering (TMCE)
[21] Alur R Principles of cyber-physical systems 2015 Cambridge MIT Press
[22] Falcone A, Garro A, Tundis A (2014) Modeling and simulation for the performance evaluation of the on-board communication system of a metro train. In: Proceedings of the 13th International Conference on Modeling and Applied Simulation (MAS 2014), Bordeaux (France)
[23] Sankaranarayanan S, Sipma HB, Manna Z (2004) Constructing invariants for hybrid systems. In: International Workshop on Hybrid Systems: Computation and Control, pp. 539–554. Springer
[24] ISO/IEC/IEEE 15288:2015: ISO/IEC/IEEE 15288:2015. Systems and software engineering: system life cycle processes (2015)
[25] Knight JC (2002) Safety critical systems: challenges and directions. In: Proceedings of the 24th international conference on software engineering, pp. 547–550. ACM
[26] Ferrari A (2018) Natural language requirements processing: From research to practice. In: 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion), pp. 536–537
[27] Reiterer SH, Balci S, Fu D, Benedikt M, Soppa A, Szczerbicka H (2020) Continuous integration for vehicle simulations. In: 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), vol. 1, pp. 1023–1026. IEEE
[28] Ji J, Peng R (2016) An analysis pattern driven requirements modeling method. In: 2016 IEEE 24th International Requirements Engineering Conference Workshops (REW), pp. 316–319.
[29] Ledru Y, Blein Y, du Bousquet L, Groz R, Clere A, Bertrand F (2018) Requirements for a trace property language for medical devices. In: 2018 IEEE/ACM International Workshop on Software Engineering in Healthcare Systems (SEHS), pp. 30–33
[30] Ferrari A, Spagnolo GO, Gnesi S (2017) Pure: A dataset of public requirements documents. In: 2017 IEEE 25th International Requirements Engineering Conference (RE), pp. 502–505.
[31] Yang K, Zhao Q, Lu Y, Huang W (2009) The research of system of systems requirement modeling and toolkits. In: 2009 11th International Conference on Computer Modelling and Simulation, pp. 107–110.
[32] Zambonelli F, Jennings NR, and Wooldridge M Developing multiagent systems: the gaia methodology ACM Trans Softw Eng Methodol (TOSEM) 2003 12 3 317-370
[33] Buffoni-Rogovchenko L, Fritzson P, Nyberg M, Garro A, Tundis A (2013) Requirement verification and dependency tracing during simulation in modelica. In: Modelling and Simulation (EUROSIM), 2013 8th EUROSIM Congress on, pp. 561–566. IEEE
[34] Rogovchenko-Buffoni L, Tundis A, Fritzson P, Garro A (2013) Modeling system requirements in Modelica: Definition and comparison of candidate approaches. In: Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2013, April 19, University of Nottingham, Nottingham, UK, pp. 15–24
[35] Fritzson P (2014) Principles of object-oriented modeling and simulation with Modelica 3.3: a cyber-physical approach. Wiley
[36] Open Modelica: The Open Modelica website (2019). https://www.openmodelica.org/. Accessed 20 Dec 2019
[37] Bauer A and Leucker M Bobaru M, Havelund K, Holzmann GJ, and Joshi R The Theory and Practice of SALT NASA Formal Methods 2011 Berlin Heidelberg Springer 13-40
[38] Object Management Group (OMG): Systems modeling language (SysML) (2019). www.omgsysml.org/. Accessed 20 Dec 2019
[39] Behjati R, Yue T, Nejati S, Briand L, Selic B (2011) Extending SysML with AADL concepts for comprehensive system architecture modeling. In: European Conference on Modelling Foundations and Applications, pp. 236–252. Springer
[40] de Saqui-Sannes P, Hugues J (2012) Combining SysML and AADL for the design, validation and implementation of critical systems. In: ERTS2 2012, p. 117
[41] Vilela J, Castro J, Martins LEG, Gorschek T, Silva C (2017) Specifying safety requirements with gore languages. In: Proceedings of the 31st Brazilian Symposium on Software Engineering, pp. 154–163
[42] Joochim T, Poppleton M (2007) Transforming timing diagrams into knowledge acquisition in automated specification
[43] Krishna A, Le Pallec M, Mateescu R, Noirie L, SalaÃn G (2019) Iot composer: composition and deployment of IoT applications. In: 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), pp. 19–22.
[44] Shmeleva TR (2017) Automated composition of petri net models for cellular structures. In: 2017 IEEE First Ukraine Conference on Electrical and Computer Engineering (UKRCON), pp. 1019–1024
[45] Zhu W, Bastani F, Yen I, Fu J, Zhang Y (2017) Automated holistic service composition: modeling and composition reasoning techniques. In: 2017 IEEE International Conference on Web Services (ICWS), pp. 596–603.
[46] Castellanos C, Borde E, Pautet L, Sébastien G, Vergnaud T (2015) Improving reusability of model transformations by automating their composition. In: 2015 41st Euromicro Conference on Software Engineering and Advanced Applications, pp. 267–274.
[47] Maigre R (2010) Survey of the tools for automating service composition. In: 2010 IEEE International Conference on Web Services, pp. 628–629.
[48] Schamai W, Buffoni L, and Fritzson P An approach to automated model composition illustrated in the context of design verification Model Identif Control 2014 35 2 79
[49] De Giacomo G, Mecella M, Patrizi F (2014) Automated service composition based on behaviors: The roman model. In: Web Services Foundations, pp. 189–214.
[50] Rosenmüller M, Siegmund N, Apel S, and Saake G Flexible feature binding in software product lines Autom Softw Eng 2011 18 2 163-197
[51] Granda MF, Condori-Fernandez N, Vos TEJ, Pastor O (2017) Costest: A tool for validation of requirements at model level. In: 2017 IEEE 25th International Requirements Engineering Conference (RE), pp. 464–467.
[52] Adedjouma M, Yakymets N (2019) A framework for model-based dependability analysis of cyber-physical systems. In: 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE), pp. 82–89.
[53] Dassault Systèmes: The stimulus project home page (2020). https://www.argosim.com. Accessed 31 Jan 2020
[54] Reinbacher T, Rozier KY, Schumann J (2014) Temporal-logic based runtime observer pairs for system health management of real-time systems. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 357–372. Springer
[55] Sippl C, Bock F, Lauer C, Heinz A, Neumayer T, German R (2019) Scenario-based systems engineering: An approach towards automated driving function development. In: 2019 IEEE International Systems Conference (SysCon), pp. 1–8.
[56] Balsini A, Di Natale M, Celia M, Tsachouridis V (2017) Generation of Simulink monitors for control applications from formal requirements. In: 2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES), pp. 1–9. IEEE
[57] Mavridou A, Bourbouh H, Giannakopoulou D, Pressburger T, Hejase M, Garoche PL, Schumann J (2020) The Ten Lockheed Martin Cyber-Physical Challenges: formalized, Analyzed, and Explained. In: 2020 IEEE 28th International Requirements Engineering Conference (RE), pp. 300–310. IEEE.
[58] Mustafa N, Labiche Y, Towey D (2018) Traceability in systems engineering: An avionics case study. In: 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC), 02, pp. 818–823.
[59] Jarke M Requirements tracing Commun ACM 1998 41 12 32-36
[60] Shankar N (2000) Combining theorem proving and model checking through symbolic analysis. In: International Conference on Concurrency Theory, pp. 1–16. Springer
[61] Open Services for Lifecycle Collaboration (OSLC): The oslc international home page (2021). https://open-services.net/. Accessed 01 Jan 2021
[62] IEEE Std 24748-1-2011: IEEE Guide–Adoption of ISO/IEC TR 24748-1:2010 Systems and Software Engineering–Life Cycle Management–Part 1: Guide for Life Cycle Management (2011).
[63] Bouskela D, Jardin A (2018) ETL: A new temporal language for the verification of cyber-physical systems. In: 2018 Annual IEEE International Systems Conference (SysCon), pp. 1–8. IEEE
[64] Benveniste A, Caillaud B, Nickovic D, Passerone R, Raclet JB, Reinkemeier P, Sangiovanni-Vincentelli A, Damm W, Henzinger TA, Larsen KG, et al. Contracts for system design Found Trends® in Electron Des Autom 2018 12 2–3 124-400
[65] Bouskela D, Nguyen T, and Jardin A Toward a rigorous approach for verifying cyber-physical systems against requirements Can J Electr Comput Eng 2017 40 2 66-73
[66] Daimler AG: The functional mock-up interface (FMI) standard home page (2019). http://www.fmi-standard.org. Accessed 23 Jun 2019
[67] Gomes C, Thule C, Broman D, Larsen PG, and Vangheluwe H Co-simulation: a survey ACM Comput Surv (CSUR) 2018 51 3 1-33
[68] Dal Monte A, Castelli MR, Benini E (2012) A retrospective of high-lift device technology. In: Proceedings of World Academy of Science, Engineering and Technology, 71, p. 1979. World Academy of Science, Engineering and Technology (WASET)
[69] Siemens: Siemens amesim-motion simulation environment home page (2019). https://www.plm.automation.siemens.com. Accessed 23 Jun 2019
[70] Garro A, Falcone A (2015) On the integration of HLA and FMI for supporting interoperability and reusability in distributed simulation. In: Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, part of the 2015 Spring Simulation Multiconference, SpringSim 2015, Alexandria, VA, USA, April 12-15, 2014, pp. 9–16. The Society for Modeling and Simulation International Inc. http://dl.acm.org/citation.cfm?id=2872967
[71] Falcone A and Garro A Distributed co-simulation of complex engineered systems by combining the high level architecture and functional mock-up interface Simul Model Pract Theory 2019
[72] Zaccai D, Bertels F, and Vos R Design methodology for trailing-edge high-lift mechanisms CEAS Aeronaut J 2016 7 4 521-534

0
1
0

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
0
1

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?