UTRC Embedded Technologies Group - Master Thesis Proposal
Advanced Laboratory on Embedded Systems (ALES) is a United Technologies Research Center (www.utrc.utc.com) company with offices in Rome and Trento, Italy, specialized in model based technologies and methodologies for the design and verification of distributed safety critical embedded systems. ALES competences cross several application domains, such as avionics, refrigeration and building automation, and several disciplines, such as formal and run-time methods for verification of hybrid and discrete systems, requirement, safety and security analyses, design flow integrations, and software-data-knowledge engineering. ALES provides services and innovation to an international network of UTC customers and offers a collaborative and stimulating working environment for candidates looking for a challenging and valid career.
Subject: Model-based development flow and reference software architecture for distributed systems including heterogeneous SoCs.
Description: Future avionics systems will be based on increasingly complex heterogeneous system-on-chips (i.e. systems including multi-core processors, FPGAs, GPUs, and dedicated accelerators, interconnected by advanced networks on-chip). More complex scenarios concern distributed systems, with multiple LRUs including one or more heterogeneous chips interconnected by an avionic network. The dependability of the global system is threatened by complex interdependencies and possible modification to the design. A reliable system-level design and integration strategy is a key requirement, along with performance verification at each design stage and efficient software abstractions enabling system-level end-to-end composition. This work aims to define a possible strategy for system-level design and integration in the case of complex avionics systems based on heterogeneous platforms, with specific focus on model based design, mapping, configuration and simulation.
Technical Focus: SysML, AADL, OSATE, ARINC-653, FACE