國立虎尾科技大學 |

Handbook of research on embedded system design /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Handbook of research on embedded system design // Alessandra Bagnato, Leandro Soaores Indrusiak, Imran Rafiq Quadri, and Matteo Rossi, editors.
其他作者:	Bagnato, Alessandra,
出版者:	Hershey, Pennsylvania (701 E. Chocolate Avenue, Hershey, Pa., 17033, USA) :IGI Global, : [2014],
面頁冊數:	1 online resource (520 pages) :ill. :
標題:	Embedded computer systems. -
電子資源:	http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-6194-3
ISBN:	9781466661950 (ebook)

Handbook of research on embedded system design /
Handbook of research on embedded system design /Alessandra Bagnato, Leandro Soaores Indrusiak, Imran Rafiq Quadri, and Matteo Rossi, editors. - Hershey, Pennsylvania (701 E. Chocolate Avenue, Hershey, Pa., 17033, USA) :IGI Global,[2014] - 1 online resource (520 pages) :ill.

Includes bibliographical references.

Collaborative development of dependable cyber-physical systems by co-modeling and co-simulation / John Fitzgerald, Ken Pierce, Peter Gorm Larsen -- UML MARTE time model and its clock constraint specification language / Frederic Mallet, Marie-Agnes Peraldi-Frati, Julien Deantoni, Robert de Simone -- Symbolic-based monitoring for embedded applications / Pramila Mouttappa, Stephane Maag, Ana Cavalli -- Designing resource-constrained embedded heterogeneous systems to cope with variability / Ian Gray, Andrea Acquaviva, Neil Audsley -- Vulnerabilities of secure and reliable low-power embedded systems and their analysis methods: a comprehensive study / Norbert Druml [and 7 others] -- An aspect-oriented approach to hardware fault tolerance for embedded systems / David de Andres, Juan-Carlos Ruiz, Jaime Espinosa, Pedro Gil -- Optimized system-level design methods for NoC-based many core embedded systems / Haoyuan Ying, Klaus Hofmann, Thomas Hollstein -- MADES FP7 EU project: effective high level SysML/MARTE methodology for real-time and embedded avionics systems / Alessandra Bagnato [and 15 others] -- Requirements refinement and component reuse: the FoReVer contract-based approach / Laura Baracchi, Alessandro Cimatti, Gerald Garcia, Silvia Mazzini, Stefano Puri, Stefano Tonetta -- Model-based analysis and engineering of automotive architectures with EAST-ADL / Sara Tucci-Piergiovanni [and 10 others] -- Fostering analysis from industrial embedded systems modeling / Michel Bourdelles [and 9 others] -- A model-driven engineering method for DRE defense systems performance analysis and prediction / Katrina Falkner, Vanea Chiprianov, Nickolas Falkner, Claudia Szabo, Gavin Puddy -- Industrial applications of emulation techniques for the early evaluation of secure low-power embedded systems / Norbert Druml [and 7 others] -- Dynamically reconfigurable embedded architectures for safe transportation systems / Naim Harb, Smail Niar, Mazen A. R. Saghir -- Embedded virtualization techniques for automotive infotainment applications / Massimo Violante, Gianpaolo Macario, Salvatore Campagna -- Studying individualized transit indicators using a new low-cost information system / P. A. Castillo [and 9 others] -- Mission critical embedded system development process: an industry perspective / Stefano Genolini, Matteo Crippa -- Framework-based debugging for embedded systems / Gokhan Tanyeri, Trish Messiter, Paul Beckett -- Industrial experiments in IMS, ATC, and SDR projects of property verification techniques / Emmanuel Gaudin.

Restricted to subscribers or individual electronic text purchasers.

"This book provides insights from the computer science community on integrated systems research projects taking place in the European region, looking at the diverse range of design principles covered by these projects, from specification at high abstraction levels using standards such as UML and related profiles to intermediate design phases"--Provided by publisher.

Mode of access: World Wide Web.

ISBN: 9781466661950 (ebook)

LCCN: 2014013826Subjects--Topical Terms:

562313
Embedded computer systems.

LC Class. No.: TK7895.E42 / H294 2014e

Dewey Class. No.: 006.2/2

