PRIMORIS      Contacts      FAQs      INSTICC Portal
 

Workshops

The purpose of workshops is to provide a more interactive and focused platform for presenting and discussing new and emerging ideas. The format of paper presentations may include oral presentations, poster presentations, keynote lectures and panels. Depending on the number of presentations, workshops can be scheduled for 1 day or 2 days. All accepted papers will be published in a special section of the conference proceedings book, under an ISBN reference, and on digital support. All papers presented at the conference venue will be available at the SCITEPRESS Digital Library. SCITEPRESS is a member of CrossRef and every paper is given a DOI (Digital Object Identifier). The proceedings are submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (ISI), DBLP, EI (Elsevier Engineering Village Index) and Scopus.

WORKSHOPS LIST

DVMCS 2018International Workshop on Design and Verification Techniques for Mixed Critical Systems (Cancelled)

International Workshop on
Design and Verification Techniques for Mixed Critical Systems
 - DVMCS 2018


* CANCELLED *


Co-chairs

Amlan Chakrabarti
University of Calcutta
India
 
Soumyadip Bandyopadhyay
Hasso Plattner Institute
Germany
 
Santonu Sarkar
BITS Pilani Goa
India
 
Scope

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. 


footer