Session 2.1 - Software Modeling

Moderator: Prof. Carlo Ghezzi, Politecnico di Milano, Italy

Session Abstract

The first paper proposes and demonstrates modeling the architecture and all configurations of a software system with one set of related UML models. The second paper describes the necessarily non-formal modeling of embedded systems operating within a physical world and how to gain confidence in the accuracy of the model when formal proof is not possible.