SMOKE: Simulink Model Obfuscator Keeping Structure
Pages 41 - 45
Abstract
Simulink is extensively used across various industries to model and simulate cyber-physical systems. Most industry-built models contain sensitive intellectual property, which prevents companies from sharing models with interested third parties, such as researchers. Initiatives to replace industry-built models with open-source alternatives exist, however they offer only limited remedy. In this work, we offer a novel approach: a Simulink obfuscation tool named SMOKE, designed to selectively protect intellectual property in models. This allows companies to share relevant parts of their models with researchers or other third parties, while safeguarding all sensitive information. We evaluated the tool on an extensive set of open-source models and found it successfully removes sensitive components, while preserving model structure. A video demonstration of SMOKE is available online at https://youtu.be/2KI6HGHrJ20.
References
[1]
Tiago Amorim, Alexander Boll, Ferry Bachman, Timo Kehrer, Andreas Vogelsang, and Hartmut Pohlheim. 2023. Simulink bus usage in practice: an empirical study. Journal of Object Technology 22, 2 (July 2023), 2:1--14.
[2]
Mike Atallah, Elisa Bertino, Ahmed Elmagarmid, Mohamed Ibrahim, and Vassilios Verykios. 1999. Disclosure limitation of sensitive rules. In Proc. 1999 Workshop on Knowledge and Data Engineering Exchange (KDEX'99). IEEE, 45--52.
[3]
Boaz Barak, Oded Goldreich, Russell Impagliazzo, Steven Rudich, Amit Sahai, Salil P. Vadhan, and Ke Yang. 2001. On the (Im)possibility of Obfuscating Programs. In Advances in Cryptology - CRYPTO 2001, 21st Annual International Cryptology Conference (Lecture Notes in Computer Science, Vol. 2139), Joe Kilian (Ed.). Springer, 1--18.
[4]
Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, and Michael von Wenckstern. 2017. Component and Connector Views in Practice: An Experience Report. In 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17--22, 2017. IEEE Computer Society, 167--177.
[5]
Alexander Boll, Florian Brokhausen, Tiago Amorim, Timo Kehrer, and Andreas Vogelsang. 2021. Characteristics, potentials, and limitations of open-source Simulink projects for empirical research. Software and Systems Modeling 20, 6 (2021), 2111--2130.
[6]
Alexander Boll, Pooja Rani, Alexander Schultheiß, and Timo Kehrer. 2024. Beyond code: Is there a difference between comments in visual and textual languages? Journal of Systems and Software 215 (2024), 112087.
[7]
Alexander Boll, Nicole Vieregg, and Timo Kehrer. 2022. Replicability of experimental tool evaluations in model-based software and systems engineering with MATLAB/Simulink. Innovations in Systems and Software Engineering (2022), 1--16.
[8]
Mariano Ceccato, Massimiliano Di Penta, Paolo Falcarin, Filippo Ricca, Marco Torchiano, and Paolo Tonella. 2014. A family of experiments to assess the effectiveness and efficiency of source code obfuscation techniques. Empirical Software Engineering 19 (2014), 1040--1074.
[9]
Shafiul Azam Chowdhury, Lina Sera Varghese, Soumik Mohian, Taylor T. Johnson, and Christoph Csallner. 2018. A curated corpus of simulink models for model-based empirical studies. In Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, ICSE 2018, Gothenburg, Sweden, May 27, 2018, Tomás Bures, John S. Fitzgerald, Bradley R. Schmerl, and Danny Weyns (Eds.). ACM, 45--48.
[10]
Christian Collberg, Clark Thomborson, and Douglas Low. 1997. A taxonomy of obfuscating transformations. Technical Report. Department of Computer Science, The University of Auckland, New Zealand.
[11]
Michael Goedicke and Ulrike Lucke. 2022. Research Data Management in Computer Science - NFDIxCS Approach. In 52. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2022, Informatik in den Naturwissenschaften, 26. -- 30. September 2022, Hamburg (LNI, Vol. P-326), Daniel Demmler, Daniel Krupka, and Hannes Federrath (Eds.). Gesellschaft für Informatik, Bonn, 1317--1328.
[12]
Monika Jaskolka, Vera Pantelic, Alan Wassyng, and Mark Lawford. 2020. Supporting Modularity in Simulink Models. arXiv:2007.10120 [cs.SE]
[13]
Harold Klee and Randal Allen. 2018. Simulation of dynamic systems with MATLAB® and Simulink®. Crc Press.
[14]
Firas Al Laban, Jan Bernoth, Michael Goedicke, Ulrike Lucke, Michael Striewe, Philipp Wieder, and Ramin Yahyapour. 2023. Establishing the Research Data Management Container in NFDIxCS. In 1st Conference on Research Data Infrastructure - Connecting Communities, CoRDI 2023, Karlsruhe, Germany, September 12--14, 2023, York Sure-Vetter and Carole A. Goble (Eds.). TIB Open Publishing.
[15]
Marcus Mikulcak, Paula Herber, Thomas Göthel, and Sabine Glesner. 2019. Information Flow Analysis of Combined Simulink/Stateflow Models. Inf. Technol. Control. 48, 2 (2019), 299--315.
[16]
Peter Munk and Arne Nordmann. 2020. Model-based safety assessment with SysML and component fault trees: application and lessons learned. Software and Systems Modeling 19, 4 (2020), 889--910.
[17]
Stanley R. M. Oliveira and Osmar R. Zaïane. 2003. Protecting Sensitive Knowledge By Data Sanitization. In Proc. 3rd IEEE International Conference on Data Mining (ICDM 2003), 19--22 December 2003, Melbourne, Florida, USA. IEEE Computer Society, 613--616.
[18]
Vera Pantelic, Steven Postma, Mark Lawford, Monika Jaskolka, Bennett Mackenzie, Alexandre Korobkine, Marc Bender, Jeff Ong, Gordon Marks, and Alan Wassyng. 2018. Software engineering practices and Simulink: bridging the gap. International Journal on Software Tools for Technology Transfer 20 (2018), 95--117.
[19]
Robert Reicherdt and Sabine Glesner. 2012. Slicing MATLAB Simulink models. In 34th International Conference on Software Engineering, ICSE 2012, June 2--9, 2012, Zurich, Switzerland, Martin Glinz, Gail C. Murphy, and Mauro Pezzè (Eds.). IEEE Computer Society, 551--561.
[20]
Alexander Schlie, Sandro Schulze, and Ina Schaefer. 2018. Comparing Multiple MATLAB/Simulink Models Using Static Connectivity Matrix Analysis. In 2018 IEEE International Conference on Software Maintenance and Evolution, ICSME 2018, Madrid, Spain, September 23--29, 2018. IEEE Computer Society, 160--171.
[21]
Alexander Schlie, David Wille, Sandro Schulze, Loek Cleophas, and Ina Schaefer. 2017. Detecting Variability in MATLAB/Simulink Models: An Industry-Inspired Technique and its Evaluation. In Proceedings of the 21st International Systems and Software Product Line Conference, SPLC 2017, Volume A, Sevilla, Spain, September 25--29, 2017, Myra B. Cohen, Mathieu Acher, Lidia Fuentes, Daniel Schall, Jan Bosch, Rafael Capilla, Ebrahim Bagheri, Yingfei Xiong, Javier Troya, Antonio Ruiz Cortés, and David Benavides (Eds.). ACM, 215--224.
[22]
Sohil Lal Shrestha, Alexander Boll, Shafiul Azam Chowdhury, Timo Kehrer, and Christoph Csallner. 2023. EvoSL: A Large Open-Source Corpus of Changes in Simulink Models & Projects. In 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2023, Västerås, Sweden, October 1--6, 2023. IEEE, 273--284.
[23]
Sohil Lal Shrestha, Alexander Boll, Timo Kehrer, and Christoph Csallner. 2023. ScoutSL: An Open-Source Simulink Search Engine. In ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2023 Companion, Västerås, Sweden, October 1--6, 2023. IEEE, 70--74.
[24]
Sohil Lal Shrestha, Shafiul Azam Chowdhury, and Christoph Csallner. 2022. SLNET: A Redistributable Corpus of 3rd-party Simulink Models. In 19th IEEE/ACM International Conference on Mining Software Repositories, MSR 2022, Pittsburgh, PA, USA, May 23--24, 2022. ACM, 1--5.
[25]
Sohil Lal Shrestha, Shafiul Azam Chowdhury, and Christoph Csallner. 2023. Replicability Study: Corpora For Understanding Simulink Models & Projects. In ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2023, New Orleans, LA, USA, October 26--27, 2023. IEEE, 1--12.
[26]
Matthew Stephan and James R. Cordy. 2015. Identification of Simulink model antipattern instances using model clone detection. In 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September 30 - October 2, 2015, Timothy Lethbridge, Jordi Cabot, and Alexander Egyed (Eds.). IEEE Computer Society, 276--285.
[27]
Juho Tevajärvi. 2023. Protecting Intellectual Property in Multi-Supplier Ship Powertrain Co-Simulation. Master's Thesis. Aalto University, Otaniemi. Advisor(s) Riku Ala-Laurinaho.
[28]
Mark D Wilkinson, Michel Dumontier, IJsbrand Jan Aalbersberg, Gabrielle Appleton, Myles Axton, Arie Baak, Niklas Blomberg, Jan-Willem Boiten, Luiz Bonino da Silva Santos, Philip E Bourne, et al. 2016. The FAIR Guiding Principles for scientific data management and stewardship. Scientific data 3, 1 (2016), 1--9.
Index Terms
- SMOKE: Simulink Model Obfuscator Keeping Structure
Index terms have been assigned to the content through auto-classification.
Recommendations
Accelerating Simulink/Matlab projects with SYCL
IWOCL '23: Proceedings of the 2023 International Workshop on OpenCLMatlab/Simulink is a very popular software development tool which is widely used in academia and industry to build and evaluate complex dynamical systems. It combines graphical modelling with the ability to develop algorithms directly in the Matlab ...
A Simulink Implementation of the Cerebellum Model Articulation Controller
ACT '10: Proceedings of the 2010 Second International Conference on Advances in Computing, Control, and Telecommunication TechnologiesThis paper presents a Simulink implementation of the CMAC controller which was proposed by J.S. Albus. The controller was implemented using the MatlAB S-function so that it can be used by a control engineer working on the Simulink platform to study the ...
Toward sensitive document release with privacy guarantees
Privacy has become a serious concern for modern Information Societies. The sensitive nature of much of the data that are daily exchanged or released to untrusted parties requires that responsible organizations undertake appropriate privacy protection ...
Comments
Information & Contributors
Information
Published In
September 2024
1261 pages
ISBN:9798400706226
DOI:10.1145/3652620
- Chairs:
- Manuel Wimmer,
- Alexander Egyed,
- Program Chairs:
- Benoit Combemale,
- Marsha Chechik
This work is licensed under a Creative Commons Attribution International 4.0 License.
Sponsors
- SIGSOFT: ACM Special Interest Group on Software Engineering
- Johannes Kepler University Linz
- IEEE CS
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 31 October 2024
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
- DFG
Conference
MODELS Companion '24
Sponsor:
MODELS Companion '24: ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems
September 22 - 27, 2024
Linz, Austria
Acceptance Rates
Overall Acceptance Rate 144 of 506 submissions, 28%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 75Total Downloads
- Downloads (Last 12 months)75
- Downloads (Last 6 weeks)27
Reflects downloads up to 07 Mar 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in