Dear Esteban,

Thank you for you interest in COMPASS. Right now we do not have any other case studies of that scale available, though some (rather abstract) descriptions can be found in the publications listed below. We are however planning to release a new version of COMPASS in the (near) future, which contains new and improved examples (and documentation), though again not of the same scale.

Best regards,
Harold (and the COMPASS team)

Publications with case-study related material (see also http://compass.informatik.rwth-aachen.de/publications.php):

Victor Bos, Harold Bruintjes, Stefano Tonetta. Catalogue of System and Software Properties. , Volume of LNCS, Springer, 2016.
(see also https://es-static.fbk.eu/people/tonetta/papers/safecomp16/ )

Harold Bruintjes, Joost-Pieter Katoen, David Lesens. A statistical approach for timed reachability in AADL models. Dependable Systems and Networks (DSN), pages 81–88, IEEE CS Press, 2015.
(see also http://compass.informatik.rwth-aachen.de/slimsim_dsn/ )

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri. Spacecraft Early Design Validation using Formal Methods. Reliability Engineering and System Safety 132, pages 20–35, 2014.

Marie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen, Bart Postma, Yuri Yushtein. Formal Correctness, Safety, Dependability and Performance Analysis of a Satellite. 34th International Conference on Software Engineering (ICSE), pages 1022–1031, ACM and IEEE CS Press, 2012.

Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll. Formal Validation Methods in Model-Based Spacecraft Systems Engineering. In Daniele Gianni, Andrea D'Ambrogio, Andreas Tolk editors, Modeling and Simulation-Based Systems Engineering Handbook, pages 339–375, 2014.


On 17/10/16 14:19, Esteban Pavese wrote:
Hello everyone,
I see that in the FAQ it is stated that industrial case studies are not available. Are there, however, some abstracted versions that can be distributed, or some other case study of a similar scale?

Thanks in advance
Esteban Pavese


_______________________________________________
COMPASS-support mailing list
COMPASS-support@lists.rwth-aachen.de
http://mailman.rwth-aachen.de/mailman/listinfo/compass-support