Page 297 - 《软件学报》2026年第3期

1260 软件学报 2026 年第 37 卷第 3 期

[20] Blochwitz T. Functional mock-up interface for model exchange and co-simulation. 2014. https://www.fmi-standard.org/assets/releases/
FMI_for_ModelExchange_and_CoSimulation_v2.0.pdf
[21] Blochwitz T, Otter M, Akesson J, Arnold M, Clauß C, Elmqvist H, Friedrich M, Junghanns A, Mauss J, Neumerkel D, Olsson H, Viel
A. Functional mockup interface 2.0: The standard for tool independent exchange of simulation models. In: Proc. of the 9th Int’l
Modelica Conf. Munich: Linköping University, 2012. 173–184. [doi: 10.3384/ecp12076173]
[22] Eker J, Janneck JW, Lee EA, Jie Liu N, Xiaojun Liu N, Ludvig J, Neuendorffer S, Sachs S, Yuhong Xiong N. Taming
heterogeneity—The ptolemy approach. Proc. of the IEEE, 2003, 91(1): 127–144. [doi: 10.1109/JPROC.2002.805829]
[23] Davare A, Densmore D, Guo LP, Passerone R, Sangiovanni-Vincentelli AL, Simalatsar A, Zhu Q. METROII: A design environment for
cyber-physical systems. ACM Trans. on Embedded Computing Systems, 2013, 12(S1): 49. [doi: 10.1145/2435227.2435245]
[24] Porter J, Hemingway G, Nine H, vanBusKirk C, Kottenstette N, Karsai G, Sztipanovits J. The ESMoL language and tools for high-
confidence distributed control systems esign. Part 1: design language, modeling framework, and analysis. Nashville: Institute for
Software Integrated Systems, 2010. 109
[25] Halbwachs N, Caspi P, Raymond P, Pilaud D. The synchronous data flow programming language LUSTRE. Proc. of the IEEE, 1991,
79(9): 1305–1320. [doi: 10.1109/5.97300]
[26] Abrial JR. Modeling in Event-B: System and Software Engineering. Cambridge: Cambridge University Press, 2010. [doi: 10.1017/
CBO9781139195881]
[27] Banach R, Butler M, Qin SC, Verma N, Zhu HB. Core hybrid Event-B I: Single hybrid Event-B machines. Science of Computer
Programming, 2015, 105: 92–123. [doi: 10.1016/j.scico.2015.02.003]
[28] Banach R, Butler M, Qin SC, Zhu HB. Core hybrid Event-B II: Multiple cooperating hybrid Event-B machines. Science of Computer
Programming, 2017, 139: 1–35. [doi: 10.1016/j.scico.2016.12.003]
[29] Woodcock J. Engineering UToPiA: Formal semantics for CML. In: Proc. of the 19th Int’l Symp. on Formal Methods. Singapore:
Springer, 2014. 22–41. [doi: 10.1007/978-3-319-06410-9_3]
[30] Spivey JM. The Z Notation: A Reference Manual. New York: Prentice Hall, 1992.
[31] Hoare CAR. Communicating sequential processes. Communications of the ACM, 1978, 21(8): 666–677. [doi: 10.1145/359576.359585]
[32] Bjørner D. The vienna development method (VDM). In: Proc. of the 1979 Int’l Conf. on Mathematical Studies of Information
Processing. Kyoto: Springer, 1979. 326–359. [doi: 10.1007/3-540-09541-1_33]
[33] Hoare CAR, He JF. Unifying Theories of Programming. London: Prentice Hall, 1998.
[34] Friedenthal S, Moore A, Steiner R. A Practical Guide to SysML: The Systems Modeling Language. 3rd ed., San Francisco: Morgan
Kaufmann, 2014.
[35] Le Guernic P, Talpin JP, Le Lann JC. Polychrony for system design. Journal of Circuits, Systems and Computers, 2003, 12(3): 261–303.
[doi: 10.1142/S0218126603000763]
[36] Le Guernic P, Benveniste A, Bournai P, Gautier T. Signal —A data flow-oriented language for signal processing. IEEE Trans. on
Acoustics, Speech, and Signal Processing, 1986, 34(2): 362–374. [doi: 10.1109/TASSP.1986.1164809]
[37] Bourke T, Pouzet MZ. Zélus: A synchronous language with ODEs. In: Proc. of the 16th Int’l Conf. on Hybrid Systems: Computation
and Control. Philadelphia: ACM, 2013. 113–118. [doi: 10.1145/2461328.2461348]
[38] Bourke T, Carcenac F, Colaço JL, Pagano B, Pasteur C, Pouzet M. A synchronous look at the simulink standard library. ACM Trans. on
Embedded Computing Systems (TECS), 2017, 16(S5): 176. [doi: 10.1145/3126516]
[39] Benveniste A, Bourke T, Caillaud B, Colaco JL, Pasteur C, Pouzet M. Building a hybrid systems modeler on synchronous languages
principles. Proc. of the IEEE, 2018, 106(9): 1568–1592. [doi: 10.1109/JPROC.2018.2858016]
[40] NASA Jet Propulsion Laboratory. F Prime: Flight software & embedded systems framework. 2020. https://nasa.github.io/fprime
[41] Bocchino R, Canham T, Watney G, Reder L, Levison J. F Prime: An open-source framework for small-scale flight software systems. In:
Proc. of the 32nd Annual Small Satellites Conf. Logan, 2018. https://digitalcommons.usu.edu/smallsat/2018/all2018/328/
[42] Bocchino RL, Levison JW, Starch MD. FPP: A modeling language for F prime. In: Proc. of the 2022 IEEE Aerospace Conf. (AERO).
Big Sky: IEEE, 2022. 1–15. [doi: 10.1109/AERO53065.2022.9843754]
[43] Arbab F. Abstract behavior types: A foundation model for components and their composition. Science of Computer Programming, 2005,
55(1–3): 3–52. [doi: 10.1016/j.scico.2004.05.010]
[44] Basu A, Bozga M, Sifakis J. Modeling heterogeneous real-time components in BIP. In: Proc. of the 4th IEEE Int’l Conf. on Software
Engineering and Formal Methods. Pune: IEEE, 2006. 3–12. [doi: 10.1109/SEFM.2006.27]
[45] Bozga M, Jaber M, Maris N, Sifakis J. Modeling dynamic architectures using Dy-BIP. In: Proc. of the 11th Int’l Conf. on Software
Composition. Prague: Springer, 2012. 1–16. [doi: 10.1007/978-3-642-30564-1_1]
[46] El-Hokayem A, Bozga M, Sifakis J. A temporal configuration logic for dynamic reconfigurable systems. In: Proc. of the 36th Annual
ACM Symp. on Applied Computing. ACM, 2021. 1419–1428. [doi: 10.1145/3412841.3442017]