International Workshop on Design and Verification Techniques for Mixed Critical Systems

DVMCS 2018


Software Systems



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