Cargando…

Communicating embedded systems: software and design

The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a cl...

Descripción completa

Detalles Bibliográficos
Autores principales: Jard, Claude, Roux, Olivier H
Lenguaje:eng
Publicado: Wiley-ISTE 2013
Materias:
Acceso en línea:http://cds.cern.ch/record/1616839
_version_ 1780932700489646080
author Jard, Claude
Roux, Olivier H
author_facet Jard, Claude
Roux, Olivier H
author_sort Jard, Claude
collection CERN
description The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools. This book deals with these formal methods applied to communicating embedded systems by presenting the
id cern-1616839
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2013
publisher Wiley-ISTE
record_format invenio
spelling cern-16168392021-04-21T22:03:54Zhttp://cds.cern.ch/record/1616839engJard, ClaudeRoux, Olivier HCommunicating embedded systems: software and designEngineeringThe increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools. This book deals with these formal methods applied to communicating embedded systems by presenting the Wiley-ISTEoai:cds.cern.ch:16168392013
spellingShingle Engineering
Jard, Claude
Roux, Olivier H
Communicating embedded systems: software and design
title Communicating embedded systems: software and design
title_full Communicating embedded systems: software and design
title_fullStr Communicating embedded systems: software and design
title_full_unstemmed Communicating embedded systems: software and design
title_short Communicating embedded systems: software and design
title_sort communicating embedded systems: software and design
topic Engineering
url http://cds.cern.ch/record/1616839
work_keys_str_mv AT jardclaude communicatingembeddedsystemssoftwareanddesign
AT rouxolivierh communicatingembeddedsystemssoftwareanddesign