Track: Dependable Software and Systems

With the growing domain of application of software systems, the possible impact of a failure asks for strengthening the reliability of software systems. While formal specifications of desired properties, together with automated tools for verifying the properties, are expected to solve this problem, many issues in this field remain open, ranging from selecting the kind of properties that should be specified, to developing theories in which such properties are decidable and reasoning is computationally feasible. A particular issue is developing specification languages which would be reasonably easy to learn and use, and which would allow formal methods to become widely used. This track is focused on these topics crucial for developing dependable software systems.

Invited Speakers

• Luboš Brim & Mojmír Křetinský (Masaryk University, Czech Republic)
     Model-Checking Large Finite State Systems and Beyond
• Manfred Broy (TU Munchen, Germany)
     Interaction and Realizability
• Heinz W. Schmidt (Monash University, Australia)
     Architecture-Based Reasoning about Performability in Component-Based Systems

Contributions

• Papers from the track accepted to Springer LNCS Proceedings

Track Program Committee