The future of design specification and verification of safety critical interactive systems

摘要

Designing reliable interactive software is hard, and designing usable reliable interactive software is even harder. Experience shows that many interactive systems exhibit recurring characteristics that require in addition evolvability, assessability and certify-ability especially when safety critical systems are concerned. This tutorial projects into the future previous work we have done over the last 15 years around a Petri nets-based notation and a CASE tool supporting it, for addressing such aspects of interactive software development.