Modeling of Hardware and Software for specifying Hardware Abstraction Layers

Y Bernard, C Gava, C Besseyre, B Crouzet… - Embedded Real Time …, 2014 - hal.science
In this paper we describe a practical approach for modeling low level interfaces between
software and hardware parts based on SysML operations. This method is intended to be …