search

OpenAADL / AADLib

Library of AADL models
BSD 3-Clause "New" or "Revised" License
43 stars 17 forks source link

arincexample2.aadl: wrong classifier #1

Closed juli1 closed 11 years ago

juli1 commented 11 years ago

In the arincexample2.aadl, I find the following component (see below). However, according to the annex, the Device_Driver property is the following:

Device_Driver: classifier (abstract implementation)
    applies to (device);

So, the model is not correct and it would either be a fix on the model or the property set

device network_interface features thebus: requires bus access anybus.i; properties Device_Driver => classifier (arincexample2::network_driver_partition); end network_interface;

yoogx commented 11 years ago

Thanks for pointing out this.

Note this example is coming from the ARINC653 annex of AADL. The Device_Driver property is part of AADLv2.1 core. So we have to fix the model, but also the corresponding annex document.

Note it was uncovered by previous OSATE2 release.