March 15, 2022
McSCert is collaborating with Cubic Transportation Systems as part of the Centre of Excellence for Artificial Intelligence and Smart Mobility, led by Dr Ali Emadi. McSCert’s role focuses on providing software and safety critical engineering expertise to support activities related to understanding and addressing performance bottlenecks, improving software architecture, and carrying out predictions related to migration to new technology platforms. McSCert researchers are engaged with a number of other research activities as part of the Centre of Excellence and play a foundational role in supporting software engineering activities throughout. Cubic […]
December 1, 2021
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
There was no disputing the growing importance of mobile technologies in the world of health care. And then came the pandemic.
July 13, 2021
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 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 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 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 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., […]