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