sLET for Distributed Aerospace Landing System

Aerospace systems are more and more distributed, both at equipment level, thanks to the emergence of multicore SoCs, and at system level, where architectures involve an ever-increasing number of nodes interconnected by digital networks. Computations distribution is a means to leverage the available processing power and achieve higher performances. It allows to reduce communication needs, by placing processing closer to actuators and sensors, and makes it possible to comply with various dependability and industrial objectives such as fault tolerance, industrial segregation of responsibilities, etc. This makes integration activities even more critical, due to the interaction complexity between the software components and their deployment on the hardware platform. Therefore, predictability, testability, and ultimately strong determinism are crucial high-level properties needed not only at equipment level but at the whole system scope, which cannot be tackled without changes in the design process. So, new programming and execution paradigms are required. This paper deals with a solution to support the distribution process, based on the sLET paradigm, which is applied to an aerospace landing system over a distributed system architecture.