Extra-Functional Properties Composability for Embedded Systems Partitioning

Modern embedded systems utilize the advances in heterogeneous platforms that enable implementing functions in software (SW) and hardware (HW) components. A proper configuration of SW and HW components can significantly improve the values of the extra-functional properties such as performance and energy savings. However, due to increasing application complexity, it is difficult to find the best combination of HW and SW components. The problem basically boils down to calculate, for a given architecture, the system properties from the components' ones. In this paper, we address the problem of composability of EFPs at system level. Although in general this is not a solvable problem, we present that, under strictly specified constraints, it is possible to compose the system EFPs starting from the component ones. We start by detailing constraints related to the system architecture, platform and process development and, based on these constraints, we provide composition rules for different types of EFPs. We demonstrate the results through an industrial example.

[1]  Rogério de Lemos,et al.  Architecting dependable systems , 2006, J. Syst. Softw..

[2]  René Traugott.  Architecting Dependable Systems VII , 2010, WADS.

[3]  Ivica Crnkovic,et al.  Modelling for Hardware and Software Partitioning Based on Multiple Properties , 2013, 2013 39th Euromicro Conference on Software Engineering and Advanced Applications.

[4]  Edward A. Lee,et al.  Actor-Oriented Design of Embedded Hardware and Software Systems , 2003, J. Circuits Syst. Comput..

[5]  Séverine Sentilles,et al.  A Classification Framework for Software Component Models , 2011, IEEE Transactions on Software Engineering.

[6]  Jim A. McCall,et al.  Factors in Software Quality. Volume I. Concepts and Definitions of Software Quality , 1977 .

[7]  Eric Eide,et al.  Knit: component composition for systems software , 2000, OSDI.

[8]  Seyed Masoud Sadjadi,et al.  Composing adaptive software , 2004, Computer.

[9]  Peter H. N. de With,et al.  A Process for Resolving Performance Trade-Offs in Component-Based Architectures , 2006, CBSE.

[10]  Guowu Yang,et al.  Component-based hardware/software co-verification for building trustworthy embedded systems , 2007, J. Syst. Softw..

[11]  Séverine Sentilles,et al.  Integration of Extra-Functional Properties in Component Models , 2009, CBSE.

[12]  Robert I. Davis,et al.  Pre-emption cost aware response time analysis for fixed priority pre-emptive systems , 2011 .

[13]  Ivica Crnkovic,et al.  Component Models for Reasoning , 2013, Computer.

[14]  Joseph Sifakis,et al.  Composition for component-based modeling , 2002, Sci. Comput. Program..

[15]  Ivica Crnkovic,et al.  Architectural Decisions for HW/SW Partitioning Based on Multiple Extra-Functional Properties , 2014, 2014 IEEE/IFIP Conference on Software Architecture.

[16]  Séverine Sentilles,et al.  A Component Model for Control-Intensive Distributed Embedded Systems , 2008, CBSE.

[17]  Vinay Singh,et al.  Maximize System Performance Using Xilinx Based AXI 4 Interconnects , 2009 .

[18]  Robert E. Tarjan,et al.  Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..

[19]  Robert I. Davis,et al.  Improved cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems , 2011, 2011 IEEE 32nd Real-Time Systems Symposium.

[20]  Lothar Thiele,et al.  Worst-case response time analysis of resource access models in multi-core systems , 2010, Design Automation Conference.

[21]  Josef Jablonsky,et al.  MS Excel based Software Support Tools for Decision Problems with Multiple Criteria , 2014 .