Track Description

The design of mission critical software systems and applications typically involves comprehensive requirements, performance objectives, formal modeling methods, simulations, verification, and robust architectures. The development of these systems involves, architectural solutions and design decsisons, coding standards, secure programming methods, and comprehensive development environments that spans processes, inspections, and testing methodologies. In this track, the co-chairs seek innovative contributions, case studies and experience reports especially as they relate to the distributed and integrative nature of the design and development of safety- and mission critical systems.