Leveraging Applications of Formal Methods, Verification, and Validation

Real-time systems are increasingly becoming communication intensive, where\uddifferent functions are implemented using distributed real-time tasks mapped\udonto different physical systems (sensors, processors, and actuators). To ensure\udglobal correctness, one has to ensure the correctness of each task, schedulability\udof the tasks on each system, and finally also bound the communication time, i.e.,\udthe worst case (network) traversal time (WCTT).\udMoreover, as systems grow bigger, connecting dozens to hundreds of systems,\udmanaging thousands of traffic flows, with each one interacting with the others, is\udbecoming a challenging problem. This special track is devoted to formal methods\udon worst case traversal time in networks, with a special interest on scalable\udmethods and on handling multi-hop networks.\udOur conviction is that WCTT is an emerging area, made up of people from\uddifferent communities, using different methods, and publishing in different conferences\udand/or journals.\udPeople from several active research groups in this domain were contacted, and\udalmost all of them have submitted a paper, despite the very short deadline. This\udreactivity confirms the desire of a community to find places to meet and discuss.\udThe aim of this track is to be the first meeting dedicated to WCTT, allowing\udus to capture a snapshot of this area, and also for fostering discussions on how\udthis area should evolve