www.prismmodelchecker.org
[CK08] R. Calinescu and M. Kwiatkowska. Software Engineering Techniques for the Development of Systems of Systems. In Proc. 15th Monterey Workshop on Foundations of Computer Software, pages 86--93. September 2008. [pdf] [bib]
Downloads:  pdf pdf (284 KB)  bib bib
Abstract. This paper investigates how existing software engineering techniques can be employed, adapted and integrated for the development of large-scale systems of systems. Starting from existing system-of-systems (SoS) studies, we identify computing paradigms and techniques that have the potential to help address the challenges associated with SoS development, and propose an SoS development framework that combines these techniques in a novel way.

Publications