December 1, 2021

McSCert project to help assure the safety of focused ultrasound medical device

Focused ultrasound medical devices are complex and software intensive; moreover, they are safety critical, and significant steps must be taken to ensure their reliability, robustness and safety.
August 20, 2021

Computing and Software professor awarded $4 million to develop mobile health solutions and expertise in Ontario

There was no disputing the growing importance of mobile technologies in the world of health care. And then came the pandemic.
July 13, 2021

Federal government invests $10M in McMaster automotive and aerospace electrification hub

This funding will enable McSCert to develop novel methods and tools for software development and functional safety of electrified and autonomous vehicles, focusing on model-based software development and safety analysis of systems incorporating machine learning components. McMaster has been awarded $10 million from FedDev Ontario to support an integrated automotive, aerospace and advanced manufacturing network. Known as iHub, the state-of-the-art facility will expand the existing facilities at McMaster Innovation Park and will leverage another $16.8 million from industry partners including Ford, Honda, Bombardier, Stellantis (Fiat Chrysler) and MHI – RJ […]
January 17, 2018

McMaster Engineering researchers awarded funding to advance software safety for next-generation vehicles

McMaster Engineering researchers have initiated a $2 million project to work with General Motors Canada (GM Canada) to develop methods to help ensure the safety and reliability of autonomous and electrified vehicles. Mark Lawford, Director of the McMaster Centre for Software Certification (McSCert), and his collaborators received funding from the Natural Sciences and Engineering Research Council of Canada (NSERC), Ontario Centres of Excellence and GM Canada. Within the context of the automotive industry’s ongoing development of new and complex software technologies for vehicles, GM Canada’s goal is to be at […]
February 22, 2018

McSCert’s Signature Tool has been selected as MathWorks File Exchange Pick of the Week

McSCert’s Signature Tool has been selected as Matlab Central Pick of the Week. The Signature Tool extracts the signature of a Simulink subsystem. A signature represents the interface of a Simulink subsystem, including the subsystem’s explicit ports, as well as subsystem’s hidden (implicit) data flow. The signature of a Simulink subsystem helps the user understand the subsystem’s explicit and implicit data flow. Further, the tool assists a developer in identifying if the system’s modular structure has been broken, and offers a metric that can be utilized to assess and improve […]
February 25, 2018

McSCert’s Line-Goto/From Tool has been selected as MathWorks File Exchange Pick of the Week

McSCert’s Line-Goto/From Tool, has been selected as Matlab Central Pick of the Week. The tool quickly converts Simulink’s signal lines to Goto/From connections, and vice versa, helping increase Simulink model readability, and saving developers time with a common model development activity. Matlab and Simulink, by MathWorks, are widely used in both industry and academia to solve complex problems in aerospace, automotive and other application domains. Users can submit and share their Matlab applications, functions, models, and other creations to MathWorks’ online archive called Matlab Central File Exchange. There are presently […]
December 14, 2020

McSCert’s Simulink-to-Stateflow Tool selected as MathWorks’ Pick of the Week

McSCert’s tool Simulink-to-Stateflow has been selected as File Exchange Pick of the Week* by MathWorks. The tool was developed during a collaboration with a large automotive OEM (Original Equipment Manufacturer). The Simulink-to-Stateflow tool refactors stateful logic implemented with Simulink block diagrams into Stateflow state charts. It is intended for use on fixed-step discrete block diagrams, such as those used to generate embedded software. The tool can be downloaded here: https://www.mathworks.com/matlabcentral/fileexchange/70317-simulink-to-stateflow For more on the tool, including its theoretical foundations, an interested reader is referred to: Wynn-Williams, S., Diskin, Z., Pantelic, V., […]