Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps

Simulation-based analyses are becoming increasingly vital for the development of cyber-physical systems. Co-simulation is one such technique, enabling the coupling of specialized simulation tools through an orchestration algorithm. The orchestrator describes how to coordinate the simulation of multi...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	International journal on software tools for technology transfer Ročník 24; číslo 6; s. 999 - 1024
Hlavní autoři:	Hansen, Simon Thrane, Thule, Casper, Gomes, Cláudio, van de Pol, Jaco, Palmieri, Maurizio, Inci, Emin Oguz, Madsen, Frederik, Alfonso, Jesús, Castellanos, José Ángel, Rodriguez, José Manuel
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2022 Springer Nature B.V
Témata:	Algebra Algorithms Communication Computer engineering Computer Science Cyber-physical systems Simulation Software Engineering Software Engineering/Programming and Operating Systems Theory of Computation Cyber-physical systems Formal methods Co-simulation Model-checking
ISSN:	1433-2779, 1433-2787
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Abstract	Simulation-based analyses are becoming increasingly vital for the development of cyber-physical systems. Co-simulation is one such technique, enabling the coupling of specialized simulation tools through an orchestration algorithm. The orchestrator describes how to coordinate the simulation of multiple simulation tools. The simulation result depends on the orchestration algorithm that must stabilize algebraic loops, choose the simulation resolution, and adhere to each simulation tool’s implementation. This paper describes how to verify that an orchestration algorithm respects all contracts related to the simulation tool’s implementation and how to synthesize such tailored orchestration algorithms. The approaches work for complex and adaptive co-simulation scenarios and have been applied to several real-world case studies.
AbstractList	Simulation-based analyses are becoming increasingly vital for the development of cyber-physical systems. Co-simulation is one such technique, enabling the coupling of specialized simulation tools through an orchestration algorithm. The orchestrator describes how to coordinate the simulation of multiple simulation tools. The simulation result depends on the orchestration algorithm that must stabilize algebraic loops, choose the simulation resolution, and adhere to each simulation tool’s implementation. This paper describes how to verify that an orchestration algorithm respects all contracts related to the simulation tool’s implementation and how to synthesize such tailored orchestration algorithms. The approaches work for complex and adaptive co-simulation scenarios and have been applied to several real-world case studies.
Author	Alfonso, Jesús Thule, Casper Inci, Emin Oguz Hansen, Simon Thrane Madsen, Frederik van de Pol, Jaco Gomes, Cláudio Rodriguez, José Manuel Palmieri, Maurizio Castellanos, José Ángel
Author_xml	– sequence: 1 givenname: Simon Thrane surname: Hansen fullname: Hansen, Simon Thrane email: sth@ece.au.dk organization: DIGIT, Department of Electrical and Computer Engineering, Aarhus University – sequence: 2 givenname: Casper surname: Thule fullname: Thule, Casper organization: DIGIT, Department of Electrical and Computer Engineering, Aarhus University – sequence: 3 givenname: Cláudio surname: Gomes fullname: Gomes, Cláudio organization: DIGIT, Department of Electrical and Computer Engineering, Aarhus University – sequence: 4 givenname: Jaco surname: van de Pol fullname: van de Pol, Jaco organization: DIGIT, Department of Computer Science, Aarhus University – sequence: 5 givenname: Maurizio surname: Palmieri fullname: Palmieri, Maurizio organization: DII, Department of Information Engineering, University of Pisa – sequence: 6 givenname: Emin Oguz surname: Inci fullname: Inci, Emin Oguz organization: Department of Mechanical Engineering, KU Leuven – sequence: 7 givenname: Frederik surname: Madsen fullname: Madsen, Frederik organization: DIGIT, Department of Electrical and Computer Engineering, Aarhus University – sequence: 8 givenname: Jesús surname: Alfonso fullname: Alfonso, Jesús organization: Department of Information Engineering, Instituto Tecnologico de Aragon – sequence: 9 givenname: José Ángel surname: Castellanos fullname: Castellanos, José Ángel organization: Department of Information Engineering, Instituto Tecnologico de Aragon – sequence: 10 givenname: José Manuel surname: Rodriguez fullname: Rodriguez, José Manuel organization: Department of Information Engineering, Instituto Tecnologico de Aragon
BookMark	eNp9kE1LAzEQhoNUsK3-AU8LnleT7EeSoxS_oOBFvYZsdrZN2W7WTCr037vtioKHXibDZN73TZ4ZmXS-A0KuGb1llIo7HCpVKeU8pbSUZSrPyJTlWZZyIcXktxfqgswQN5QyUQo1JfUHBNc4a6LzXWK6OsF9F9eADhPfJNan6La79ue6Xfng4nqLCe6qDdiYRH-YQhWMs0nrfY9HE1ObProvSDBCj5fkvDEtwtXPOSfvjw9vi-d0-fr0srhfppbnKqZQFBwym9tC1IwWIis5r6mAglYKSpAVU4ZKWRXA67LJjSqFsSZraqHyWhUym5Ob0bcP_nMHGPXG70I3RGou8oLJjJVi2OLjlg0eMUCj--C2Juw1o_pAU4809UBTH2nqg7X8J7IuHqnE4evtaWk2SnHI6VYQ_l51QvUNUeeMvA
CitedBy_id	crossref_primary_10_3390_s25113484 crossref_primary_10_1007_s10009_022_00687_7 crossref_primary_10_1016_j_jss_2023_111905
Cites_doi	10.23919/ANNSIM52504.2021.9552073 10.1007/s10270-019-00754-9 10.1007/978-3-030-04771-9_4 10.23919/ANNSIM52504.2021.9552130 10.1016/j.simpat.2018.12.005 10.1109/ICECCS.2017.33 10.1115/1.4028503 10.1109/MODELS-C.2019.00124 10.1007/978-3-030-67220-1_22 10.1007/978-3-319-47846-3_28 10.1007/978-3-662-04558-9 10.3384/ecp12076173 10.1007/978-3-030-85248-1_1 10.1145/3179993 10.1177/0037549718759775 10.1137/0201010 10.1007/978-3-319-46750-4_15 10.1109/ISORC.2008.25 10.1145/360933.360975 10.1076/1387-3954(200006)6:2;1-M;FT093 10.1007/978-3-030-57506-9_4 10.1007/978-3-030-04771-9_1 10.1109/EMSOFT.2013.6658580 10.1016/0304-3975(94)90010-8 10.5220/0007830000570068 10.4271/12-03-02-0011
ContentType	Journal Article
Copyright	The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature 2022. Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
Copyright_xml	– notice: The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature 2022. Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
DBID	AAYXX CITATION 3V. 7SC 7XB 8AL 8AO 8FD 8FE 8FG 8FK 8G5 ABJCF ABUWG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ GUQSH HCIFZ JQ2 K7- L6V L7M L~C L~D M0N M2O M7S MBDVC P5Z P62 PADUT PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI PRINS PTHSS Q9U
DOI	10.1007/s10009-022-00686-8
DatabaseName	CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts ProQuest Central (purchase pre-March 2016) Computing Database (Alumni Edition) ProQuest Pharma Collection Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) Research Library (Alumni) Materials Science & Engineering Collection ProQuest Central (Alumni) ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials - QC ProQuest Central Database Suite (ProQuest) ProQuest Technology Collection ProQuest One ProQuest Central Korea ProQuest Central Student ProQuest Research Library SciTech Collection (ProQuest) ProQuest Computer Science Collection Computer Science Database ProQuest Engineering Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Computing Database ProQuest Research Library Engineering Database Research Library (Corporate) Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection Research Library China ProQuest Central Premium ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China Engineering Collection ProQuest Central Basic
DatabaseTitle	CrossRef Research Library Prep Computer Science Database ProQuest Central Student Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College Research Library (Alumni Edition) ProQuest Pharma Collection ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Engineering Collection ProQuest Central Korea ProQuest Research Library Research Library China ProQuest Central (New) Advanced Technologies Database with Aerospace Engineering Collection Advanced Technologies & Aerospace Collection ProQuest Computing Engineering Database ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition Materials Science & Engineering Collection ProQuest One Academic ProQuest One Academic (New) ProQuest Central (Alumni)
DatabaseTitleList	Research Library Prep
Database_xml	– sequence: 1 dbid: BENPR name: ProQuest Central Database Suite (ProQuest) url: https://www.proquest.com/central sourceTypes: Aggregation Database
DeliveryMethod	fulltext_linktorsrc
Discipline	Computer Science
EISSN	1433-2787
EndPage	1024
ExternalDocumentID	10_1007_s10009_022_00686_8
GroupedDBID	-59 -5G -BR -EM -Y2 -~C .4S .86 .DC .VR 06D 0R~ 0VY 1N0 1SB 203 29J 2J2 2JN 2JY 2KG 2KM 2LR 2P1 2VQ 2~H 30V 3V. 4.4 406 408 409 40D 40E 5GY 5VS 67Z 6NX 8AO 8FE 8FG 8FW 8G5 8TC 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYQN AAYTO AAYZH ABAKF ABBBX ABBXA ABDZT ABECU ABFTD ABFTV ABHLI ABHQN ABJCF ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABQSL ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABUWG ABWNU ABXPI ACAOD ACBXY ACDTI ACGFS ACHSB ACHXU ACIWK ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACSNA ACZOJ ADHHG ADHIR ADINQ ADKNI ADKPE ADRFC ADTPH ADURQ ADYFF ADZKW AEBTG AEFQL AEGAL AEGNC AEJHL AEJRE AEKMD AEMSY AEOHA AEPYU AESKC AETLH AEVLU AEXYK AFBBN AFGCZ AFKRA AFLOW AFQWF AFWTZ AFZKB AGAYW AGDGC AGGDS AGJBK AGMZJ AGQEE AGQMX AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHKAY AHSBF AHYZX AIAKS AIGIU AIIXL AILAN AITGF AJBLW AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMXSW AMYLF AMYQR AOCGG ARAPS ARCSS ARMRJ ASPBG AVWKF AXYYD AYJHY AZFZN AZQEC B-. BA0 BDATZ BENPR BGLVJ BGNMA BPHCQ BSONS CAG CCPQU COF CS3 CSCUP DDRTE DL5 DNIVK DPUIP DU5 DWQXO EBLON EBS EDO EIOEI EJD ESBYG FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNUQQ GNWQR GQ6 GQ7 GQ8 GUQSH GXS H13 HCIFZ HF~ HG5 HG6 HMJXF HQYDN HRMNR HVGLF HZ~ I-F I09 IHE IJ- IKXTQ ITM IWAJR IXC IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ K6V K7- KDC KOV L6V LAS LLZTM M0N M2O M4Y M7S MA- MK~ ML~ N2Q NB0 NPVJJ NQJWS NU0 O9- O93 O9J OAM P62 P9O PADUT PF0 PQQKQ PROAC PT4 PT5 PTHSS Q2X QOS R89 R9I RIG RNI ROL RPX RSV RZK S16 S1Z S27 S3B SAP SCO SDH SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 TSG TSK TSV TUC TUS U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 WK8 YLTOR Z45 Z7R Z7X Z7Z Z83 Z88 ZMTXR AAPKM AAYXX ABBRH ABDBE ABFSG ABRTQ ACSTC ADHKG AEZWR AFDZB AFFHD AFHIU AFOHR AGQPQ AHPBZ AHWEU AIXLP ATHPR AYFIA CITATION PHGZM PHGZT PQGLB 7SC 7XB 8AL 8FD 8FK JQ2 L7M L~C L~D MBDVC PKEHL PQEST PQUKI PRINS Q9U
ID	FETCH-LOGICAL-c249t-e552e3c4c57d10573622d07e50b9e6e8b19a088b5e2d6f4a967aca3fd794d9583
IEDL.DBID	RSV
ISICitedReferencesCount	6
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000882344000001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	1433-2779
IngestDate	Wed Nov 05 01:11:22 EST 2025 Tue Nov 18 22:33:06 EST 2025 Sat Nov 29 03:07:49 EST 2025 Fri Feb 21 02:44:03 EST 2025
IsPeerReviewed	true
IsScholarly	true
Issue	6
Keywords	Cyber-physical systems Formal methods Co-simulation Model-checking
Language	English
LinkModel	DirectLink
MergedId	FETCHMERGED-LOGICAL-c249t-e552e3c4c57d10573622d07e50b9e6e8b19a088b5e2d6f4a967aca3fd794d9583
Notes	ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14
PQID	2745183167
PQPubID	46652
PageCount	26
ParticipantIDs	proquest_journals_2745183167 crossref_primary_10_1007_s10009_022_00686_8 crossref_citationtrail_10_1007_s10009_022_00686_8 springer_journals_10_1007_s10009_022_00686_8
PublicationCentury	2000
PublicationDate	20221200 2022-12-00 20221201
PublicationDateYYYYMMDD	2022-12-01
PublicationDate_xml	– month: 12 year: 2022 text: 20221200
PublicationDecade	2020
PublicationPlace	Berlin/Heidelberg
PublicationPlace_xml	– name: Berlin/Heidelberg – name: Heidelberg
PublicationTitle	International journal on software tools for technology transfer
PublicationTitleAbbrev	Int J Softw Tools Technol Transfer
PublicationYear	2022
Publisher	Springer Berlin Heidelberg Springer Nature B.V
Publisher_xml	– name: Springer Berlin Heidelberg – name: Springer Nature B.V
References	Palmieri, M., Bernardeschi, C., Masci, P.: A framework for FMI-based co-simulation of human-machine interfaces. Softw. Syst. Model. 19(3), (2020) FMI. Functional mock-up interface tools (2014). https://fmi-standard.org/tools Hansen, S.T., Gomes, C., Larsen, P.G., van de Pol, J., Martin, C.R., Blas, M.J., Inostrosa-Psijas, A. (eds.), Synthesizing co-simulation algorithms with step negotiation and algebraic loop handling. In: Martin, C.R., Blas, M.J., Inostrosa-Psijas, A., (eds.), Proc. Annual Modeling and Simulation Conference (ANNSIM’21), IEEE, Virginia, USA, (2021) Behrmann, G. et al.: UNKNOWN (ed.) UPPAAL 4.0. (ed.UNKNOWN) Third International Conference on Quantitative Evaluation of Systems (QEST 2006), Springer, (2006) Oakes, B.J., et al.: Hint-based configuration of co-simulations with algebraic loops. In: Obaidat, M., Obaidat, M., Obaidat, M., Ören, T., Szczerbicka, H. (eds.) Proc. Simultech’19, Vol. 1260 of Advances in intelligent systems and computing. Springer, Setubal, Portugal (2020) ClarkeEMJrGrumbergOPeledDAModel Checking1999Cambridge, MA, USAMIT Press1423.68002 Amálio, N., Payne, R.J., Cavalcanti, A., Woodcock, J. Ogata, K., Lawford, M., Liu, S.: Checking SysML models for co-simulation. In: Ogata, K., Lawford, M., Liu, S. (eds.), Proc. ICFEM’16, Vol. 10009 of LNCS Springer, Cham (2016) Blockwitz, T., et al.: Functional Mockup Interface 2.0: The Standard for Tool independent Exchange of Simulation Models. In: Otter, M., Zimmer, D. (eds.) Proceedings of 9th International Modelica Conference, pp. 173–184. Linköping University Electronic Press, Linköping (2012) TarjanREDepth-first search and linear graph algorithmsSIAM J. Comput.19721214616030417810.1137/02010100251.05107 Thule, C., et al.: Towards the verification of hybrid co-simulation algorithms. In: Mazzara, M., Ober, I., Salaün, G. (eds.) Proc. STAF’18 Collocated Workshops, Vol. 11176 of LNCS. Springer, Cham (2018) Jensen, P.G., Larsen, K.G., Legay, A., Nyman, U. UNKNOWN (ed.): Integrating tools: Co-simulation in UPPAAL using FMI-FMU. (ed.UNKNOWN) Proc. ICECCS’17, IEEE, Fukuoka (2017) Hansen, S.T., et al.: Verification of co-simulation algorithms subject to algebraic loops and adaptive steps. In: Lluch Lafuente, A., Mavridou, A. (eds.) Proc. FMICS’21, Vol. 12863 of LNCS. Springer, Cham (2021) CellierFEKofmanEContinuous System Simulation2010New YorkSpringer1112.93004 Lee, E.A.: UNKNOWN (ed.) Cyber physical systems: Design challenges. (ed.UNKNOWN) International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC). IEEE, Los Alamitos, CA, USA (2008) Gomes, C., Lucio, L., Vangheluwe, H., Burgueño, L. et al.: (eds) Semantics of co-simulation algorithms with simulator contracts. In: Burgueño, L. et al. (eds.), Proc. ACM/IEEE MODELS’19, IEEE (2019) Alfonso, J. et al.: Distributed simulation and testing for the design of a smart suspension. SAE International Journal of Connected and Automated Vehicles 3(2), (2020) Zeyda, F., Ouy, J., Foster, S., Cavalcanti, A. Cerone, A., Roveri, M.: Formalising cosimulation models. In: Cerone, A., Roveri, M. (eds.), Proc. SEFM’17 Collocated Workshops, Vol. 10729 of LNCS Springer, Cham (2017) Tire size calculator (2021). https://tiresize.com/calculator Hansen, S.T., Thule, C., Gomes, C. Cleophas, L., Massink, M. (eds.), An FMI-Based Initialization Plugin for INTO-CPS Maestro 2. In: Cleophas, L., Massink, M. (eds.), Proc. SEFM’20 Collocated Workshops, Vol. 12524, Springer, Cham (2020) BaierCKatoenJ-PPrinciples of Model Checking2008Cambridge, MassThe MIT Press1179.68076 Inci, E.O. et al.: The effect and selection of solution sequence in co-simulation. In: Martin, C.R., Blas, M.J., Inostrosa-Psijas, A. (eds.), Proc. Annual Modeling and Simulation Conference (ANNSIM’21), IEEE, Virginia, USA (2021) Kübler, R., Schiehlen, W.: Two methods of simulator coupling. Math. Comput. Model. Dyn. Syst. 6(2), (2000) SchweizerBLiPLuDExplicit and implicit cosimulation methods: stability and convergence analysis for different solver coupling approachesJ. Comput. Nonlinear Dyn.201510510.1115/1.4028503 ArnoldMClaußCSchierzTSchopsSBartelAGuntherMter MatenEJWMullerPCError analysis and error estimates for co-simulation in FMI for model exchange and co-simulation v2.0Progress in Differential-Algebraic Equations2014Berlin, HeidelbergSpringer1319.65074 Gomes, C., Thule, C., Lausdahl, K., Larsen, P.G., Vangheluwe, H., Mazzara, M., Ober, I., Salaün, G. (eds).: Stabilization technique in INTO-CPS. Mazzara, M., Ober, I., Salaün, G. (eds.), Proc. 2nd Workshop on Formal Co-Simulation of Cyber-Physical Systems, Vol. 11176 of LNCS, Springer, Cham (2018) Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), (1994) Thule, C., Lausdahl, K., Gomes, C., Meisl, G., Larsen, P.G. Maestro: The INTO-CPS co-simulation framework. Simulatio Modelling Practice and Theory 92 (2019). https://www.sciencedirect.com/science/article/pii/S1569190X1830193X Gomes, C., Broman, D., Vangheluwe, H., Thule, C. & Larsen, P. G. Co-simulation: a survey. ACM Computing Surveys51 (3): (2018) Cavalcanti, A., Woodcock, J., Amálio, N. Sampaio, A., Wang, F. (eds.), Behavioural models for FMI co-simulations. (eds Sampaio, A. & Wang, F.) Proc. ICTAC’16, Vol. 9965 of LNCS Springer, Cham (2016) Broman, D. et al.: Determinate composition of FMUs for co-simulation. In: Ernst, R., Sokolsky, O. (eds.), Proc. EMSOFT’13, IEEE, (2013) BérardBBérardBUPPAAL—Timed systemsSystems and Software Verification: Model-Checking Techniques and Tools2001Berlin, HeidelbergSpringer10.1007/978-3-662-04558-91002.68029 GomesCSemantic adaptation for FMI co-simulation with hierarchical simulatorsJ. Simul.201995324126910.1177/0037549718759775 Gomes, C., et al.: HintCO—hint-based configuration of co-simulations. In: Obaidat, M.S., Ören, T.I., Szczerbicka, H. (eds.) Proc. Simultech’19. SciTePress, Setubal, Portugal (2019) Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Communications of the ACM 18(8), (1975) Gomes, C., Thule, C., Lúcio, L., Vangheluwe, H., Larsen, P.G., Camara, J., Steffen, M. (eds): Generation of co-simulation algorithms subject to simulator contracts. In: Camara, J., Steffen, M. (ed.), Proc. SEFM’19 Collocated Workshops, Vol. 12226 of LNCS, Springer, Cham (2020) 686_CR24 EM Clarke Jr (686_CR18) 1999 686_CR26 686_CR20 686_CR21 686_CR23 C Baier (686_CR19) 2008 M Arnold (686_CR6) 2014 686_CR1 686_CR7 686_CR9 686_CR8 686_CR3 686_CR17 686_CR2 B Schweizer (686_CR10) 2015; 10 686_CR5 686_CR4 686_CR13 FE Cellier (686_CR25) 2010 686_CR35 686_CR14 686_CR15 686_CR16 686_CR31 686_CR32 686_CR33 686_CR12 686_CR34 686_CR30 B Bérard (686_CR22) 2001 C Gomes (686_CR11) 2019; 95 RE Tarjan (686_CR27) 1972; 1 686_CR28 686_CR29
References_xml	– reference: Gomes, C., Broman, D., Vangheluwe, H., Thule, C. & Larsen, P. G. Co-simulation: a survey. ACM Computing Surveys51 (3): (2018) – reference: Zeyda, F., Ouy, J., Foster, S., Cavalcanti, A. Cerone, A., Roveri, M.: Formalising cosimulation models. In: Cerone, A., Roveri, M. (eds.), Proc. SEFM’17 Collocated Workshops, Vol. 10729 of LNCS Springer, Cham (2017) – reference: Hansen, S.T., Gomes, C., Larsen, P.G., van de Pol, J., Martin, C.R., Blas, M.J., Inostrosa-Psijas, A. (eds.), Synthesizing co-simulation algorithms with step negotiation and algebraic loop handling. In: Martin, C.R., Blas, M.J., Inostrosa-Psijas, A., (eds.), Proc. Annual Modeling and Simulation Conference (ANNSIM’21), IEEE, Virginia, USA, (2021) – reference: Alfonso, J. et al.: Distributed simulation and testing for the design of a smart suspension. SAE International Journal of Connected and Automated Vehicles 3(2), (2020) – reference: Thule, C., et al.: Towards the verification of hybrid co-simulation algorithms. In: Mazzara, M., Ober, I., Salaün, G. (eds.) Proc. STAF’18 Collocated Workshops, Vol. 11176 of LNCS. Springer, Cham (2018) – reference: Lee, E.A.: UNKNOWN (ed.) Cyber physical systems: Design challenges. (ed.UNKNOWN) International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC). IEEE, Los Alamitos, CA, USA (2008) – reference: Gomes, C., Thule, C., Lúcio, L., Vangheluwe, H., Larsen, P.G., Camara, J., Steffen, M. (eds): Generation of co-simulation algorithms subject to simulator contracts. In: Camara, J., Steffen, M. (ed.), Proc. SEFM’19 Collocated Workshops, Vol. 12226 of LNCS, Springer, Cham (2020) – reference: CellierFEKofmanEContinuous System Simulation2010New YorkSpringer1112.93004 – reference: Gomes, C., et al.: HintCO—hint-based configuration of co-simulations. In: Obaidat, M.S., Ören, T.I., Szczerbicka, H. (eds.) Proc. Simultech’19. SciTePress, Setubal, Portugal (2019) – reference: Oakes, B.J., et al.: Hint-based configuration of co-simulations with algebraic loops. In: Obaidat, M., Obaidat, M., Obaidat, M., Ören, T., Szczerbicka, H. (eds.) Proc. Simultech’19, Vol. 1260 of Advances in intelligent systems and computing. Springer, Setubal, Portugal (2020) – reference: Thule, C., Lausdahl, K., Gomes, C., Meisl, G., Larsen, P.G. Maestro: The INTO-CPS co-simulation framework. Simulatio Modelling Practice and Theory 92 (2019). https://www.sciencedirect.com/science/article/pii/S1569190X1830193X – reference: Palmieri, M., Bernardeschi, C., Masci, P.: A framework for FMI-based co-simulation of human-machine interfaces. Softw. Syst. Model. 19(3), (2020) – reference: Amálio, N., Payne, R.J., Cavalcanti, A., Woodcock, J. Ogata, K., Lawford, M., Liu, S.: Checking SysML models for co-simulation. In: Ogata, K., Lawford, M., Liu, S. (eds.), Proc. ICFEM’16, Vol. 10009 of LNCS Springer, Cham (2016) – reference: ArnoldMClaußCSchierzTSchopsSBartelAGuntherMter MatenEJWMullerPCError analysis and error estimates for co-simulation in FMI for model exchange and co-simulation v2.0Progress in Differential-Algebraic Equations2014Berlin, HeidelbergSpringer1319.65074 – reference: BaierCKatoenJ-PPrinciples of Model Checking2008Cambridge, MassThe MIT Press1179.68076 – reference: Inci, E.O. et al.: The effect and selection of solution sequence in co-simulation. In: Martin, C.R., Blas, M.J., Inostrosa-Psijas, A. (eds.), Proc. Annual Modeling and Simulation Conference (ANNSIM’21), IEEE, Virginia, USA (2021) – reference: Gomes, C., Lucio, L., Vangheluwe, H., Burgueño, L. et al.: (eds) Semantics of co-simulation algorithms with simulator contracts. In: Burgueño, L. et al. (eds.), Proc. ACM/IEEE MODELS’19, IEEE (2019) – reference: Blockwitz, T., et al.: Functional Mockup Interface 2.0: The Standard for Tool independent Exchange of Simulation Models. In: Otter, M., Zimmer, D. (eds.) Proceedings of 9th International Modelica Conference, pp. 173–184. Linköping University Electronic Press, Linköping (2012) – reference: BérardBBérardBUPPAAL—Timed systemsSystems and Software Verification: Model-Checking Techniques and Tools2001Berlin, HeidelbergSpringer10.1007/978-3-662-04558-91002.68029 – reference: Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Communications of the ACM 18(8), (1975) – reference: Cavalcanti, A., Woodcock, J., Amálio, N. Sampaio, A., Wang, F. (eds.), Behavioural models for FMI co-simulations. (eds Sampaio, A. & Wang, F.) Proc. ICTAC’16, Vol. 9965 of LNCS Springer, Cham (2016) – reference: Gomes, C., Thule, C., Lausdahl, K., Larsen, P.G., Vangheluwe, H., Mazzara, M., Ober, I., Salaün, G. (eds).: Stabilization technique in INTO-CPS. Mazzara, M., Ober, I., Salaün, G. (eds.), Proc. 2nd Workshop on Formal Co-Simulation of Cyber-Physical Systems, Vol. 11176 of LNCS, Springer, Cham (2018) – reference: FMI. Functional mock-up interface tools (2014). https://fmi-standard.org/tools/ – reference: Broman, D. et al.: Determinate composition of FMUs for co-simulation. In: Ernst, R., Sokolsky, O. (eds.), Proc. EMSOFT’13, IEEE, (2013) – reference: Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), (1994) – reference: Jensen, P.G., Larsen, K.G., Legay, A., Nyman, U. UNKNOWN (ed.): Integrating tools: Co-simulation in UPPAAL using FMI-FMU. (ed.UNKNOWN) Proc. ICECCS’17, IEEE, Fukuoka (2017) – reference: ClarkeEMJrGrumbergOPeledDAModel Checking1999Cambridge, MA, USAMIT Press1423.68002 – reference: TarjanREDepth-first search and linear graph algorithmsSIAM J. Comput.19721214616030417810.1137/02010100251.05107 – reference: Kübler, R., Schiehlen, W.: Two methods of simulator coupling. Math. Comput. Model. Dyn. Syst. 6(2), (2000) – reference: SchweizerBLiPLuDExplicit and implicit cosimulation methods: stability and convergence analysis for different solver coupling approachesJ. Comput. Nonlinear Dyn.201510510.1115/1.4028503 – reference: Hansen, S.T., et al.: Verification of co-simulation algorithms subject to algebraic loops and adaptive steps. In: Lluch Lafuente, A., Mavridou, A. (eds.) Proc. FMICS’21, Vol. 12863 of LNCS. Springer, Cham (2021) – reference: Behrmann, G. et al.: UNKNOWN (ed.) UPPAAL 4.0. (ed.UNKNOWN) Third International Conference on Quantitative Evaluation of Systems (QEST 2006), Springer, (2006) – reference: Hansen, S.T., Thule, C., Gomes, C. Cleophas, L., Massink, M. (eds.), An FMI-Based Initialization Plugin for INTO-CPS Maestro 2. In: Cleophas, L., Massink, M. (eds.), Proc. SEFM’20 Collocated Workshops, Vol. 12524, Springer, Cham (2020) – reference: Tire size calculator (2021). https://tiresize.com/calculator/ – reference: GomesCSemantic adaptation for FMI co-simulation with hierarchical simulatorsJ. Simul.201995324126910.1177/0037549718759775 – ident: 686_CR5 – ident: 686_CR13 doi: 10.23919/ANNSIM52504.2021.9552073 – ident: 686_CR34 doi: 10.1007/s10270-019-00754-9 – ident: 686_CR9 doi: 10.1007/978-3-030-04771-9_4 – ident: 686_CR26 doi: 10.23919/ANNSIM52504.2021.9552130 – ident: 686_CR20 – volume-title: Progress in Differential-Algebraic Equations year: 2014 ident: 686_CR6 – ident: 686_CR15 doi: 10.1016/j.simpat.2018.12.005 – ident: 686_CR33 doi: 10.1109/ICECCS.2017.33 – volume: 10 issue: 5 year: 2015 ident: 686_CR10 publication-title: J. Comput. Nonlinear Dyn. doi: 10.1115/1.4028503 – ident: 686_CR29 doi: 10.1109/MODELS-C.2019.00124 – ident: 686_CR23 doi: 10.1007/978-3-030-67220-1_22 – ident: 686_CR31 doi: 10.1007/978-3-319-47846-3_28 – volume-title: Principles of Model Checking year: 2008 ident: 686_CR19 – volume-title: Systems and Software Verification: Model-Checking Techniques and Tools year: 2001 ident: 686_CR22 doi: 10.1007/978-3-662-04558-9 – ident: 686_CR2 doi: 10.3384/ecp12076173 – ident: 686_CR35 – ident: 686_CR14 doi: 10.1007/978-3-030-85248-1_1 – ident: 686_CR4 doi: 10.1145/3179993 – volume: 95 start-page: 241 issue: 3 year: 2019 ident: 686_CR11 publication-title: J. Simul. doi: 10.1177/0037549718759775 – ident: 686_CR8 – volume: 1 start-page: 146 issue: 2 year: 1972 ident: 686_CR27 publication-title: SIAM J. Comput. doi: 10.1137/0201010 – ident: 686_CR12 doi: 10.1007/978-3-319-46750-4_15 – ident: 686_CR1 doi: 10.1109/ISORC.2008.25 – volume-title: Continuous System Simulation year: 2010 ident: 686_CR25 – ident: 686_CR24 doi: 10.1145/360933.360975 – volume-title: Model Checking year: 1999 ident: 686_CR18 – ident: 686_CR3 doi: 10.1076/1387-3954(200006)6:2;1-M;FT093 – ident: 686_CR17 doi: 10.1007/978-3-030-57506-9_4 – ident: 686_CR32 – ident: 686_CR30 doi: 10.1007/978-3-030-04771-9_1 – ident: 686_CR16 doi: 10.1109/EMSOFT.2013.6658580 – ident: 686_CR21 doi: 10.1016/0304-3975(94)90010-8 – ident: 686_CR7 doi: 10.5220/0007830000570068 – ident: 686_CR28 doi: 10.4271/12-03-02-0011
SSID	ssj0017679
Score	2.3389566
Snippet	Simulation-based analyses are becoming increasingly vital for the development of cyber-physical systems. Co-simulation is one such technique, enabling the...
SourceID	proquest crossref springer
SourceType	Aggregation Database Enrichment Source Index Database Publisher
StartPage	999
SubjectTerms	Algebra Algorithms Communication Computer engineering Computer Science Cyber-physical systems Simulation Software Engineering Software Engineering/Programming and Operating Systems Theory of Computation
SummonAdditionalLinks	– databaseName: ProQuest Central Database Suite (ProQuest) dbid: BENPR link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LS8QwEA66evDi-sT1RQ7eNLh9pGlOoqJ4WkRUvJU0D13Ybaupgv_eSUxdFPTitWmmhW8yM5lJ5kPogOmhEZxFJI7KlKS5ZKR0JUQTDSXEx4InVHiyCTYa5Q8P_Dok3Gw4VtnZRG-oVS1djvwYdk8U1C_K2EnzTBxrlKuuBgqNebTgOpWBni-cXYyub77qCCzz3fYgKEhIzBgP12bC5TlfGIDNmL8nQfLvrmkWb_4okXrPc9n_7z-voOUQc-LTTyVZRXO6WkP9js8Bh-W9jtQ9qKMJSTwsKoXtewUBoh1bXBssa2LH00D3hcXkET7VPk0ttq-ly-bgtnZPXSV6LPGkrhvrhQglGmdUMShUYzfQ3eXF7fkVCSwMRMLWrCWa0lgnMpWUKUcKDB4vVkOm6bDkOtN5GXEBpqqkOlaZSQXPmJAiMQpWuuI0TzZRr6orvYUwDGTaxSw8l6mgqZAgUnFpMvCTpTEDFHUAFDK0KHdMGZNi1lzZgVYAaIUHrcgH6PBrTvPZoOPPt3c7pIqwWG0xg2mAjjqsZ8O_S9v-W9oOWoqdevnDL7uo17686j20KN_asX3ZD6r6ASDa73U priority: 102 providerName: ProQuest
Title	Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps
URI	https://link.springer.com/article/10.1007/s10009-022-00686-8 https://www.proquest.com/docview/2745183167
Volume	24
WOSCitedRecordID	wos000882344000001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText	1
inHoldings	1
isFullTextHit
isPrint
journalDatabaseRights	– providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1433-2787 dateEnd: 20241213 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: P5Z dateStart: 20190101 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1433-2787 dateEnd: 20241213 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: K7- dateStart: 20190101 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: Engineering Database customDbUrl: eissn: 1433-2787 dateEnd: 20241213 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: M7S dateStart: 20190101 isFulltext: true titleUrlDefault: http://search.proquest.com providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central Database Suite (ProQuest) customDbUrl: eissn: 1433-2787 dateEnd: 20241213 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: BENPR dateStart: 20190101 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Research Library customDbUrl: eissn: 1433-2787 dateEnd: 20241213 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: M2O dateStart: 20190101 isFulltext: true titleUrlDefault: https://search.proquest.com/pqrl providerName: ProQuest – providerCode: PRVAVX databaseName: Springer LINK customDbUrl: eissn: 1433-2787 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: RSV dateStart: 19971201 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnR3LTtwwcMSjh16g9CGW0pUPvbWWNg_H8REqUKWqywpahHqJHD9KpCVZrQMSf8_YOGxbtZXg4kNsj6LxeJ6eGYD33EysFDyhaVLnNC8Vp7UPIdpkolA_liJjMjSb4NNpeXEhZjEpzA2v3YeQZODUvyS7BUc-Gk8hr4GW67DJfLUZb6OfnT_EDngRKuyhIpDRlHMRU2X-DuN3cbTSMf8IiwZpc7z9tP98AVtRuyQH9-SwA2umfQnbQ-cGEi_yK9DnSHg2uuuIbDVxty2qgq5xpLNEddQ1V7GxF5Hzn92y6S-vHHHXtffbkL7zX33MuVFk3nULF4BILReefRIknYV7Dd-Pj759-kxjvwWq0AjrqWEsNZnKFePat_9F2ZbqCTdsUgtTmLJOhESmVDOT6sLmUhRcKplZjXdaC1Zmb2Cj7VqzCwQnCuO1E1GqXLJcKgSphbIFSsTa2hEkA9orFYuR-54Y82pVRtmjsUI0VgGNVTmCDw97FvelOP67en84zSpeS1ehCc6QhyUFH8HH4fRW0_-Gtve45W_heeoJIDx72YeNfnlt3sEzddM3bjmGzcOj6ex0DOtfOMXxa3riR36G44z9GAdyvgPWw-lo
linkProvider	Springer Nature
linkToHtml	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1Lb9QwEB6VLRJcKE-xtAUf4AQWm4fj-IAQhVatWlYVKqi34PgBK22TUKdF_VP8RsZepyuQ6K0HrnEykuNvxjMez3wAz7mZWCl4QtOkzmleKk5rn0K0yUShfyxFxmQgm-DTaXl8LA5X4NdQC-OvVQ42MRhq3Sp_Rv4aoyeG8EsK_rb7QT1rlM-uDhQaC1jsm4ufGLK5N3sfcH1fpOnO9tH7XRpZBajCUKOnhrHUZCpXjGtPcosWPNUTbtikFqYwZZ0IiapXM5PqwuZSFFwqmVmNyNWClRnKvQGreZYXbASrW9vTw0-XeQtehO5-6IRkNOVcxDKdWKwXEhEY_IW6DFr-uRUu_du_UrJhp9tZ-9_-0V24E31q8m6hBPdgxTT3YW3gqyDRfD0A_QXVzcZDSiIbTdxFgw6wmznSWqJa6mYnkc6MyPk3nFr__cQRd1b70yrSt_6pz7TPFJm3beeCEKll5zcNggrTuYfw-Vrm-ghGTduYx0BwoDDeJxOlyiXLpUKRWihboB9QWzuGZFjwSsUW7J4JZF4tm0d7kFQIkiqApCrH8PLym27RgOTKtzcGZFTRGLlqCYsxvBqwtRz-t7QnV0t7Brd2jz4eVAd70_11uJ16aIeLPhsw6k_PzCbcVOf9zJ0-jWpC4Ot1o-43DHFL3g
linkToPdf	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1Lb9QwEB6VghAXylMsFPABTmB148RxfEAIUVZUhaUHQL0Fxw9YaZuEOgX1r_HrGHudrkCitx64xskoib8Zz3g88wE8EXbqlBQZZVlT0KLSgjYhheiyqUb_WMmcq0g2Iebz6vBQHmzAr7EWJhyrHG1iNNSm02GPfAejJ47wy0qx49KxiIPd2cv-Ow0MUiHTOtJprCCyb09_YvjmX-zt4lw_ZWz25uPrtzQxDFCNYcdALefM5rrQXJhAeIvWnJmpsHzaSFvaqsmkQjVsuGWmdIWSpVBa5c4gio3kVY5yL8FlfLUiaNd79uEsgyHK2OcP3ZGcMiFkKthJZXsxJYFhYKzQoNWfi-La0_0rORvXvNnW__y3bsD15GmTVyvVuAkbtr0FWyOLBUlG7TaYz6iELm1dEtUa4k9bdIv9wpPOEd1RvzhKJGdELb_ipw3fjjzxJ03YwyJDF66G_PtCk2XX9T4KUUb1YSkhqEa9vwOfLuRb78Jm27X2HhAcKG3w1GSlC8ULpVGkkdqV6B00zk0gGye_1qkxe-AHWdbrltIBMDUCpo6AqasJPDt7pl-1JTn37u0RJXUyUb5eQ2QCz0ecrYf_Le3--dIew1WEWv1ub77_AK6xgPJ4-mcbNofjE_sQrugfw8IfP4r6QuDLRUPuNwJaU0o
openUrl	ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Verification+and+synthesis+of+co-simulation+algorithms+subject+to+algebraic+loops+and+adaptive+steps&rft.jtitle=International+journal+on+software+tools+for+technology+transfer&rft.au=Hansen%2C+Simon+Thrane&rft.au=Thule%2C+Casper&rft.au=Gomes%2C+Cl%C3%A1udio&rft.au=van+de+Pol%2C+Jaco&rft.date=2022-12-01&rft.pub=Springer+Berlin+Heidelberg&rft.issn=1433-2779&rft.eissn=1433-2787&rft.volume=24&rft.issue=6&rft.spage=999&rft.epage=1024&rft_id=info:doi/10.1007%2Fs10009-022-00686-8&rft.externalDocID=10_1007_s10009_022_00686_8
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1433-2779&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1433-2779&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1433-2779&client=summon