Handbook of research on embedded system design /
LDR:04043nam a2200277 i 4500 001 796426
005 19991204152628.0
008 150513s2014 pau fob 000 0 eng d
010 $a 2014013826
020 $a 9781466661950 (ebook)
020 $a 9781466661943 (hbk.)
035 $a (CaBNVSL)gtp00560541
035 $a (OCoLC)892759153
035 $a 00000221
040 $a CaBNVSL $b eng $e rda $c CaBNVSL $d CaBNVSL
050 4 $a TK7895.E42 $b H294 2014e
082 0 4 $a 006.2/2 $2 23
245 0 0 $a Handbook of research on embedded system design / $c Alessandra Bagnato, Leandro Soaores Indrusiak, Imran Rafiq Quadri, and Matteo Rossi, editors.
260 $a Hershey, Pennsylvania (701 E. Chocolate Avenue, Hershey, Pa., 17033, USA) : $b IGI Global, $c [2014]
300 $a 1 online resource (520 pages) : $b ill.
504 $a Includes bibliographical references.
505 0 $a Collaborative development of dependable cyber-physical systems by co-modeling and co-simulation / John Fitzgerald, Ken Pierce, Peter Gorm Larsen -- UML MARTE time model and its clock constraint specification language / Frederic Mallet, Marie-Agnes Peraldi-Frati, Julien Deantoni, Robert de Simone -- Symbolic-based monitoring for embedded applications / Pramila Mouttappa, Stephane Maag, Ana Cavalli -- Designing resource-constrained embedded heterogeneous systems to cope with variability / Ian Gray, Andrea Acquaviva, Neil Audsley -- Vulnerabilities of secure and reliable low-power embedded systems and their analysis methods: a comprehensive study / Norbert Druml [and 7 others] -- An aspect-oriented approach to hardware fault tolerance for embedded systems / David de Andres, Juan-Carlos Ruiz, Jaime Espinosa, Pedro Gil -- Optimized system-level design methods for NoC-based many core embedded systems / Haoyuan Ying, Klaus Hofmann, Thomas Hollstein -- MADES FP7 EU project: effective high level SysML/MARTE methodology for real-time and embedded avionics systems / Alessandra Bagnato [and 15 others] -- Requirements refinement and component reuse: the FoReVer contract-based approach / Laura Baracchi, Alessandro Cimatti, Gerald Garcia, Silvia Mazzini, Stefano Puri, Stefano Tonetta -- Model-based analysis and engineering of automotive architectures with EAST-ADL / Sara Tucci-Piergiovanni [and 10 others] -- Fostering analysis from industrial embedded systems modeling / Michel Bourdelles [and 9 others] -- A model-driven engineering method for DRE defense systems performance analysis and prediction / Katrina Falkner, Vanea Chiprianov, Nickolas Falkner, Claudia Szabo, Gavin Puddy -- Industrial applications of emulation techniques for the early evaluation of secure low-power embedded systems / Norbert Druml [and 7 others] -- Dynamically reconfigurable embedded architectures for safe transportation systems / Naim Harb, Smail Niar, Mazen A. R. Saghir -- Embedded virtualization techniques for automotive infotainment applications / Massimo Violante, Gianpaolo Macario, Salvatore Campagna -- Studying individualized transit indicators using a new low-cost information system / P. A. Castillo [and 9 others] -- Mission critical embedded system development process: an industry perspective / Stefano Genolini, Matteo Crippa -- Framework-based debugging for embedded systems / Gokhan Tanyeri, Trish Messiter, Paul Beckett -- Industrial experiments in IMS, ATC, and SDR projects of property verification techniques / Emmanuel Gaudin.
506 $a Restricted to subscribers or individual electronic text purchasers.
520 3 $a "This book provides insights from the computer science community on integrated systems research projects taking place in the European region, looking at the diverse range of design principles covered by these projects, from specification at high abstraction levels using standards such as UML and related profiles to intermediate design phases"--Provided by publisher.
530 $a Also available in print.
538 $a Mode of access: World Wide Web.
650 0 $a Embedded computer systems. $3 562313
700 1 $a Bagnato, Alessandra, $d 1974- $e editor. $3 1002404
700 1 $a Indrusiak, Leandro Soares, $d 1974- $e editor. $3 1002405
700 1 $a Quadri, Imran Rafiq, $d 1981- $e editor. $3 1002406
700 1 $a Rossi, Matteo, $e editor. $3 1002407
856 4 1 $3 Chapter PDFs via platform: $u http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-6194-3