Browsing Library by Author "Chowdhury, Shafiul Azam"

Now showing items 1-2 of 2

    • Automated Testing of a Commercial Cyber-Physical System Development Tool Chain 

      Chowdhury, Shafiul Azam; 0000-0001-9019-6067 (2019-11-14)
      Rigorous validation of commercial cyber-physical system (CPS) tool chains (e.g., MATLAB/Simulink) through automated testing is of utmost importance since tool-chain generated artifacts are often deployed in safety-critical ...

    • SLNET: a redistributable corpus of 3rd-party simulink models 

      Shrestha, Sohil Lal; Chowdhury, Shafiul Azam; Csallner, Christoph (ACM, 2022-10-17)
      MATLAB/Simulink is widely used for model-based design. Engineers create Simulink models and compile them to embedded code, often to control safety-critical cyber-physical systems in automotive, aerospace, and healthcare ...