Research ArticleOpen accessPhrase in the titleFormal Analysis of Fault-tolerant Algorithm in the Time-triggered ArchitectureAliouat Zibouda, Aliouat Makhlouf, Batouche ChawkiTime-Triggered architecture (TTA) provides a computing infrastructure for the design and implementation of dependable distributed systems. The core building block of the TTA is the communication protocol TTP/C. This protocol has been designed to provide no faulty nodes. TTP/C integrates a set of fault-tolerant services like: message transmissions, clocks synchronization and Group Membership Protocol (GMP). The GMP protocol ensures that … …Journal of Computer Science, Vol. 3, Issue 1 · 31 Jan 2007 · 6,647 accessesView PDFCite
Research ArticleOpen accessIn the abstract4D Printing: Technology Overview and Smart Materials UtilizedAntreas Kantaros, Theodore Ganetsos, Dimitrios Piromalis4D printing is a cutting-edge technology that allows for the creation of dynamic, self-assembling structures by utilizing cutting edge, newly introduced smart materials. It builds upon traditional 3D printing by adding the dimension of time, allowing printed objects to change shape or behavior over time. This is achieved through the use of smart materials, such as shape memory alloys or … …Journal of Mechatronics and Robotics, Vol. 7, Issue 1 · 13 Mar 2023 · 14,196 accessesView PDFCite