[n. d.]. Simulink - simulation and model-based design. https://nl.mathworks.com/products/simulink.html
2020. ModelCenter Integrate: Model Based Engineering Software. https://www.phoenix-int.com/product/modelcenter-integrate/
Christina Aas, B.T.C. Zandbergen, Rob Hamann, and Eberhard Gill. 2009. Development of a System Level Tool for Conceptual Design of Small Satellites. (01 2009).
Vander Alves, Christa Schwanninger, Luciano Barbosa, Awais Rashid, Peter Sawyer, Paul Rayson, Christoph Pohl, and Andreas Rummler. 2008. An Exploratory Study of Information Retrieval Techniques in Domain Analysis. In SPLC’08. IEEE Computer Society, Washington, DC, USA, 67–76.
Chetan Arora, Mehrdad Sabetzadeh, Lionel Briand, and Frank Zimmer. 2016. Extracting Domain Models from Natural-language Requirements: Approach and Industrial Evaluation. In MODELS’16 (Saint-malo, France). ACM, New York, NY, USA, 250–260.
Salima Berrezzoug, Abdelmadjid Boudjemai, and Fethi Tarik Bendimerad. 2019. Interactive design and multidisciplinary optimization of geostationary communication satellite. International Journal on Interactive Design and Manufacturing (IJIDeM) 13, 4 (2019), 1519–1540.
Davide Bresolin. 2013. HyLTL: a temporal logic for model checking hybrid systems. Electronic Proceedings in Theoretical Computer Science 124 (Aug 2013), 73–84. https://doi.org/10.4204/eptcs.124.8
Lionel C. Briand, Shiva Nejati, Mehrdad Sabetzadeh, and Domenico Bianculli. 2016. Testing the untestable: model testing of complex software-intensive systems. In Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume, Laura K. Dillon, Willem Visser, and Laurie A. Williams (Eds.). ACM, 789–792. https://doi.org/10.1145/2889160.2889212
Glenn Bruns and Patrice Godefroid. 2004. Model Checking with Multi-valued Logics. In ICALP’04. 281–293.
Marsha Chechik, Benet Devereux, Steve M. Easterbrook, and Arie Gurfinkel. 2003. Multi-valued symbolic model-checking. ACM Trans. Softw. Eng. Methodol. 12, 4 (2003), 371–408.
Marsha Chechik, Benet Devereux, and Arie Gurfinkel. 2001. Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN. In SPIN ’01. 16–36.
B Chudoba and W Heinze. 2010. Evolution of generic flight vehicle design synthesis. Aeronautical Journal 114, 1159 (2010), 549–567.
Alessandro Cimatti, Marco Roveri, and Stefano Tonetta. 2015. HRELTL: A temporal logic for hybrid systems. Information and Computation 245 (2015), 54–71. https://doi.org/10.1016/j.ic.2015.06.006
Andreas Classen, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, and Jean-François Raskin. 2013. Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and their Application to LTL Model Checking. Transactions on Software Engineering (2013), 1069–1089.
Guillermina Cledou, José Proença, and Luis Soares Barbosa. 2017. Composing Families of Timed Automata. In Fundamentals of Software Engineering, Mehdi Dastani and Marjan Sirjani (Eds.). Springer International Publishing, Cham, 51–66.
CONVAIR. 1970. Space Shuttle Synthesis Program (SSSP) Final Report No. GDCDBB70-002.
Maxime Cordy and Patrick Heymans. 2018. Engineering Configurators for the Retail Industry: Experience Report and Challenges Ahead. In ACM SAC’18. 2050–2057.
Steven Cornford, Robert Shishko, Stephen Wall, Bjorn Cole, Steven Jenkins, Nic Rouquette, Greg Dubos, Tyler Ryan, Pezhman Zarifian, and Bryce Durham. 2012. Evaluating a fractionated spacecraft system: A business case tool for darpa’s f6 program. In 2012 IEEE Aerospace Conference. IEEE, 1–20.
Krzysztof Czarnecki, Simon Helsen, and Ulrich W. Eisenecker. 2005. Formalizing cardinality-based feature models and their specialization. Software Process: Improvement and Practice 10, 1 (2005), 7–29.
Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, and Sean Sedwards. 2012. Statistical Model Checking for Stochastic Hybrid Systems. In Proceedings First International Workshop on Hybrid Systems and Biology, HSB 2012, Newcastle Upon Tyne, UK, 3rd September 2012 (EPTCS, Vol. 92), Ezio Bartocci and Luca Bortolussi (Eds.). 122–136. https://doi.org/10.4204/EPTCS.92.9
Jean-Marc Davril, Edouard Delfosse, Negar Hariri, Mathieu Acher, Jane Cleland-Huang, and Patrick Heymans. 2013. Feature Model Extraction from Large Collections of Informal Product Descriptions. In ESEC/FSE’13 (Saint Petersburg, Russia). ACM, 290–300.
Davide Di Domizio and Paolo Gaudenzi. 2008. A Model for Preliminary Design Procedures of Satellite Systems. Concurrent Engineering 16, 2 (2008), 149–159. https://doi.org/10.1177/1063293x08092488
William Edmonson, Jules Chenou, Natasha Neogi, and Heber Herencia-Zapana. 2014. Small satellite systems design methodology: A formal and agile design process. In 2014 IEEE International Systems Conference Proceedings. 518–524. https://doi.org/10.1109/SysCon.2014.6819305
Alessio Ferrari, Giorgio O. Spagnolo, and Felice Dell’Orletta. 2013. Mining Commonalities and Variabilities from Natural Language Documents. In SPLC’13 (Tokyo, Japan). ACM, New York, NY, USA, 116–120.
Dario Fischbein, Sebastian Uchitel, and Victor Braberman. 2006. A foundation for behavioural conformance in software product line architectures. In ROSATEA’06, ISSTA 2006 workshop. ACM Press, 39–48.
Justin S Gray, Tristan A Hearn, Kenneth T Moore, John Hwang, Joaquim RRA Martins, and Andrew Ning. 2014. Automatic evaluation of multidisciplinary derivatives using a graph-based problem formulation in OpenMDAO. In 15th AIAA/ISSMO Multidisciplinary Analysis and Optimization Conference. 2042.
Matthias Gries. 2004. Methods for evaluating and covering the design space during early design development. Integration, the VLSI journal 38, 2 (2004), 131–183.
Alexander Gruler, Martin Leucker, and Kathrin Scheidemann. 2008. Modeling and Model Checking Software Product Lines. In FMOODS’08 (Oslo, Norway). Springer, 113–131.
Arie Gurfinkel and Marsha Chechik. 2003. Multi-Valued Model Checking via Classical Model Checking. In CONCUR. 263–277.
Walter Edward Hammond. 2001. Design Methodologies for Space Transportation Systems. Vol. 1. AIAA.
Keith Hartley. 2014. The political economy of aerospace industries: a key driver of growth and international competitiveness? Edward Elgar Publishing.
Wolfgang Heinze. 1994. Ein Beitrag Zur Quantitativen Analyse Der Technischen Und Wirtschaftlichen Auslegungsgrenzen Verschiedener Flugzeugkonzepte Fur Den Transport Grosser Nutzlasten. Ph. D. Dissertation.
Thomas A. Henzinger, Zohar Manna, and Amir Pnueli. 1993. Towards Refining Temporal Specifications into Hybrid Systems. In Hybrid Systems. Springer-Verlag, Berlin, Heidelberg, 60–76.
Sebastian JI Herzig, Sanda Mandutianu, Hongman Kim, Sonia Hernandez, and Travis Imken. 2017. Model-transformation-based computational design synthesis for mission architecture optimization. In 2017 IEEE Aerospace Conference. IEEE, 1–15.
Arnaud Hubaux. 2012. Feature-based Configuration: Collaborative, Dependable, and Controlled. Ph. D. Dissertation. Catholic University of Louvain, Louvain-laNeuve, Belgium. http://hdl.handle.net/2078.2/105420
John T Hwang, Dae Young Lee, James W Cutler, and Joaquim RRA Martins. 2014. Large-scale multidisciplinary optimization of a small satellite’s design and operation. Journal of Spacecraft and Rockets 51, 5 (2014), 1648–1663.
K. Kang, S. Cohen, J. Hess, W. Novak, and S. Peterson. 1990. Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU/SEI-90-TR-21.
Aleksandr A Kerzhner, Michel D Ingham, Mohammed O Khan, Jaime Ramirez, Javier De Luis, Jeremy Hollman, Steven Arestie, and David Sternberg. 2013. Architecting cellularized space systems using model-based design exploration. In AIAA SPACE 2013 Conference and Exposition. 5371.
Kim Guldstrand Larsen, Ulrik Nyman, and Andrzej Wasowski. 2007. Modal I/O Automata for Interface and Product Line Theories. In ESOP. 64–79.
W J Larson and J R Wertz. 1992. Space Mission Analysis and Design. (1 1992).
Wiley J Larson and James Richard Wertz. 1992. Space mission analysis and design. Technical Report. Torrance, CA (United States); Microcosm, Inc.
Kim Lauenroth, Simon Toehning, and Klaus Pohl. 2009. Model Checking of Domain Artifacts in Product Line Engineering. In IEEE/ACM ASE. 269–280.
Lars Luthmann, Andreas Stephan, Johannes Bürdek, and Malte Lochau. 2017. Modeling and Testing Product Lines with Unbounded Parametric Real-Time Constraints. In Proceedings of the 21st International Systems and Software Product Line Conference - Volume A (Sevilla, Spain) (SPLC’17). ACM, New York, NY, USA, 104–113. https://doi.org/10.1145/3106195.3106204
Andreas Makoto Hein Marija Jankovic. 2021. Architecting Engineering Systems. (10 2021).
Joaquim RRA Martins and Andrew B Lambe. 2013. Multidisciplinary design optimization: a survey of architectures. AIAA journal 51, 9 (2013), 2049–2075.
LA McCullers. 1984. FLOPS: Flight Optimization System. Proceedings of Recent Experiences in Multidisciplinary Analysis and Optimization, Hampton, Virginia (1984).
Claudio Menghi, Enrico Viganò, Domenico Bianculli, and Lionel C. Briand. 2020. Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap. arXiv:2009.12250 [cs.SE]
Robert C Moeller, Chester Borden, Thomas Spilker, William Smythe, and Robert Lock. 2011. Space missions trade space generation and assessment using the JPL Rapid Mission Architecture (RMA) team approach. In 2011 Aerospace Conference. IEEE, 1–11.
Mohsen Mosleh, Kia Dalili, and Babak Heydari. 2016. Distributed or monolithic? a computational architecture decision framework. IEEE Systems journal 12, 1 (2016), 125–136.
NASA. [n. d.]. The Tyranny of the Rocket Equation. Accessed: 2021-11-21.
Rafael Olaechea, Joanne Atlee, Axel Legay, and Uli Fahrenberg. 2018. Trace Checking for Dynamic Software Product Lines. In Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems (Gothenburg, Sweden) (SEAMS’18). ACM, 69–75.
Angela Pappagallo, Annalisa Massini, and Enrico Tronci. 2020. Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review. Information 11, 12 (2020). https://doi.org/10.3390/info11120588
André Platzer. 2008. Differential Dynamic Logic for Hybrid Systems. Journal of Automated Reasoning 41 (08 2008), 143–189. https://doi.org/10.1007/s10817-008-9103-8
A. Pnueli. 1977. The Temporal Logic of Programs. In FOCS’77. 46–57.
Timothy Pratt and Jeremy E Allnutt. 2019. Satellite communications. John Wiley & Sons.
L. Rana. 2017. Space Access Systems Design: Synthesis methodology development for conceptual design of future space access systems. Ph.D. Dissertation. The University of Texas at Arlington.
L. Rana and B. Chudoba. 2020. Demonstration of a prototype design synthesis capability for space access vehicle design. The Aeronautical Journal 124, 1281 (2020), 1761–1788. https://doi.org/10.1017/aer.2020.55
Daniel P Raymer. 2006. Aircraft Design: A Conceptual Approach. AIAA American Institute of Aeronautics & Ast.
Lawrence F Rowell and John J Korte. 2003. Launch vehicle design and optimization methods and priority for the advanced engineering environment. (2003).
Joseph H Saleh, Daniel E Hastings, and Dava J Newman. 2002. Spacecraft design lifetime. Journal of Spacecraft and Rockets 39, 2 (2002), 244–257.
Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, and Yves Bontemps. 2006. Feature Diagrams: A Survey and A Formal Semantics. In RE’06. 139–148.
Holger Schumann, Axel Berres, Olaf Maibaum, and Alexander Röhnsch. 2008. DLR’s VIRTUAL SATELLITE APPROACH. In 10th International Workshop on Simulation on European Space Programmes (SESP 2008).
Marco Sgroi, Luciano Lavagno, and Alberto Sangiovanni-Vincentelli. 2000. Formal models for embedded system design. IEEE Design & Test of Computers 17, 2 (2000), 14–27.
Joseph Sifakis. 2015. System design automation: Challenges and limitations. Proc. IEEE 103, 11 (2015), 2093–2103.
Amit Kumar Singh, Piotr Dziurzanski, Hashan Roshantha Mendis, and Leandro Soares Indrusiak. 2017. A survey and comparative study of hard and soft real-time dynamic resource allocation strategies for multi-/many-core systems. ACM Computing Surveys (CSUR) 50, 2 (2017), 1–40.
Marjan Sirjani, Edward Lee, and Ehsan Khamespanah. 2020. Verification of Cyberphysical Systems. Mathematics 8 (07 2020), 1068. https://doi.org/10.3390/math8071068
H. Stoewer, R. Hartmann, and Lutz Richter. 2000. An Advanced Methodology for the Design Process of a Satellite. https://doi.org/10.1002/J.2334-5837.2000.TB00418.X
Jürgen Teich. 2012. Hardware/software codesign: The past, the present, and predicting the future. Proc. IEEE 100, Special Centennial Issue (2012), 1411–1430.
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, and Franco Mazzanti. 2016. Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints. Journal of Logical and Algebraic Methods in Programming 85, 2 (2016), 287 – 315.
Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, and Gunter Saake. 2014. A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Comput. Surv. 47, 1 (2014), 6:1–6:45.
Moshe Y. Vardi and Pierre Wolper. 1986. An automata-theoretic approach to automatic program verification. In LICS’86. IEEE CS, 332–344.
Nathan Weston, Ruzanna Chitchyan, and Awais Rashid. 2009. A Framework for Constructing Semantically Composable Feature Models from Natural Language Requirements. In SPLC’09 (San Francisco, California, USA). Carnegie Mellon University, 211–220.
Karl Dawson Wood. 1964. Aerospace Vehicle Design - Volume II: Spacecraft Design. Vol. 2. Johnson Publishing Company.
Wenrui Wu, Hai Huang, Shenyan Chen, and Beibei Wu. 2013. Satellite multidisciplinary design optimization with a high-fidelity model. Journal of Spacecraft and Rockets 50, 2 (2013), 463–466.
Yun-Hua Wu, Mo-Hong Zheng, Chao-yong Li, Meng-Jie He, Zhi-Ming Chen, and Bing Hua. 2020. Hybrid actuator optimal angular momentum management with analytical solution for spacecraft attitude agile maneuvering mission. Aerospace Science and Technology 97 (2020), 105597.
X. Zhou, X. Gou, T. Huang, and S. Yang. 2018. Review on Testing of Cyber Physical Systems: Methods and Testbeds. IEEE Access 6 (2018), 52179–52194. https://doi.org/10.1109/ACCESS.2018.2869834
