Alexander Lim

Alexander Lim is currently a lead field application engineer supporting customers who use the LDRA tool suite throughout the software lifecycle for higher-quality code. He started his career with the Space and Missiles System Center working on the verification of requirements for flight systems software and flight management software. He also developed safety and mission-critical programming for aerospace applications. These applications included working on embedded targets in UAVs as well as designing the autopilot simulation and structure of UAVs.

---

Presentation

Using model-based system engineering in ISO 26262 processes with independence

This study investigates the integration of model-based system engineering (MBSE) into ISO 26262 processes, focusing on the idea of independence in safety-critical automotive systems. This idea is borrowed from other domains, like DO-178C for aviation, and extended with back-to-back testing. Practices and tools commonly used in MSBE will be examined, and their place in the verification and validation process will be shown. The role of independence at various safety integrity levels will be examined. Finally, a case study will be presented to show how this can be achieved with existing tools and processes.