MOdel-based DEsign & Verification for Safety-Critical Embedded Systems

Publications

Journal Publications

1. “Model-based design verification for embedded systems through SVOCL: an OCL extension for SystemVerilog”, Muhammad Waseem Anwar , Muhammad Rashid, Fraooque Azam and Muhammad Kashif, Journal of Design Automation for Embedded Systems, Available online 20 March 2017, http://link.springer.com/article/10.1007/s10617-017-9182-z

2. “Towards the Tools Selection in Model Based System Engineering for Embedded Systems - A Systematic Literature Review”, Muhammad Rashid, Muhammad Waseem Anwar, Aamir M. Khan, Journal of Systems and Software, Available online 8 May 2015, doi:10.1016/j.jss.2015.04.089 (Impact Factor 1.381)   Download here

3. “Holistic Development of Computer Engineering Curricula Using Y-Chart Methodology” Muhammad Rashid and Imran A. Tasadduq, IEEE Transactions on Education, Vol. 57, No. 3, pp. 193–200, August 2014. (Impact Factor 1.221)    Download here

4. “System Level Approach for Computer Engineering Education” Muhammad Rashid, International Journal of Engineering Education Vol. 31, No. 1(A), pp. 141–153, 2015. (Impact Factor 0.36)   Download here

5. “A Methodology for Development of Competencies Required By Industry”, Muhammad Rashid, International Journal of Advanced Research in Computer and Communication Engineering , Vol. 4, no. 9, pp. 7851-7856, 2014.    Download here

Conference Publications

1. “Expressing Embedded Systems Verification Aspects at Higher Abstraction Level - SystemVerilog in Object Constraint Language (SVOCL)”, Muhammad Rashid, Muhammad Waseem Anwar and Farooque Azam, 10th IEEE SysCon 2016, April 18-21, Florida, USA.

Conference link: http://2016.ieeesyscon.org/

2. "Exploring the Platform for Expressing SystemVerilog Assertions in Model Based System Engineering”, Muhammad Rashid, Muhammad Waseem Anwar, Farooque Azam and Muhammad Kashif , ICISA 2016, Lecture Notes in Electrical Engineering, Springer 2016, Vol. 376, pages 533-544.

3. “Model-Based Requirements and Properties Specifications Trends for Early Design Verification of Embedded Systems”, Muhammad Rashid, Muhammad Waseem Anwar, Farooque Azam and Muhammad Kashif, IEEE 11th System of Systems Engineering Conference (SoSE) 2016, June 12-16, Kongsberg, Norway.

Conference link: http://www.sose2016.org/

4. “A Systematic Investigation of Tools in Model Based System Engineering for Embedded Systems”, Muhammad Rashid, Muhammad Waseem Anwar, Aamir M. Khan, IEEE 11th System of Systems Engineering Conference (SoSE) 2016, June 12-16, Kongsberg, Norway.    Download here

Conference link: http://www.sose2016.org/

5. “Combining SysML and Marte/CCSL to Model Complex Electronic Systems”, Aamir M. Khan, Frédéric Mallet, Muhammad Rashid, International Conference on Information Systems Engineering, April 20-22, 2016 USA.   Download here

6. “Identification of Trends for Model Based Development of Embedded Systems”, Muhammad Rashid, Muhammad Waseem Anwar, Aamir M. Khan, 12th IEEE International Symposium on Programming and Systems (ISPS), April 2015, Algiers, Algeria.    Download here

7. “Domain Specific Modeling Language for Cyber Physical Systems”, Muhammad Waqar Aziz, Muhammad Rashid, International Conference on Information Systems Engineering, April 20-22, 2016 USA.   Download here

8. “Generation of SystemVerilog Observers from SysML and MARTE/CCSL”, Aamir M. Khan, Muhammad Rashid, 19th IEEE International Symposium on Real-Time Computing (ISORC), May 17-20, 2016 UK.   Download here

9. “Natural Interpretation of UML/MARTE Diagrams for System Requirements Specification”, Aamir M. Khan,Frédéric Mallet, Muhammad Rashid, 11th IEEE International Symposium on Industrial Embedded Systems, 23 – 25 May 2016, Krakow, Poland.   Download here