Model Driven High-Level Power Estimation of Embedded Operating Systems Communication Services

This paper presents a System level Model Driven Architecture (MDA) approach for power estimation of real time operating system (RTOS) communication and synchronization services at early design phases.The approach integrates the Architecture Analysis and Design Language (AADL) in the design flow. We describe how to extend the language for modeling RTOS communication and synchronization services, and we explain how power consumption analysis can be performed on software components in the AADL platform independent model (PIM), once deployed into components in the AADL target hardware platform model. Operating system services are considered as components in the MDA approach in order to take them into account in the estimation methodology. This paper focuses on consumption analysis of RTOS communication and synchronization services.

[1]  Laurent Pautet,et al.  UML&AADL '2007 grand challenges , 2007, SIGBED.

[2]  Laurent Nana,et al.  Scheduling and memory requirements analysis with AADL , 2005, SIGAda.

[3]  Laurent Pautet,et al.  Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina , 2007, IEEE International Workshop on Rapid System Prototyping.

[4]  Wouter Joosen,et al.  Using AADL in model driven development , 2007 .

[5]  Etienne Borde,et al.  Automatic Composition of AADL Models for the Verification of Critical Component-Based Embedded Systems , 2008, 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008).

[6]  Wouter Joosen,et al.  Using AADL to Model a Protocol Stack , 2008, 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008).

[7]  Steve Vestal,et al.  The SAE Architecture Analysis & Design Language (AADL) a standard for engineering performance critical systems , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[8]  Richard N. Taylor,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

[9]  Fabrice Kordon,et al.  Rapid Prototyping of Intrusion Detection Systems , 2007, 18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP '07).

[10]  Jean-Philippe Diguet,et al.  Energy models of real time operating systems on FPGA , 2008 .

[11]  Jean-Philippe Diguet,et al.  Refining power consumption estimations in the component based AADL design flow , 2008, 2008 Forum on Specification, Verification and Design Languages.

[12]  Joaquin Miller,et al.  MDA Guide Version 1.0.1 , 2003 .

[13]  Peter H. Feiler,et al.  Multi-dimensional Model Based Engineering Using AADL , 2008, IEEE International Workshop on Rapid System Prototyping.

[14]  Raymond Lister,et al.  Grand challenges , 2005, SGCS.