The industrial partners in the project were SAAB aircraft, Volvo Aero corporation and VOAC hydraulics. The academic partners were from the automatic control group at the dept. of electrical engineering, and the fluid power division at the mechanical engineering dept. at Linköping University, as well as dept. of computer and information science. A book on the results of the project has been published as the Technical Report LiTH-ISY-R-1920, and is available from the dept. of electrical engineering, Linköping University. My contribution to this book can be found in the chapter Modelling and Formal Verification. (postscript, 14 pages)
A longer account of the joint work with my involvement during the the project appears as the technical report LITH-IDA-R-96-41. The report title is JAS-95 Lite: Modelling and Formal Analysis of Dynamic Properties. (postscript, 70 pages)
98-99: This project continued with a new setup - my contribution is in the area of Industrial Strength Formal Methods.
Final report: This is a document which summarises several tracks of modelling and verification in the last three years.
Summary and results of the project can be found under the following titles: combination of imperative and declarative synchronous paradigms, program verification, code distribution and multi-tasking, integrating synchrony and asynchrony, connection with hardware/software codesign, and integration of analog/discrete synchronous design.
SYRF project Meeting
The June 99 project meeting took place in the medieval town of Visby at Gotland, an island off the east coast of Sweden. See program for 21-22 June and a picture at the dark medieval restaurant.
