Functional validation of AADL models via model transformation to SystemC with ATL

Pierre Bomel, Dominique Blouin, Mickael Lanoe, Eric Senn. Functional validation of AADL models via model transformation to SystemC with ATL. In Iulian Ober, editor, Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB@MoDELS 2012, Innsbruck, Austria, September 30, 2012. pages 13-18, ACM, 2012. [doi]

Authors

Pierre Bomel

This author has not been identified. Look up 'Pierre Bomel' in Google

Dominique Blouin

This author has not been identified. Look up 'Dominique Blouin' in Google

Mickael Lanoe

This author has not been identified. Look up 'Mickael Lanoe' in Google

Eric Senn

This author has not been identified. Look up 'Eric Senn' in Google