PRIMORIS      Contacts      FAQs      INSTICC Portal
International Workshop on Design and Verification Techniques for Mixed Critical Systems - DVMCS 2018

26 - 28 July, 2018 - Porto, Portugal

In conjunction with the 13th International Conference on Software Technologies - ICSOFT 2018


Amlan Chakrabarti
University of Calcutta
Brief Bio
Professor Amlan Chakrabarti is at present the Dean Faculty of Engineering and Technology and the Director of the A.K.Choudhury School of Information Technology, University of Calcutta. He has received the B.Sc. degree with Physics Honors (1996), M.Sc. in Electronic Science (1998) and M.Tech. in Radiophysics and Electronics (2001) from the University of Calcutta. He has done his Doctoral research on Quantum Computing and related VLSI design at Indian Statistical Institute, Kolkata, 2004-2008. He was a Post-Doctoral fellow at the prestigious School of Engineering, Princeton University, USA during 2011-2012. He was also a Design Engineer at Nikkel India (OrCAD Inc. subsidiary) Bangalore from 1998-2000. He is the recipient of BOYSCAST fellowship award in the area of Engineering Science from the Department of Science and Technology Govt. of India in 2011, INSA Visiting Scientist Fellowship in 2014 and JSPS Invitation Fellowship in 2016. His research interests are: Quantum Computing, VLSI design, Embedded System Design, Video and Image Processing Algorithms, Data Analytics.
Soumyadip Bandyopadhyay
Hasso Plattner Institute
Brief Bio
Dr. Soumyadip Bandyopadhyay received the Ph.D degree in computer science and engineering from Indian Institute of Technology, Kharagpur in 2017. He had worked as a Junior Project Assistance in the VLSI Consortium project undertaken by the Advanced VLSI Design Laboratory, IIT Kharagpur from July 2008 to September 2012 and his current research interests include broadly formal methods in software engineering. He has published twelve research papers in different reputed IEEE/ACM/Springer/World scientific international journals and conferences. He had received TCS Ph.D. Fellowship during his Ph.D. He was working as a Visiting Faculty at BITS Goa campus from September 2015 to 5th December 2016. From 6th December, 2016 to 31st July, 2017, he was working as an Assistant Professor in the same institute. From August 2017 to till date, he is working as a post doctoral fellow at System Analysis and Modeling group, Hasso Plattner Institute, Germany.
Santonu Sarkar
BITS Pilani Goa
Brief Bio
Dr. Santonu Sarkar received the Ph.D degree in computer science from Indian Institute of Technology Kharagpur in 1996. He has more than 18 years of experience in applied research, product & application development, consulting, project and client account management. Dr. Sarkar built the next generation computing research group (defining research goal, creating solution, and fostering research collaboration with internal and external partners) at Infosys Labs. Earlier at Accenture technologay labs, he was responsible for research based tool development in software engineering, build research network and ecosystem within and outside the organization, manage research hiring and global internship program (such as MIT Accenture relationship program). He has published and served in program committees of IEEE TSE, IEEE SE, JSS, IS, IEEE TSC, APSEC, ISEC, ICSE, ISSRE, ICDCN, IEEE Cloud, IEEE DSN, IEEE ISPA. During Ph.D, he has also published papers in the area of ODBMS, Object oriented VLSI-CAD, Expert system. He has filed several patents with ten granted patents.


Scope of the workshop includes the design and analysis of Mixed Critical Systems for both architectural as well as software level. A mixed criticality system is a system containing computer hardware and software that can execute several applications of different criticality, such as safety-critical and non-safety critical, or of different Safety Integrity Level (SIL). Different criticality applications are emerged to different levels of assurance, with high criticality applications being the most costly to design and verify. These kinds of systems are typically embedded in a machine such as an aircraft whose safety must be ensured. The goal of the workshop is to share and contribute in the area of designing of mixed critical system and their verification. 


Topics of interest include, but are not limited to:

  • Real-Time and Embedded Systems: Real-Time Scheduling, Design Methods and Techniques, Architecture Modelling, HW/SW Co-Design, Reliability and Performance
  • Mixed-Criticality Systems: Scheduling methods, Mixed-Criticality Architectures, Design Methods, Analysis Methods
  • Theory and Practice of High-Integrity Systems: Medium to Large-Scale Distribution, Fault Tolerance, Security, Reliability, Trust and Safety, Languages Vulnerabilities
  • Methods and Techniques for Software Development and Maintenance: Requirements Engineering, Model-driven Architecture and Engineering, Formal Methods, Programming language, Re-engineering and Reverse Engineering, Reuse, Software Management Issues, Compilers, Libraries, Support Tools
  • Emerging Applications: Quantum computing, Robotics, Avionics, Space, Health Care, Transportation, Cloud Environments, Smart Energy Systems, Games


Paper Submission: June 5, 2018
Authors Notification: June 19, 2018
Camera Ready and Registration: June 27, 2018


Ansuman Banerjee, Indian Statistical Institute Kolkata, India
Kunal Banerjee, Intel Research Lab, India
Soumyajit Dey, Indian Institute of Technology Kharagpur, India
Rolf Drechsler, University of Bremen, Germany
Holger Giese, Hasso Plattner Institute, Germany
Raoul Jetley, ABB Corporate Research, India
Chandan Karfa, Indian Institute of Technology Guwahati, India
Giridhar M. Prabhakar, Siemens Corporate Technology - Corporate Research, India
Rajarshi Ray, National Institute of Technology Meghalaya, India
Tobias Schuele, Siemens Corporate Technology, Germany
Sandeep Kumar Shukla, Indian Institute of Technology Kanpur, India
Susmita Sur-Kolay, Indian Statistical Institute, India

(list not yet complete)


Prospective authors are invited to submit papers in any of the topics listed above.
Instructions for preparing the manuscript (in Word and Latex formats) are available at: Paper Templates
Please also check the Guidelines.
Papers must be submitted electronically via the web-based submission system using the appropriated button on this page.


After thorough reviewing by the workshop program committee complemented by members of the main conference program committee, all accepted papers will be published in a special section of the conference proceedings book - under an ISBN reference and on CD-ROM support - and submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (CPCI/ISI), INSPEC, DBLP, EI (Elsevier Engineering Village Index) and Scopus. SCITEPRESS is a member of CrossRef ( and every paper is given a DOI (Digital Object Identifier). All papers presented at the conference venue will be available at the SCITEPRESS Digital Library.


ICSOFT Workshops - DVMCS 2018