A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Formal correctness, safety, dependability, and performance analysis of a satellite
2012
2012 34th International Conference on Software Engineering (ICSE)
This paper reports on the usage of a broad palette of formal modeling and analysis techniques on a regular industrial-size design of an ultra-modern satellite platform. These efforts were carried out in parallel with the conventional software development of the satellite platform. The model itself is expressed in a formalized dialect of AADL. Its formal nature enables rigorous and automated analysis, for which the recently developed COMPASS toolset was used. The whole effort revealed numerous
doi:10.1109/icse.2012.6227118
dblp:conf/icse/EsteveKNPY12
fatcat:qmibafcjvvhlrfnv5avvhnjwgm