Functional Validation of AADL Models via Model Transformation to SystemC with ATL

6 pagesInternational audienceIn this paper, we put into action an ATL model transformation in order to automatically generate SystemC models from AADL models. The AADL models represent electronic systems to be embedded into FPGAs. Our contribution allows for an early analytical estimation of energetic needs and a rapid SystemC simulation before implementation. The transformation has been tested to simulate an existing video image processing system embedded into a Xilinx Virtex5 FPGA

Modèles et transformations de modèles pour l'introduction de la consommation énergétique dans le standard AUTOSAR

National audienceDans un véhicule automobile électrique, la connaissance et la maitrise des consommations énergétiques est primordiale pour une gestion optimale de l'autonomie du véhicule. La gestion logicielle des équipements s'appuie sur une architecture AUTOSAR à base de composants. AUTOSAR ne permet pas actuellement de modéliser les aspects énergétiques des divers équipements. Pour pallier ce manque, ce papier propose un premier modèle de consommations liées à l'utilisation des équipements automobiles. Ce modèle est utilisé pour générer -- à partir d'un architecture fonctionnelle AUTOSAR -- un modèle d'architecture AUTOSAR enrichi de politiques de contrôle de la consommation énergétique. Nous illustrons cette proposition avec une étude de cas (gestion du plafonnier d'un véhicule)

Mission Information and Test Systems Summary of Accomplishments, 2011

This annual report covers the activities of the NASA DRFC Mission Information and Test Systems, which includes the Western Aeronautical Test Range, the Simulation Engineering Branch, the Information Services and the Dryden Technical Laboratory (Flight Loads Lab). This report contains highlights, current projects and various awards achieved during in 201

Air Force Institute of Technology Research Report 2012

This report summarizes the research activities of the Air Force Institute of Technology’s Graduate School of Engineering and Management. It describes research interests and faculty expertise; lists student theses/dissertations; identifies research sponsors and contributions; and outlines the procedures for contacting the school. Included in the report are: faculty publications, conference presentations, consultations, and funded research projects. Research was conducted in the areas of Aeronautical and Astronautical Engineering, Electrical Engineering and Electro-Optics, Computer Engineering and Computer Science, Systems and Engineering Management, Operational Sciences, Mathematics, Statistics and Engineering Physics