HiPMiC 2019 - 2nd Special Session on High Performance Mission Critical System Development (HiPMiC 2019)

High Performance Mission Critical systems are becoming increasingly relevant in many applications and domains. Flight control systems, power systems, Infrastructure, medical systems and command and control systems are just a few examples of hardware and software systems requiring real-time or near real-time control, high precision and accuracy, and a high degree of fault tolerance/resilience.
This special session aims to be a forum to discuss the most pressing issues and to present the latest advances in the development of high performance mission critical and cyber-physical systems.
The HiPMiC track topics of interest include (but are not limited to) the following:
Critical Infrastructure Resilience
Formal Development Methods
Agile Development for Mission Critical Systems
Fault Tolerance and Resilience in Cyber-Physical and Critical Systems
Round-trip Engineering and Traceability
Multi-core Development for Mission Critical Systems
Life-cycle Management in Mission Critical Systems
Critical Infrastructures for Cyber-Physical Systems
Critical Infrastructure Interdependencies
Smart Building Security
Smart Household Appliances
Multi-physics Simulation for Critical Systems Driven Product Development
Embedded Security in Critical Infrastructures
Supervisory Control and Data Acquisition (SCADA) Systems
Critical Infrastructure IoT based Security
Critical Infrastructure Surveillance, Interception, Blocking and Sovereignty
MCS Quality Assessment and Maintenance
Standards and Certification
Domains (Nuclear Reactors, Materials, and Waste; Healthcare and Public Health; Water, Dams, and Wastewater Systems; Food and Agricultural Systems; Financial Services; etc.)