IEEE - Institute of Electrical and Electronics Engineers, Inc. - An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems

2010 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)

Author(s): Delange, J. ; Pautet, L. ; Hugues, J. ; de Niz, D.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 March 2010
Conference Location: Oxford, United Kingdom, United Kingdom
Conference Date: 22 March 2010
Page(s): 319 - 324
ISBN (Electronic): 978-1-4244-6639-9
ISBN (Paper): 978-1-4244-6638-2
DOI: 10.1109/ICECCS.2010.12
Regular:

Distributed Real-Time Embedded (DRE) systems have critical requirements that need to be verified. They are either related to functional (e. g. stability of a furnace controller) or non-functional... View More

Advertisement