Publications

Siavashi, F., Rodriguez, H. H., Pantelic, V., Lawford, M., Paige, R., Jaskolka, M., Hou, G., and Verde, A. (2023). "Bridging the Gap Between System Architecture and Software Design using Model Transformation". In: 34rd International Symposium on Software Reliability Engineering (ISSRE), Florence, Italy: IEEE, 51-56. Nominated for Best Paper

Jaskolka, M., Pantelic, V., Wassyng, A., Paige, R., and Lawford, M. (2023). "Repository Mining for Changes in Simulink and Stateflow Models". In: Software and Systems Modeling (SoSyM), Vol 22(5), 1713–1732.

Jaskolka, M., Pantelic, V., Wassyng, A., Lawford, M., and Paige, R. (2021). "Repository Mining for Changes in Simulink Models". In: 24th International Conference on Model Driven Engineering Languages and Systems (MODELS). Fukuoka, Japan: IEEE, 46-57.

Jaskolka, M., Scott, S., Pantelic, V., Wassyng, A., and Lawford, M. (2020). "Applying Modular Decomposition in Simulink". In: 31st International Symposium on Software Reliability Engineering Workshops (ISSREW), 31–36.

Jaskolka, M., Pantelic, V., Wassyng, A., and Lawford, M. (2020). "A Comparison of Componentization Constructs for Supporting Modularity in Simulink". SAE Technical Paper, no. 2020-01-1290, 1–16.

Pantelic, V., Postma, S., Lawford, M., Jaskolka, M., Mackenzie, B., Korobkine, A., Bender, M., Ong, J., Marks, G., and Wassyng, A. (2018). "Software engineering practices and Simulink: bridging the gap". International Journal on Software Tools for Technology Transfer (STTT). Vol 20(1), 95–117.

Bialy, M., Pantelic, V., Jaskolka, J., Schaap, A., Patcas, L., Lawford, M., and Wassyng, A. (2016). Handbook of System Safety and Security, Chapter 3: "Software Engineering for Model-Based Development by Domain Experts". 39–64. Elsevier.

Bialy, M., Lawford, M., Pantelic, V., and Wassyng, A. (2015). "A Methodology for the Simplification of Tabular Designs in Model-Based Development". In: 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE). Florence, Italy: IEEE Press, 47–53.

Bender, M., Laurin, K., Lawford, M., Pantelic, V., Korobkine, A., Ong, J., Mackenzie, B., Bialy, M., and Postma, S. (2015). "Signature Required: Making Simulink Data Flow and Interfaces Explicit". In: Science of Computer Programming. Elsevier, Vol 113, Part 1, 29–50.

Presentations

Jaskolka, M.* (June 2018). "Custom Tools for Development in Simulink". MathWorks Research Summit. Women in Tech Ignite Breakfast. Newton, MA, USA.

Jaskolka, M.*, Lawford, M., Mackenzie, B.*, Marks, G.*, Pantelic, V., Patcas, L., Schaap, A., Wassyng, A. (June 2017). "Tool Support for Model Based Software Engineering in MATLAB/Simulink for Domain Experts". Conference Short Course. IEEE Transportation Electrification Conference and Expo (ITEC). Chicago, IL, USA.

Posters

Bialy, M.*, Lawford, M., Pantelic, V., and Wassyng, A. (May 2015). A Methodology for the Simplification of Tabular Designs in Model-Based Development. Poster. 3rd Annual Industry Open House. McMaster University.

Bialy, M.*, Lawford, M., Pantelic, V., and Wassyng, A. (Mar. 2014). Refactoring Complex Stateflow Truth Tables Through Transformation to Tabular Expressions. Poster. 2nd Annual Industry Open House. McMaster University.

Bialy, M.* (Mar. 2013). Reverse-Engineering Requirements from Simulink Models. Poster. Leadership in Automotive Powertrain (LEAP). McMaster University.

Tools

The following tools are open-source and available on GitHub.

Model Comparison Utility – A collection of command line functions for supporting Simulink model comparison/diffing. Developed by M. Jaskolka and G. Marks.

Simulink Module Tool – Supports the creation of a Simulink module, syntactic interfaces, and checking related guidelines. Developed by M. Jaskolka and S. Scott.

Obfuscate Model Tool – Removes, renames, and/or hides various details of a Simulink model in order to hide confidential information. Developed by M. Jaskolka, S. Scott, and G. Marks.

Auto Layout Tool – Automatically clean up and improve model layout in manual or auto generated Simulink models. Developed by B. Mackenzie, G. Marks, M. Jaskolka, and H. Nijjar.

Line to Goto/From Tool – Quickly converts signal lines to Goto/From connections, and vice versa. Developed by M. Jaskolka, B. Mackenzie, and J. Ong. MathWorks Pick of the Week

Signature Tool – Detect and document a subsystem’s interface, including implicit data flow involving data stores and goto/from blocks. Automatically generate documentation of inputs/outputs and updates. Developed by B. Mackenzie, M. Jaskolka, G. Marks, J. Ong. MathWorks Pick of the Week

Data Store Rescope Tool – Automatically rescope Data Stores to help meet JMAAB guidelines and to improve model structure and modularity. Developed by B. Mackenzie, M. Jaskolka, and J. Ong.

Reach/Coreach Tool – Trace and highlight data dependencies forward (reach) and backwards (coreach), as well as slice models while taking into account implicit data and control flow. Developed by B. Mackenzie, G. Marks, M. Jaskolka, J. Ong, and R. Tyrrell.

Simulink Logic Simplifier – Simplify implementations of combinatorial logic in Simulink. Developed by B. Mackenzie, G. Marks, and M. Jaskolka.