Monika Jaskolka

Publications

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 (ISSRE), 31–36. Get BibTeX(To Appear)

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. Get BibTeX

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. Get BibTeX

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. Get BibTeX

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. Get BibTeXGet ErrataGet Slides

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. Get BibTeX

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. Get Abstract

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.

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, H. Nijjar.

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.

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 WeekAward

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, R. Tyrrell.

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

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 WeekAward