References of "Computer Standards and Interfaces"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailAutomated Fault Tolerance Augmentation in Model-Driven Engineering for CPS
Hu, Tingting UL; Cibrario Bertolotti, Ivan; Navet, Nicolas UL et al

in Computer Standards and Interfaces (2020), 70

Cyber-Physical Systems are usually subject to dependability requirements such as safety and reliability constraints. Over the last 50 years, a body of efficient fault-tolerance mechanisms has been devised ... [more ▼]

Cyber-Physical Systems are usually subject to dependability requirements such as safety and reliability constraints. Over the last 50 years, a body of efficient fault-tolerance mechanisms has been devised to handle faults occurring at run-time. However, properly implementing those mechanisms is a time-consuming task that requires a great deal of know-how. In this paper, we propose a general framework which allows system designers to decouple functional and non-functional concerns, and express non- functional properties at design time using domain-specific languages. In the spirit of generative programming, functional models are then automatically “augmented” with dependability mechanisms. Importantly, the real-time behavior of the initial models in terms of sampling times and meeting deadlines is preserved. The practicality of the approach is demonstrated with the automated implementation of one prominent software fault-tolerance pattern, namely N-Version Programming, in the CPAL model-driven engineering workflow. [less ▲]

Detailed reference viewed: 147 (14 UL)
Full Text
Peer Reviewed
See detailOn a Software-Defined CAN Controller for Embedded Systems
Cena, Gianluca; Cibrario Bertolotti, Ivan; Hu, Tingting UL et al

in Computer Standards and Interfaces (2019), 63

Controller Area Network (CAN) technology is nowadays ubiquitous in vehicular applications and is also gaining popularity in other contexts, for instance, embedded and industrial automation systems. The ... [more ▼]

Controller Area Network (CAN) technology is nowadays ubiquitous in vehicular applications and is also gaining popularity in other contexts, for instance, embedded and industrial automation systems. The recent standardization of CAN with flexible data rate (CAN FD), as well as other academic proposals, have highlighted the usefulness of enhancing the CAN physical and data link layers to attain better performance and other features. This paper describes a portable software-defined CAN controller called SDCC. Besides being handy as a research tool for experimenting with novel protocol concepts at the data link layer, SDCC is also fully capable of real-time execution. Hence, it can interact with real-world CAN devices through a physical bus interface. [less ▲]

Detailed reference viewed: 224 (10 UL)