posted by organizer: soumyadip || 1287 views || tracked by 1 users: [display]

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

FacebookTwitterLinkedInGoogle

Link: http://www.icsoft.org/DVMCS.aspx
 
When Jul 26, 2018 - Jul 28, 2018
Where Portugal
Submission Deadline Jun 5, 2018
Notification Due Jun 19, 2018
Final Version Due Jun 27, 2018
Categories    formal methods   software engineering   real time systems   sfety critical systems
 

Call For Papers

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

Related Resources

SMACD 2021   International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design
IEEE--ICISE--Ei Compendex & Scopus 2020   IEEE--2020 the 5th International Conference on Information Systems Engineering (ICISE 2020)--Ei Compendex & Scopus
TACAS 2021   27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ITE 2021   2nd International Conference on Integrating Technology in Education
FMICS 2020   25th International Conference on Formal Methods for Industrial Critical Systems
ICST 2021   IEEE International Conference on Software Testing, Verification and Validation 2021
NLPCL 2021   2nd International Conference on Natural Language and Computational Linguistics
VSC @IEEE WETICE 2020   Track on Validating Software for Critical Systems (VSC) @IEEE WETICE 2020
ACM--ICMLSC--EI Compendex, Scopus 2021   ACM--2021 The 5th International Conference on Machine Learning and Soft Computing (ICMLSC 2021)--EI Compendex, Scopus
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons