This course introduces the concepts of Requirements, Verification and Validation as applied during system development. Students completing this course will understand the terminology, usage, planning, ...

Computational models and simulations have had an important role in engineering analysis since as far back as the 1960s. It is widely recognized that the use of modeling and simulation tools can make ...

Automotive functional safety systems have strict requirements to help avoid damages to life and property in case of a failure. As technology becomes more complex, there are increasing safety-related ...

Singapore’s Defence Science and Technology Agency (DSTA) and the Republic of Korea’s Korean Register (KR) have signed a ...

This course covers the systematic design of real-time digital systems and verification techniques using field-programmable gate arrays (FPGAs). The course presents a top-down design methodology, where ...

Autonomous vehicles (AV) are the future of driving – and the future might not be so far away. Optimizing the capabilities of self-driving vehicles and the environment around them could lead to a mad ...

Formal methods represent a rigorous suite of mathematical techniques designed to specify, develop and verify system models with a high degree of reliability. In system modelling, these methods provide ...

Computer engineering encompasses a wide range of topics surrounding this interaction between hardware and software. Computer engineers of the future will be versatile full-stack developers, ...

In medical-device software, an update isn’t just a new feature — it can directly affect patient safety. Every code change in a surgical-laser system must be fully traceable to its verification and ...

The rise of 5G and satellite connectivity is creating new roles in the semiconductor industry. Engineering students with an ...