Reference : Model-based design languages: A case study

	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/34019

Title :	Model-based design languages: A case study
Language :	English
Author, co-author :	Cibrario Bertolotti, Ivan [National Research Council of Italy > Institute of Electronics, Computer and Telecommunication Engineering]
	Hu, Tingting [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
	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 :	2017 IEEE 13th International Workshop on Factory Communication Systems (WFCS)
Publisher :	IEEE
Pages :	1-6
Peer reviewed :	Yes
ISBN :	978-1-5090-5788-7
Event name :	13th IEEE International Workshop on Factory Communication Systems (WFCS’2017)
Event date :	from 31-05-2017 to 02-06-2017
Event place (city) :	Trondheim
Event country :	Norway
Keywords :	[en] Model-driven development ; Distributed agreement protocols ; Embedded systems design and development
Abstract :	[en] Fast-paced innovation in the embedded systems domain puts an ever increasing pressure on effective software development methods, leading to the growing popularity of Model-Based Design (MBD). In this context, a proper choice of modeling languages and related tools - depending on design goals and problem qualities - is crucial to make the most of MBD benefits. In this paper, a comparison between two dissimilar approaches to modeling is carried out, with the goal of highlighting their relative advantages and shortcomings. It focuses on a case study involving a well-known distributed agreement protocol, a choice motivated by the fact that embedded systems are nowadays quickly evolving towards distributed, fault-tolerant architectures.
Permalink :	http://hdl.handle.net/10993/34019
DOI :	10.1109/WFCS.2017.7991964

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

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

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map