Reference : Towards Seamless Integration of N-Version Programming in Model-Based Design

	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/34017

Title :	Towards Seamless Integration of N-Version Programming in Model-Based Design
Language :	English
Author, co-author :	Hu, Tingting [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	Cibrario Bertolotti, Ivan [National Research Council of Italy > Institute of Electronics, Computer and Telecommunication Engineering (IEIIT)]
	Navet, Nicolas [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	2017
Main document title :	22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA’2017), Limassol, Cyprus, September 12-15 2017
Publisher :	IEEE
Peer reviewed :	Yes
ISBN :	978-1-5090-6505-9
Event name :	22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA’2017)
Event date :	from 12-09-2017 to 15-09-2017
Event place (city) :	Limassol
Event country :	Cyprus
Keywords :	[en] Model-based design ; Fault-tolerance ; Industrial cyber physical systems
Abstract :	[en] The ever-growing complexity of present-day software systems raises new and more stringent requirements on their availability, pushing designers to make use of sophisticated fault tolerance techniques far beyond the areas they were traditionally conceived for, and bringing new challenges to both the modelling and implementation phases. In this paper, we propose a design pattern to model in a domain-specific language one of the prominent fault-tolerant techniques, namely the N-version programming. It can be integrated seamlessly into existing applications to enhance their functional correctness, while still preserving the timing characteristics, in particular the sampling times. Besides, it is also designed in a way to ease the automatic code generation. A counterpart of the same framework is also implemented in a lower-level programming language, for use when direct model execution is impractical, like in severely resource-limited embedded targets.
Permalink :	http://hdl.handle.net/10993/34017
DOI :	10.1109/ETFA.2017.8247678

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access NVP-ETFA2017.pdf Author postprint 176.98 kB View/Open

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map