[FM-India] please circulate the message

[Bandyopadhyay, Soumyadip]

Please circulate the message




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.

TOPICS
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

IMPORTANT DATES
Paper Submission: June 5, 2018
Authors Notification: June 19, 2018
Camera Ready and Registration: June 27, 2018
WORKSHOP PROGRAM COMMITTEE

Marius Balus, University of Arad, Romania
Ansuman Banerjee, Indian Statistical Institute Kolkata, India
Kunal Banerjee, Intel Research Lab, India
Agostino Cortesi, Università Ca' Foscari di Venezia, Italy
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
Arnab Sarkar, IIT Guwahati, 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)

PAPER SUBMISSION
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<http://www.icsoft.org/Templates.aspx>
Please also check the Guidelines<http://www.icsoft.org/Guidelines.aspx>.
Papers must be submitted electronically via the web-based submission system using the appropriated button on this page.
PUBLICATIONS
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 (http://www.crossref.org/) 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.
AUTHOR'S KIT
Guidelines<http://www.icsoft.org//Guidelines.aspx>
Templates<http://www.icsoft.org//Templates.aspx>
Glossary<http://www.icsoft.org//Glossary.aspx>
Norms and Plagiarism<http://www.icsoft.org//NormsPlagiarism.aspx>
SECRETARIAT CONTACTS
ICSOFT Workshops - DVMCS 2018
e-mail: icsoft.secretariat at insticc.org<mailto:%20icsoft.secretariat at insticc.org>


http://www.icsoft.org/DVMCS.aspx

Best regards,

Dr. Soumyadip Bandyopadhyay
Post Doctoral Fellow
System Analysis and Modeling Group
Hasso Plattner Institute für Digital Engineering gGmbH
Prof.-Dr.-Helmert-Str. 2 - 3
14482 Potsdam / Germany
Phone: +49(0)331 5509-363
E-Mail: soumyadip.bandyopadhyay at hpi.de<mailto:soumyadip.bandyopadhyay at hpi.de>
Amtsgericht Potsdam, HRB 12184
Geschäftsführung: Prof. Dr. Christoph Meinel
Design IT. Create Knowledge